search

ucsd-progsys / liquidhaskell-tutorial

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

Can't even get started because of build issues #105

Open ksvanhorn opened 3 years ago

ksvanhorn commented 3 years ago

Following the tutorial's instructions, I tried to download and build the liquidhaskell-tutorial package using stack. It says to "iteratively edit/compile... until it builds", but gives no guidance on how to fix the errors. The error I'm getting is this:

In the dependencies for text-format-0.3.2:
    base-4.14.0.0 from stack configuration does not match >=4.3 && <4.13  (latest
                  matching version is 4.12.0.0)
needed due to liquidhaskell-tutorial-0.2.0.0 -> text-format-0.3.2

I don't know any good way to fix this.

ranjitjhala commented 3 years ago

How did you get this error message? That is, can you tell me the sequence of steps to reproduce the error? (eg are you using cabal or stack?)

On Sat, Jan 16, 2021 at 8:49 AM Kevin S. Van Horn notifications@github.com wrote:

Following the tutorial's instructions, I tried to download and build the liquidhaskell-tutorial package using stack. It says to "iteratively edit/compile... until it builds", but gives no guidance on how to fix the errors. The error I'm getting is this:

In the dependencies for text-format-0.3.2: base-4.14.0.0 from stack configuration does not match >=4.3 && <4.13 (latest matching version is 4.12.0.0) needed due to liquidhaskell-tutorial-0.2.0.0 -> text-format-0.3.2

I don't know any good way to fix this.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/105__;!!Mih3wA!TqhZIzrUNk1_w6UN8P00-nUSIpVfBIAxOqGlOj7qyku8s_hEt1Q5TJ-6svHUw6Cs$, or unsubscribe https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/AAMS4OFHD2REBQUPK3FRA4LS2G7Q5ANCNFSM4WFMQ77A__;!!Mih3wA!TqhZIzrUNk1_w6UN8P00-nUSIpVfBIAxOqGlOj7qyku8s_hEt1Q5TJ-6spYAMrx5$ .

ksvanhorn commented 3 years ago

I used the stack command mentioned in the tutorial:

stack build --fast --file-watch

One odd thing I noticed. When I first was looking into this, I checked out the page for the text-format package on hackage.haskell.org http://hackage.haskell.org/, and it listed the dependency “base (>= 4.3 && <4.13)”, matching the error message I got. After getting your email reply I checked the page again, and it now says “base (>= 4.3 && <4.15)”. Nonetheless, running “stack build --fast --file-watch” still fails with the same error message.

On Jan 16, 2021, at 11:05 AM, Ranjit Jhala notifications@github.com wrote:

How did you get this error message? That is, can you tell me the sequence of steps to reproduce the error? (eg are you using cabal or stack?)

On Sat, Jan 16, 2021 at 8:49 AM Kevin S. Van Horn notifications@github.com wrote:

Following the tutorial's instructions, I tried to download and build the liquidhaskell-tutorial package using stack. It says to "iteratively edit/compile... until it builds", but gives no guidance on how to fix the errors. The error I'm getting is this:

In the dependencies for text-format-0.3.2: base-4.14.0.0 from stack configuration does not match >=4.3 && <4.13 (latest matching version is 4.12.0.0) needed due to liquidhaskell-tutorial-0.2.0.0 -> text-format-0.3.2

I don't know any good way to fix this.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/105__;!!Mih3wA!TqhZIzrUNk1_w6UN8P00-nUSIpVfBIAxOqGlOj7qyku8s_hEt1Q5TJ-6svHUw6Cs$, or unsubscribe https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/AAMS4OFHD2REBQUPK3FRA4LS2G7Q5ANCNFSM4WFMQ77A__;!!Mih3wA!TqhZIzrUNk1_w6UN8P00-nUSIpVfBIAxOqGlOj7qyku8s_hEt1Q5TJ-6spYAMrx5$ .

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/105#issuecomment-761607629, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAFUR7G5HXLAETNKH7K2TNDS2HIO7ANCNFSM4WFMQ77A.

ranjitjhala commented 3 years ago

Hmm. So you did:

