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

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@feelingofgreen.ru> wrote:

Baojun Wang 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, Косырев Сергей