Can't even get started because of build issues

[ksvanhorn]

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]

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 ***@***.***> 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]

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 ***@***.***> 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 ***@***.***> 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 <#105 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAFUR7G5HXLAETNKH7K2TNDS2HIO7ANCNFSM4WFMQ77A>.

[ranjitjhala]

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 <[email protected]> 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 ***@***.***> 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 < ***@***.***> > 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 < #105 (comment)> <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]

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 ***@***.***> 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 ***@***.***> 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 ***@***.***> > 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 < > ***@***.***> > > 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 < > #105 (comment)> > <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 <#105 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAFUR7AGOA7GR4XHGMLZDFLS2NTIFANCNFSM4WFMQ77A>.

[ranjitjhala]

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 <[email protected]> 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 ***@***.***> 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 < ***@***.***> > 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 ***@***.*** > > > 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 < > > ***@***.***> > > > 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 < > > #105 (comment)> <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 < #105 (comment)> <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$> .