$ git clone https://github.com/ucsd-progsys/liquidhaskell-tutorial.git
$ cd liquidhaskell-tutorial
$ stack build --fast --file-watch

and that tickles the error? Are you on Windows by any chance? Also, which version of stack do you have?

On Sun, Jan 17, 2021 at 1:59 PM Kevin S. Van Horn notifications@github.com wrote:

I used the stack command mentioned in the tutorial:

stack build --fast --file-watch

One odd thing I noticed. When I first was looking into this, I checked out the page for the text-format package on hackage.haskell.org < http://hackage.haskell.org/> https://urldefense.com/v3/__http://hackage.haskell.org/*3E__;JQ!!Mih3wA!Vv9_ueJBRAEkWpxIXaUp73fIve47qdC98n7rx2YTkZKoUU8cRik8eillZeGVM3_-$, and it listed the dependency “base (>= 4.3 && <4.13)”, matching the error message I got. After getting your email reply I checked the page again, and it now says “base (>= 4.3 && <4.15)”. Nonetheless, running “stack build --fast --file-watch” still fails with the same error message.

On Jan 16, 2021, at 11:05 AM, Ranjit Jhala notifications@github.com wrote:

How did you get this error message? That is, can you tell me the sequence of steps to reproduce the error? (eg are you using cabal or stack?)

On Sat, Jan 16, 2021 at 8:49 AM Kevin S. Van Horn < notifications@github.com> wrote:

Following the tutorial's instructions, I tried to download and build the liquidhaskell-tutorial package using stack. It says to "iteratively edit/compile... until it builds", but gives no guidance on how to fix the errors. The error I'm getting is this:

In the dependencies for text-format-0.3.2: base-4.14.0.0 from stack configuration does not match >=4.3 && <4.13 (latest matching version is 4.12.0.0) needed due to liquidhaskell-tutorial-0.2.0.0 -> text-format-0.3.2

I don't know any good way to fix this.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub < https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/105__;!!Mih3wA!TqhZIzrUNk1_w6UN8P00-nUSIpVfBIAxOqGlOj7qyku8s_hEt1Q5TJ-6svHUw6Cs$%3E , or unsubscribe < https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/AAMS4OFHD2REBQUPK3FRA4LS2G7Q5ANCNFSM4WFMQ77A__;!!Mih3wA!TqhZIzrUNk1_w6UN8P00-nUSIpVfBIAxOqGlOj7qyku8s_hEt1Q5TJ-6spYAMrx5$%3E .

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub < https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/105#issuecomment-761607629> https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/105*issuecomment-761607629*3E__;IyU!!Mih3wA!Vv9_ueJBRAEkWpxIXaUp73fIve47qdC98n7rx2YTkZKoUU8cRik8eillZcpu5S44$, or unsubscribe < https://github.com/notifications/unsubscribe-auth/AAFUR7G5HXLAETNKH7K2TNDS2HIO7ANCNFSM4WFMQ77A> https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/AAFUR7G5HXLAETNKH7K2TNDS2HIO7ANCNFSM4WFMQ77A*3E__;JQ!!Mih3wA!Vv9_ueJBRAEkWpxIXaUp73fIve47qdC98n7rx2YTkZKoUU8cRik8eillZR8HRG3P$ .

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/105*issuecomment-761887445__;Iw!!Mih3wA!Vv9_ueJBRAEkWpxIXaUp73fIve47qdC98n7rx2YTkZKoUU8cRik8eillZS9-X9PP$, or unsubscribe https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/AAMS4OAY7PGK3W4NOY3WWFTS2NMSJANCNFSM4WFMQ77A__;!!Mih3wA!Vv9_ueJBRAEkWpxIXaUp73fIve47qdC98n7rx2YTkZKoUU8cRik8eillZUDCVhKo$ .

ksvanhorn commented 3 years ago

Yes, that’s right. No, I’m not on Windows, I’m on OS X 10.15 (Catalina). I originally had stack version 2.3.3, and in the process of trying things to fix the problem upgraded to version 2.5.1 via “stack upgrade”.

