Closed lukaszcz closed 1 year ago
Installing ghc 9.2.5 with ghcup solved the problem. But I'm not sure if this should be required, especially if we continue using ghc versions which are not yet in ghcup as we did often in the past.
After https://github.com/anoma/juvix/pull/1672 was merged you need to copy the relevant hie file to indicate your preference for HLS to use cabal vs stack. See https://github.com/anoma/juvix#lsp-support.
If you don't want to preinstall GHC then you must use stack, run cp stack.hie.yaml hie.yaml
.
Okay, I think Paul's answer closes the issue.
After merging #1667, cleaning and building from scratch, I get the error message in VSCode:
As a result, HLS doesn't work.