Stack information out of date?

[FranklinChen]

stack.yaml and stack.yaml.github look old. In particular, I just got a Mac Studio and can't build with the current stack.yaml:

$ stack build
No setup information found for ghc-8.10.2 on your platform.
This probably means a GHC bindist has not yet been added for OS key 'macosx-aarch64'.
Supported versions: ghc-8.10.5, ghc-8.10.6, ghc-8.10.7, ghc-9.0.2, ghc-9.2.1, ghc-9.2.2

[ranjitjhala]

Interesting! Did you try changing the line

compiler: ghc-8.10.2

to

compiler: ghc-8.10.7

Does that work?

On Fri, May 13, 2022 at 11:33 AM Franklin Chen @.***> wrote:

stack.yaml and stack.yaml.github look old. In particular, I just got a Mac Studio and can't build with the current stack.yaml:

$ stack build No setup information found for ghc-8.10.2 on your platform. This probably means a GHC bindist has not yet been added for OS key 'macosx-aarch64'. Supported versions: ghc-8.10.5, ghc-8.10.6, ghc-8.10.7, ghc-9.0.2, ghc-9.2.1, ghc-9.2.2

— Reply to this email directly, view it on GitHub https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_ucsd-2Dprogsys_lh-2Dplugin-2Ddemo_issues_6&d=DwMCaQ&c=-35OiAkTchMrZOngvJPOeA&r=r3JfTqNkpwIJ1InE9-ChC2ld7xwATxgUx5XHAdA0UnA&m=QQHfzg9TbkJHd-Rf8ZBPc6EoSAwYr5Ahk8Dh8sBu9Ho2GKh2_nY2Q83f9hZ_l3iO&s=wHMj94tESGIHl4LboUtKgi7cLQM6y3fOidjMbsWJnek&e=, or unsubscribe https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_notifications_unsubscribe-2Dauth_AAMS4OCU6LY2EKMUGTGPTNTVJ2OAJANCNFSM5V4E3VVQ&d=DwMCaQ&c=-35OiAkTchMrZOngvJPOeA&r=r3JfTqNkpwIJ1InE9-ChC2ld7xwATxgUx5XHAdA0UnA&m=QQHfzg9TbkJHd-Rf8ZBPc6EoSAwYr5Ahk8Dh8sBu9Ho2GKh2_nY2Q83f9hZ_l3iO&s=sMD1iff93XwU0ggdU_hxC5TH_AyDiYFc9Qx19DxXO1c&e= . You are receiving this because you are subscribed to this thread.Message ID: @.***>

[FranklinChen]

It took forever to build, but yes, it did work!

[facundominguez]

The configuration has been updated in #14

[igormoreno]

How should I change the stack.yaml file to use the new 9.0.2 release of Liquid Haskell?

[facundominguez]

Hello! I added a configuration example here: https://github.com/ucsd-progsys/lh-plugin-demo/pull/19

Search for stack/stack-9.0.2.yaml.

[igormoreno]

wow! that was fast :-) thank you

I'm finding a couple of problems though:

• when I use the configuration in stack.yaml I get:

         liquid-base needed, but the Stack
                     configuration has no
                     specified version (latest
                     matching version is
                     4.15.1.0)

  I tried to add that package to the extra dependencies and then it complains about liquid-ghc-prim and when I added that to the dependencies some compilation error happened

• when I use the configuration in stack/stack-9.0.2.yaml I get:

  Error: [S-636]
  Stack looks for packages in the directories configured in
  the 'packages' and 'extra-deps' fields defined in your stack.yaml
  The current entry points to /Users/igormoreno/Documents/academic/usi/phd/luce-researchlab/structured-notional-machines/,
  but no .cabal or package.yaml file could be found there.

  I solved that by deleting one of the dots in the third line

[facundominguez]

solved that by deleting one of the dots in the third line

Yeah, that looks about right. The location of packages must be relative to the location of the stack.yaml file.

when I use the configuration in stack.yaml I get:

Understanding this is going to require looking at the project files. But that stack.yaml is not meant to be used with the 9.0.2 release.

[igormoreno]

ok. Thank you.

Now with stack/stack-9.0.2.yaml I have stumbled over a problem that I found was already previously described:

• https://github.com/haskell/haskell-language-server/issues/3134
• https://github.com/commercialhaskell/stack/issues/5935

that seems to be somehow in the interplay between Liquid Haskell, the haskell-language-server, and Stack.

[facundominguez]

@igormoreno, @ranjitjhala, I'd recomend closing this issue as resolved and opening a new one for the HLS troubles if they might come from a misconfiguration in this repo.

[igormoreno]

Sure: https://github.com/ucsd-progsys/lh-plugin-demo/issues/21