Anton Gushcha

> In the meantime,the haste-perch , hplay and haste-compiler versions on hackage works well together. At the moment I use 0.4.4 toolchain. My tries to checkout 0.5 is hope that...

By the way, there is no rush to fix the problem, I've just reported that there would be problems when haste-compiler 0.5 is out.

I use liquid haskell from 677df28b0e563a2163dafe204d3f22e339c28aa3 commit

I use nix to bring cabal, ghc and liquidhaskell in one scope of development shell. So, instructions are: 1. Install nix from https://nixos.org/download.html 2. Call `nix-shell` in root of repo....

I started some digging in in the problem. I found that error disappears when I commented all code in the module. Next, I left only bare minimum: ``` haskell import...

The same problem repeats with any point free notation in code. The: ``` length v = readMutVar $ growVectorLength v ``` is OK, but: ``` length = readMutVar . growVectorLength...

Got the same issue for my playground project https://github.com/NCrashed/asteroids-arena/blob/master/haskell/asteroids/src/Game/Asteroids/World/Timer.hs#L30 I get: ``` **** LIQUID: ERROR :1:1-1:1: Error crash: SMTLIB2 respSat = Error "line 839 column 4586: unknown constant e9" ```...

Perhaps, this is due http://hackage.haskell.org/package/clock-0.8/docs/src/System.Clock.html#toNanoSecs as it uses constant `s2ns = 10^9`.

Minimal example (from https://github.com/NCrashed/liquid-test/blob/master/src/Liquid/Test/Assert.hs#L5) ``` spooky :: Float spooky = 1 / 1000000000 ``` Got: ``` **** LIQUID: ERROR :1:1-1:1: Error crash: SMTLIB2 respSat = Error "line 286 column 150:...

The error first appeared in 7abfede6902a9b51deff627f883edca7e14112a0