More info: suspecting that for some reason stack had out-of-date information about text-format-0.3.2, I tried various things, including stack upgrade, and finally completely removed the liquidhaskell-tutorial directory and then ran those three commands (git, cd, stack) again. This time the build went fine until it came to liquid-ghc-prim -- at that point it informed me that I needed to install an SMC solver.

So it looks to me like maybe my guess about out-of-date package information was right.

At the current moment I’m trying to figure out how to install Z3. I downloaded the Mac OS binaries and unzipped, but I don’t know where to install the results so that stack/ghc can find it. Theres an include directory, and a bin directory with various static and dynamic libraries as well as a python subdirectory under that.

On Jan 17, 2021, at 3:56 PM, Ranjit Jhala notifications@github.com wrote:

Hmm. So you did:

$ git clone https://github.com/ucsd-progsys/liquidhaskell-tutorial.git
$ cd liquidhaskell-tutorial
$ stack build --fast --file-watch

and that tickles the error? Are you on Windows by any chance? Also, which version of stack do you have?

On Sun, Jan 17, 2021 at 1:59 PM Kevin S. Van Horn notifications@github.com wrote:

I used the stack command mentioned in the tutorial:

stack build --fast --file-watch

One odd thing I noticed. When I first was looking into this, I checked out the page for the text-format package on hackage.haskell.org < http://hackage.haskell.org/> https://urldefense.com/v3/__http://hackage.haskell.org/*3E__;JQ!!Mih3wA!Vv9_ueJBRAEkWpxIXaUp73fIve47qdC98n7rx2YTkZKoUU8cRik8eillZeGVM3_-$, and it listed the dependency “base (>= 4.3 && <4.13)”, matching the error message I got. After getting your email reply I checked the page again, and it now says “base (>= 4.3 && <4.15)”. Nonetheless, running “stack build --fast --file-watch” still fails with the same error message.

On Jan 16, 2021, at 11:05 AM, Ranjit Jhala notifications@github.com wrote:

How did you get this error message? That is, can you tell me the sequence of steps to reproduce the error? (eg are you using cabal or stack?)

On Sat, Jan 16, 2021 at 8:49 AM Kevin S. Van Horn < notifications@github.com> wrote:

Following the tutorial's instructions, I tried to download and build the liquidhaskell-tutorial package using stack. It says to "iteratively edit/compile... until it builds", but gives no guidance on how to fix the errors. The error I'm getting is this:

In the dependencies for text-format-0.3.2: base-4.14.0.0 from stack configuration does not match >=4.3 && <4.13 (latest matching version is 4.12.0.0) needed due to liquidhaskell-tutorial-0.2.0.0 -> text-format-0.3.2

I don't know any good way to fix this.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub < https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/105__;!!Mih3wA!TqhZIzrUNk1_w6UN8P00-nUSIpVfBIAxOqGlOj7qyku8s_hEt1Q5TJ-6svHUw6Cs$%3E , or unsubscribe < https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/AAMS4OFHD2REBQUPK3FRA4LS2G7Q5ANCNFSM4WFMQ77A__;!!Mih3wA!TqhZIzrUNk1_w6UN8P00-nUSIpVfBIAxOqGlOj7qyku8s_hEt1Q5TJ-6spYAMrx5$%3E .

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub < https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/105#issuecomment-761607629> https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/105*issuecomment-761607629*3E__;IyU!!Mih3wA!Vv9_ueJBRAEkWpxIXaUp73fIve47qdC98n7rx2YTkZKoUU8cRik8eillZcpu5S44$, or unsubscribe < https://github.com/notifications/unsubscribe-auth/AAFUR7G5HXLAETNKH7K2TNDS2HIO7ANCNFSM4WFMQ77A> https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/AAFUR7G5HXLAETNKH7K2TNDS2HIO7ANCNFSM4WFMQ77A*3E__;JQ!!Mih3wA!Vv9_ueJBRAEkWpxIXaUp73fIve47qdC98n7rx2YTkZKoUU8cRik8eillZR8HRG3P$ .

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/105*issuecomment-761887445__;Iw!!Mih3wA!Vv9_ueJBRAEkWpxIXaUp73fIve47qdC98n7rx2YTkZKoUU8cRik8eillZS9-X9PP$, or unsubscribe https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/AAMS4OAY7PGK3W4NOY3WWFTS2NMSJANCNFSM4WFMQ77A__;!!Mih3wA!Vv9_ueJBRAEkWpxIXaUp73fIve47qdC98n7rx2YTkZKoUU8cRik8eillZUDCVhKo$ .

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/105#issuecomment-761895445, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAFUR7AGOA7GR4XHGMLZDFLS2NTIFANCNFSM4WFMQ77A.

