search

ucsd-progsys / liquidhaskell-tutorial

Tutorial for LiquidHaskell
https://ucsd-progsys.github.io/liquidhaskell-tutorial/
MIT License
75 stars 27 forks source link

Cannot find Data.Vector #82

Closed mmport80 closed 5 years ago

mmport80 commented 5 years ago

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 f4fe82cd03fbe906379c8ebeac5ec3efae0b4cd8 (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.

ranjitjhala commented 5 years ago

Strange! Can you do a “stack install vector” in the directory and then try?

On Thu, Jul 11, 2019 at 1:10 PM John Orford notifications@github.com wrote:

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 f4fe82cd03fbe906379c8ebeac5ec3efae0b4cd8 (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.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/82?email_source=notifications&email_token=AAMS4OFOBBR4SNJCWHULG7LP66HSVA5CNFSM4IBTOD5KYY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4G6XEGXQ, or mute the thread https://github.com/notifications/unsubscribe-auth/AAMS4OC2VEZXWR2JOSHONGDP66HSVANCNFSM4IBTOD5A .

mmport80 commented 5 years ago

yep I spotted that too! all good now.

mmport80 commented 5 years ago

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 f4fe82cd03fbe906379c8ebeac5ec3efae0b4cd8 (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 packageghc-prim-0.5.2.0'

ranjitjhala commented 5 years ago

Hmm.

There's something odd going on, LH version 0.8.6.0 should be running with ghc-8.6.4, why is it running ghc-8.4.3 ?

On Thu, Jul 11, 2019 at 2:07 PM John Orford notifications@github.com wrote:

My mistake, Emacs still shows after successful stack install

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 f4fe82cd03fbe906379c8ebeac5ec3efae0b4cd8 (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'

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/82?email_source=notifications&email_token=AAMS4OCEIF3QDZFUTL7FYBTP66OG5A5CNFSM4IBTOD5KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODZX7MQI#issuecomment-510654017, or mute the thread https://github.com/notifications/unsubscribe-auth/AAMS4OFARH3SVT4OXKRPONDP66OG5ANCNFSM4IBTOD5A .

mmport80 commented 5 years ago

aha! OK I will blow the install away and try again - thanks, really enjoying LH so far!

On Thu, 11 Jul 2019 at 23:42, Ranjit Jhala notifications@github.com wrote:

Hmm.

There's something odd going on, LH version 0.8.6.0 should be running with ghc-8.6.4, why is it running ghc-8.4.3 ?

On Thu, Jul 11, 2019 at 2:07 PM John Orford notifications@github.com wrote:

My mistake, Emacs still shows after successful stack install

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 f4fe82cd03fbe906379c8ebeac5ec3efae0b4cd8 (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'

— You are receiving this because you commented. Reply to this email directly, view it on GitHub < https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/82?email_source=notifications&email_token=AAMS4OCEIF3QDZFUTL7FYBTP66OG5A5CNFSM4IBTOD5KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODZX7MQI#issuecomment-510654017 , or mute the thread < https://github.com/notifications/unsubscribe-auth/AAMS4OFARH3SVT4OXKRPONDP66OG5ANCNFSM4IBTOD5A

.

— You are receiving this because you modified the open/close state. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/82?email_source=notifications&email_token=ABYKC53MJS6WF4JENF5ER63P66SKRA5CNFSM4IBTOD5KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODZYCCHA#issuecomment-510664988, or mute the thread https://github.com/notifications/unsubscribe-auth/ABYKC5ZILVHLCUBD2JFREULP66SKRANCNFSM4IBTOD5A .

ranjitjhala commented 5 years ago

Great! Did that work?

On Fri, Jul 12, 2019 at 12:05 AM John Orford notifications@github.com wrote:

aha! OK I will blow the install away and try again - thanks, really enjoying LH so far!

On Thu, 11 Jul 2019 at 23:42, Ranjit Jhala notifications@github.com wrote:

Hmm.

There's something odd going on, LH version 0.8.6.0 should be running with ghc-8.6.4, why is it running ghc-8.4.3 ?

On Thu, Jul 11, 2019 at 2:07 PM John Orford notifications@github.com wrote:

My mistake, Emacs still shows after successful stack install

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 f4fe82cd03fbe906379c8ebeac5ec3efae0b4cd8 (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'

— You are receiving this because you commented. Reply to this email directly, view it on GitHub <

https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/82?email_source=notifications&email_token=AAMS4OCEIF3QDZFUTL7FYBTP66OG5A5CNFSM4IBTOD5KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODZX7MQI#issuecomment-510654017

, or mute the thread <

https://github.com/notifications/unsubscribe-auth/AAMS4OFARH3SVT4OXKRPONDP66OG5ANCNFSM4IBTOD5A

.

— You are receiving this because you modified the open/close state. Reply to this email directly, view it on GitHub < https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/82?email_source=notifications&email_token=ABYKC53MJS6WF4JENF5ER63P66SKRA5CNFSM4IBTOD5KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODZYCCHA#issuecomment-510664988 , or mute the thread < https://github.com/notifications/unsubscribe-auth/ABYKC5ZILVHLCUBD2JFREULP66SKRANCNFSM4IBTOD5A

.

— You are receiving this because you commented.

Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/82?email_source=notifications&email_token=AAMS4OAL67HYKTFJN3PNUJTP7AULBA5CNFSM4IBTOD5KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODZY4QIQ#issuecomment-510773282, or mute the thread https://github.com/notifications/unsubscribe-auth/AAMS4OCG5RJIFMVAJDS4E7LP7AULBANCNFSM4IBTOD5A .

mmport80 commented 5 years ago

Will test later today

On Fri 12. Jul 2019 at 17:59, Ranjit Jhala notifications@github.com wrote:

Great! Did that work?

On Fri, Jul 12, 2019 at 12:05 AM John Orford notifications@github.com wrote:

aha! OK I will blow the install away and try again - thanks, really enjoying LH so far!

On Thu, 11 Jul 2019 at 23:42, Ranjit Jhala notifications@github.com wrote:

Hmm.

There's something odd going on, LH version 0.8.6.0 should be running with ghc-8.6.4, why is it running ghc-8.4.3 ?

On Thu, Jul 11, 2019 at 2:07 PM John Orford notifications@github.com wrote:

My mistake, Emacs still shows after successful stack install

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 f4fe82cd03fbe906379c8ebeac5ec3efae0b4cd8 (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'

— You are receiving this because you commented. Reply to this email directly, view it on GitHub <

https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/82?email_source=notifications&email_token=AAMS4OCEIF3QDZFUTL7FYBTP66OG5A5CNFSM4IBTOD5KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODZX7MQI#issuecomment-510654017

, or mute the thread <

https://github.com/notifications/unsubscribe-auth/AAMS4OFARH3SVT4OXKRPONDP66OG5ANCNFSM4IBTOD5A

.

— You are receiving this because you modified the open/close state. Reply to this email directly, view it on GitHub <

https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/82?email_source=notifications&email_token=ABYKC53MJS6WF4JENF5ER63P66SKRA5CNFSM4IBTOD5KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODZYCCHA#issuecomment-510664988

, or mute the thread <

https://github.com/notifications/unsubscribe-auth/ABYKC5ZILVHLCUBD2JFREULP66SKRANCNFSM4IBTOD5A

.

— You are receiving this because you commented.

Reply to this email directly, view it on GitHub < https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/82?email_source=notifications&email_token=AAMS4OAL67HYKTFJN3PNUJTP7AULBA5CNFSM4IBTOD5KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODZY4QIQ#issuecomment-510773282 , or mute the thread < https://github.com/notifications/unsubscribe-auth/AAMS4OCG5RJIFMVAJDS4E7LP7AULBANCNFSM4IBTOD5A

.

— You are receiving this because you modified the open/close state. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/82?email_source=notifications&email_token=ABYKC53MNBS5OPPKZCW5QMLP7CS7DA5CNFSM4IBTOD5KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODZ2FLWY#issuecomment-510940635, or mute the thread https://github.com/notifications/unsubscribe-auth/ABYKC576ZGBAKFLPSCXDW3DP7CS7DANCNFSM4IBTOD5A .

mmport80 commented 5 years ago

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..

ranjitjhala commented 5 years ago

Aha -- this is a mismatch between the LH stack-version and the tutorial version! My bad, let me fix.

On Sun, Jul 14, 2019 at 12:10 PM John Orford notifications@github.com wrote:

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..

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/82?email_source=notifications&email_token=AAMS4OD7S42SQ63DPVMGLV3P7NFU7A5CNFSM4IBTOD5KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODZ4IM3A#issuecomment-511215212, or mute the thread https://github.com/notifications/unsubscribe-auth/AAMS4OAF2IC6MXMBJHNS6KLP7NFU7ANCNFSM4IBTOD5A .

mmport80 commented 5 years ago

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