Add HLS support - Githubissues

compiling-to-categories / concat

Compiling to Categories

http://conal.net/papers/compiling-to-categories

BSD 3-Clause "New" or "Revised" License

431 stars 49 forks source link

Add HLS support #102

Closed srid closed 1 year ago

srid commented 2 years ago

This PR adds IDE support via HLS. I've confirmed it to work on Visual Studio Code in nix-shell (for some modules at least).

Update nixpkgs for latest HLS
Add HLS to nix-shell
Add hie.yaml (HLS configuration)

mikesperber commented 1 year ago

Trying this out, I get this:

> nix-shell
$ hie-bios check classes/src/ConCat/Category.hs
hie-bios: expectJust getLinkDeps
CallStack (from HasCallStack):
  error, called at compiler/utils/Maybes.hs:57:27 in ghc:Maybes
  expectJust, called at compiler/ghci/Linker.hs:708:28 in ghc:Linker

I suspect hie.yaml needs more differentiation wrt. the paths involved.

mikesperber commented 1 year ago

HLS support is done in 2f3817f421201cb5cda38ba8e32cd2f3edb1926c.