Cannot find Data.Vector about liquidhaskell-tutorial

[ranjitjhala]

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 ***@***.***> 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 f4fe82c (dirty) ***@***.*** (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 <#82?email_source=notifications&email_token=AAMS4OFOBBR4SNJCWHULG7LP66HSVA5CNFSM4IBTOD5KYY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4G6XEGXQ>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAMS4OC2VEZXWR2JOSHONGDP66HSVANCNFSM4IBTOD5A> .

[mmport80]

yep I spotted that too! all good now.

[mmport80]

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'

[ranjitjhala]

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 ***@***.***> 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 f4fe82c (dirty) ***@***.*** (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 <#82?email_source=notifications&email_token=AAMS4OCEIF3QDZFUTL7FYBTP66OG5A5CNFSM4IBTOD5KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODZX7MQI#issuecomment-510654017>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAMS4OFARH3SVT4OXKRPONDP66OG5ANCNFSM4IBTOD5A> .

[mmport80]

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 ***@***.***> 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 ***@***.***> 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 > f4fe82c (dirty) > ***@***.*** (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 > < #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 <#82?email_source=notifications&email_token=ABYKC53MJS6WF4JENF5ER63P66SKRA5CNFSM4IBTOD5KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODZYCCHA#issuecomment-510664988>, or mute the thread <https://github.com/notifications/unsubscribe-auth/ABYKC5ZILVHLCUBD2JFREULP66SKRANCNFSM4IBTOD5A> .

[ranjitjhala]

Great! Did that work? On Fri, Jul 12, 2019 at 12:05 AM John Orford <[email protected]> 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 ***@***.***> 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 ***@***.***> > 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 > > f4fe82c (dirty) > > ***@***.*** (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 > > < > #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 > < #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 <#82?email_source=notifications&email_token=AAMS4OAL67HYKTFJN3PNUJTP7AULBA5CNFSM4IBTOD5KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODZY4QIQ#issuecomment-510773282>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAMS4OCG5RJIFMVAJDS4E7LP7AULBANCNFSM4IBTOD5A> .

[mmport80]

Will test later today

…

On Fri 12. Jul 2019 at 17:59, Ranjit Jhala ***@***.***> wrote: Great! Did that work? On Fri, Jul 12, 2019 at 12:05 AM John Orford ***@***.***> 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 ***@***.***> > 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 ***@***.***> > > 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 > > > f4fe82c (dirty) > > > ***@***.*** (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 > > > < > > > #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 > > < > #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 > < #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 <#82?email_source=notifications&email_token=ABYKC53MNBS5OPPKZCW5QMLP7CS7DA5CNFSM4IBTOD5KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODZ2FLWY#issuecomment-510940635>, or mute the thread <https://github.com/notifications/unsubscribe-auth/ABYKC576ZGBAKFLPSCXDW3DP7CS7DANCNFSM4IBTOD5A> .

[mmport80]

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]

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 ***@***.***> 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 <#82?email_source=notifications&email_token=AAMS4OD7S42SQ63DPVMGLV3P7NFU7A5CNFSM4IBTOD5KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODZ4IM3A#issuecomment-511215212>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAMS4OAF2IC6MXMBJHNS6KLP7NFU7ANCNFSM4IBTOD5A> .

[mmport80]

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