ucsd-progsys/liquidhaskell-tutorial

Cannot find Data.Vector

mmport80 opened this issue · 10 comments

I get an error when trying the following. Any hints? The chapters until now are OK.

I cloning latest tutorial and liquid haskell from Github, running on Debian.

stack exec -- liquid src/04-poly.lhs
Downloaded lts-12.2 build plan.
Preparing to install GHC to an isolated location.
This will not interfere with any system-level installation.
Downloaded ghc-8.4.3.
Installed GHC.
LiquidHaskell Version 0.8.6.0, Git revision f4fe82c (dirty) [develop@f4fe82cd03fbe906379c8ebeac5ec3efae0b4cd8 (Mon Jun 24 10:55:17 2019 +0200)]
Copyright 2013-19 Regents of the University of California. All Rights Reserved.

Targets: src/04-poly.lhs

**** [Checking: src/04-poly.lhs] ***********************************************
liquid: VectorBounds: Could not find module ‘Data.Vector’
Perhaps you meant Data.Functor (from base-4.11.1.0)
Use -v to see a list of the files searched for.

yep I spotted that too! all good now.

My mistake, Emacs still shows this error after successful stack install including vector

Targets: flycheck_04-poly.lhs
^[[1;94m 
**** [Checking: flycheck_04-poly.lhs] ******************************************
^[[0mliquid: VectorBounds: Could not find module ‘Data.Vector’
Perhaps you meant Data.Functor (from base-4.12.0.0)                                                                                                   Use -v to see a list of the files searched for.

Try installing a more recent version of haskell-liquid, and please open a bug report if the issue persists in the latest release.  Thanks!

and compiling directly returns

stack exec -- liquid src/04-poly.lhs
LiquidHaskell Version 0.8.6.0, Git revision f4fe82c (dirty) [develop@f4fe82cd03fbe906379c8ebeac5ec3efae0b4cd8 (Mon Jun 24 10:55:17 2019 +0200)]
Copyright 2013-19 Regents of the University of California. All Rights Reserved.

Targets: src/04-poly.lhs

**** [Checking: src/04-poly.lhs] ***********************************************
liquid: /home/john/.stack/programs/x86_64-linux/ghc-8.4.3/lib/ghc-8.4.3/ghc-prim-0.5.2.0/HSghc-prim-0.5.2.0.o: unknown symbol stg_MUT_ARR_PTRS_FROZEN0_info' liquid: liquid: unable to load package ghc-prim-0.5.2.0'

I think 8.4.3 come from here: https://github.com/ucsd-progsys/liquidhaskell-tutorial/blob/master/stack.yaml#L1

Still working on the Vector issue.. Will let you know what I find..

yep, same LTS did the trick! thanks again for all the hard work.