[Haskell-cafe] cannot perform arithmetic with GHC.TypeLits?

Baojun Wang wangbj at gmail.com
Mon May 2 18:36:08 UTC 2016


Yeah the error message was really confusing. Install z3 solver fixed the
issue.

- baojun

On Mon, May 2, 2016 at 10:47 AM Kosyrev Serge <_deepfire at feelingofgreen.ru>
wrote:

> Baojun Wang <wangbj at gmail.com> writes:
> > ghc-typelits-natnormalise worked for the example. Tried
> > type-nat-solver too, however, got bellow error (maybe just because my
> > cabal setup):
> >
> > z3: runInteractiveProcess: runInteractiveProcess: exec: does not exist
> > (No such file or directory)
>
> These runInteractiveProcess errors are *notoriously* unintelligible,
> reliably confusing every single person seeing them for the first time..
>
> In this case the 'z3' executable is missing -- most likely due to the Z3
> solver not installed on your machine.
>
> --
> с уважениeм / respectfully,
> Косырев Сергей
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160502/633f5acc/attachment.html>


More information about the Haskell-Cafe mailing list