ranjitjhala commented 3 years ago

Great - just copy the z3 binary/executable to someplace that’s in your PATH, that should do it.

On Sun, Jan 17, 2021 at 3:16 PM Kevin S. Van Horn notifications@github.com wrote:

Yes, that’s right. No, I’m not on Windows, I’m on OS X 10.15 (Catalina). I originally had stack version 2.3.3, and in the process of trying things to fix the problem upgraded to version 2.5.1 via “stack upgrade”.

More info: suspecting that for some reason stack had out-of-date information about text-format-0.3.2, I tried various things, including stack upgrade, and finally completely removed the liquidhaskell-tutorial directory and then ran those three commands (git, cd, stack) again. This time the build went fine until it came to liquid-ghc-prim -- at that point it informed me that I needed to install an SMC solver.

So it looks to me like maybe my guess about out-of-date package information was right.

At the current moment I’m trying to figure out how to install Z3. I downloaded the Mac OS binaries and unzipped, but I don’t know where to install the results so that stack/ghc can find it. Theres an include directory, and a bin directory with various static and dynamic libraries as well as a python subdirectory under that.

On Jan 17, 2021, at 3:56 PM, Ranjit Jhala notifications@github.com wrote:

Hmm. So you did:

$ git clone https://github.com/ucsd-progsys/liquidhaskell-tutorial.git
<https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial.git__;!!Mih3wA!R5JEwQ3HUs43KSTJ5PJyW7uD4DT5Og_5kPAwFkILt_z2Xj3Gae2rUheJOJowWjNm$>
$ cd liquidhaskell-tutorial
$ stack build --fast --file-watch

and that tickles the error? Are you on Windows by any chance? Also, which version of stack do you have?

On Sun, Jan 17, 2021 at 1:59 PM Kevin S. Van Horn < notifications@github.com> wrote:

I used the stack command mentioned in the tutorial:

stack build --fast --file-watch

One odd thing I noticed. When I first was looking into this, I checked out the page for the text-format package on hackage.haskell.org < http://hackage.haskell.org/> https://urldefense.com/v3/__http://hackage.haskell.org/*3E__;JQ!!Mih3wA!R5JEwQ3HUs43KSTJ5PJyW7uD4DT5Og_5kPAwFkILt_z2Xj3Gae2rUheJOLjlQnF7$ < https://urldefense.com/v3/__http://hackage.haskell.org/*3E__;JQ!!Mih3wA!Vv9_ueJBRAEkWpxIXaUp73fIve47qdC98n7rx2YTkZKoUU8cRik8eillZeGVM3_-$%3E , and it listed the dependency “base (>= 4.3 && <4.13)”, matching the error message I got. After getting your email reply I checked the page again, and it now says “base (>= 4.3 && <4.15)”. Nonetheless, running “stack build --fast --file-watch” still fails with the same error message.

On Jan 16, 2021, at 11:05 AM, Ranjit Jhala <notifications@github.com

wrote:

How did you get this error message? That is, can you tell me the sequence of steps to reproduce the error? (eg are you using cabal or stack?)

On Sat, Jan 16, 2021 at 8:49 AM Kevin S. Van Horn < notifications@github.com> wrote:

Following the tutorial's instructions, I tried to download and build the liquidhaskell-tutorial package using stack. It says to "iteratively edit/compile... until it builds", but gives no guidance on how to fix the errors. The error I'm getting is this:

In the dependencies for text-format-0.3.2: base-4.14.0.0 from stack configuration does not match >=4.3 && <4.13 (latest matching version is 4.12.0.0) needed due to liquidhaskell-tutorial-0.2.0.0 -> text-format-0.3.2

