[Haskell-cafe] cannot perform arithmetic with GHC.TypeLits?
wangbj at gmail.com
Mon May 2 18:36:08 UTC 2016
Yeah the error message was really confusing. Install z3 solver fixed the
On Mon, May 2, 2016 at 10:47 AM Kosyrev Serge <_deepfire at feelingofgreen.ru>
> 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...
More information about the Haskell-Cafe