Could not find module ‘LiquidHaskell’

[Denis Shevchenko]

Hi there!

I try to use `lq` quasiquoter as in example, but I got an error:

Could not find module ‘LiquidHaskell’

I'm using `liquidhaskell-0.6.0.0` (via `stack`), and it is in my `.cabal`-file, but I don't see module with such a name neither in Hackage-docs nor in `liquidhaskell-0.6.0.0.tar.gz`. So, where can I find this module?

[Ranjit Jhala]

Hi Denis,

Oops, I think the version with the QQ support 

is newer than whats on package -- actually high 

time we updated package, thanks for the reminder!

Can you build from source and then try it:

https://github.com/ucsd-progsys/liquidhaskell/blob/develop/INSTALL.md#build-with-stack-recommended

Thanks and my apologies for that!

Ranjit.

​

[Denis Shevchenko]

Hi again! Sorry for delay...

I've tried use liquidhaskell from GitHub like this:

packages:
- '.'
- location:
    git: https://github.com/ucsd-progsys/liquidhaskell.git
    commit: 7b767d66b4c8c5e12ef7e16c80fc74b7919e0b4c
  subdirs:
  - prover
  - liquiddesugar

But I've got an error during compilation:

.stack-work/downloaded/8EJFpP5Pnxr_/prover/src/Prover/SMTInterface.hs:9:29: Not in scope: ‘defConfig’

How can I fix it?

[Niki Vazou]

Unfortunately, if you want to link Liquid Haskell like this, you also need to link all the dependent modules, like here

https://github.com/nikivazou/verified_string_matching/blob/master/stack.yaml

--
You received this message because you are subscribed to the Google Groups "liquidhaskell" group.
To unsubscribe from this group and stop receiving emails from it, send an email to liquidhaskell+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

--

Niki

[Denis Shevchenko]

Thanks Niki! It works now!

[Denis Shevchenko]

Ops, another problem:

[lq| localPort :: {p:Int | p > 1023} |]
localPort = 3010

It compiles now, but liquid gave me this error:

liquid: /home/dshevchenko/.stack/snapshots/x86_64-linux/lts-6.3/7.10.3/lib/x86_64-linux-ghc-7.10.3/double-conversion-2.0.1.0-9d4SFE0Uwt89cnl39kvRqX/libHSdouble-conversion-2.0.1.0-9d4SFE0Uwt89cnl39kvRqX.a: unhandled ELF relocation(RelA) type 42

liquid: liquid: unable to load package `double-conversion-2.0.1.0'

If I use just comments {-@ @-} without lq - everything is ok..

[Niki Vazou]

Seems you need to `cabal install double-conversion ` (or stack install)

--

You received this message because you are subscribed to the Google Groups "liquidhaskell" group.
To unsubscribe from this group and stop receiving emails from it, send an email to liquidhaskell+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

--

Niki

[Denis Shevchenko]

Nope, I already have it:

$ ls /home/dshevchenko/.stack/snapshots/x86_64-linux/lts-6.3/7.10.3/lib/x86_64-linux-ghc-7.10.3/ | grep double
double-conversion-2.0.1.0-9d4SFE0Uwt89cnl39kvRqX

Package is here, but something wrong with it...

[Denis Shevchenko]

I use Ubuntu 16.04 and stack 1.1.2.

[Ranjit Jhala]

This is odd -- but I have heard there is some strange interaction of the quasi quotes and doubles on certain platforms! May be the easiest to use the comment syntax for now. Sorry about this!

@gridaphobe do you have any recollection of this?

On Thu, Nov 17, 2016 at 11:48 PM Denis Shevchenko <shev....@gmail.com> wrote:

I use Ubuntu 16.04 and stack 1.1.2.

--

You received this message because you are subscribed to the Google Groups "liquidhaskell" group.

To unsubscribe from this group and stop receiving emails from it, send an email to liquidhaskel...@googlegroups.com.

[Denis Shevchenko]

Ok, Ranjit, thank you for help!