I don't know any good way to fix this.

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

https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/105__;!!Mih3wA!TqhZIzrUNk1_w6UN8P00-nUSIpVfBIAxOqGlOj7qyku8s_hEt1Q5TJ-6svHUw6Cs$%3E ,

or unsubscribe <

https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/AAMS4OFHD2REBQUPK3FRA4LS2G7Q5ANCNFSM4WFMQ77A__;!!Mih3wA!TqhZIzrUNk1_w6UN8P00-nUSIpVfBIAxOqGlOj7qyku8s_hEt1Q5TJ-6spYAMrx5$%3E

.

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

https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/105#issuecomment-761607629> https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/105*issuecomment-761607629*3E__;IyU!!Mih3wA!R5JEwQ3HUs43KSTJ5PJyW7uD4DT5Og_5kPAwFkILt_z2Xj3Gae2rUheJOIl4QREG$ < https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/105*issuecomment-761607629*3E__;IyU!!Mih3wA!Vv9_ueJBRAEkWpxIXaUp73fIve47qdC98n7rx2YTkZKoUU8cRik8eillZcpu5S44$%3E , or unsubscribe <

https://github.com/notifications/unsubscribe-auth/AAFUR7G5HXLAETNKH7K2TNDS2HIO7ANCNFSM4WFMQ77A> https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/AAFUR7G5HXLAETNKH7K2TNDS2HIO7ANCNFSM4WFMQ77A*3E__;JQ!!Mih3wA!R5JEwQ3HUs43KSTJ5PJyW7uD4DT5Og_5kPAwFkILt_z2Xj3Gae2rUheJOAmX2Hj5$ < https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/AAFUR7G5HXLAETNKH7K2TNDS2HIO7ANCNFSM4WFMQ77A*3E__;JQ!!Mih3wA!Vv9_ueJBRAEkWpxIXaUp73fIve47qdC98n7rx2YTkZKoUU8cRik8eillZR8HRG3P$%3E .

— You are receiving this because you commented. Reply to this email directly, view it on GitHub < https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/105*issuecomment-761887445__;Iw!!Mih3wA!Vv9_ueJBRAEkWpxIXaUp73fIve47qdC98n7rx2YTkZKoUU8cRik8eillZS9-X9PP$%3E , or unsubscribe < https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/AAMS4OAY7PGK3W4NOY3WWFTS2NMSJANCNFSM4WFMQ77A__;!!Mih3wA!Vv9_ueJBRAEkWpxIXaUp73fIve47qdC98n7rx2YTkZKoUU8cRik8eillZUDCVhKo$%3E .

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub < https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/105#issuecomment-761895445> https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/105*issuecomment-761895445*3E__;IyU!!Mih3wA!R5JEwQ3HUs43KSTJ5PJyW7uD4DT5Og_5kPAwFkILt_z2Xj3Gae2rUheJOHDkKxqf$, or unsubscribe < https://github.com/notifications/unsubscribe-auth/AAFUR7AGOA7GR4XHGMLZDFLS2NTIFANCNFSM4WFMQ77A> https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/AAFUR7AGOA7GR4XHGMLZDFLS2NTIFANCNFSM4WFMQ77A*3E__;JQ!!Mih3wA!R5JEwQ3HUs43KSTJ5PJyW7uD4DT5Og_5kPAwFkILt_z2Xj3Gae2rUheJOENtBgu1$ .

— You are receiving this because you commented.

Reply to this email directly, view it on GitHub https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/105*issuecomment-761898145__;Iw!!Mih3wA!R5JEwQ3HUs43KSTJ5PJyW7uD4DT5Og_5kPAwFkILt_z2Xj3Gae2rUheJOH_Y_LCF$, or unsubscribe https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/AAMS4OGOGWPU4Z6SHXU4MLDS2NVU3ANCNFSM4WFMQ77A__;!!Mih3wA!R5JEwQ3HUs43KSTJ5PJyW7uD4DT5Og_5kPAwFkILt_z2Xj3Gae2rUheJOEHBFPwp$ .