Fix hls settings (#304)

* Various settings

* Change hie.yaml to use cabal

* Fix

Author: BinderDavid

cabal.project

@@ -1,5 +1,9 @@
 packages: ./granule.cabal
 
+allow-newer: optparse-applicative
+
+jobs: $ncpus
+
 source-repository-package
     type: git
     location: https://github.com/jackohughes/haskell-src-exts

cabal.project.freeze

@@ -0,0 +1,233 @@
+active-repositories: hackage.haskell.org:merge
+constraints: any.Diff ==1.0.2,
+             any.Glob ==0.10.2,
+             any.HUnit ==1.6.2.0,
+             any.OneTuple ==0.4.2,
+             any.Only ==0.1,
+             any.QuickCheck ==2.16.0.0,
+             QuickCheck -old-random +templatehaskell,
+             any.StateVar ==1.2.2,
+             any.adjunctions ==4.4.3,
+             any.aeson ==2.2.3.0,
+             aeson +ordered-keymap,
+             any.alex ==3.5.4.0,
+             any.ansi-terminal ==1.1.4,
+             ansi-terminal -example,
+             any.ansi-terminal-types ==1.1.3,
+             any.array ==0.5.4.0,
+             any.assoc ==1.1.1,
+             assoc -tagged,
+             any.async ==2.2.5,
+             async -bench,
+             any.attoparsec ==0.14.4,
+             attoparsec -developer,
+             any.base ==4.17.2.1,
+             any.base-compat ==0.14.1,
+             any.base-compat-batteries ==0.14.1,
+             any.base-orphans ==0.9.3,
+             any.bifunctors ==5.5.15,
+             bifunctors +semigroups +tagged,
+             any.binary ==0.8.9.1,
+             any.binary-orphans ==1.0.5,
+             any.bitvec ==1.1.5.0,
+             bitvec +simd,
+             any.blaze-builder ==0.4.4.1,
+             any.blaze-html ==0.9.2.0,
+             any.blaze-markup ==0.8.3.0,
+             any.boring ==0.2.2,
+             boring +tagged,
+             any.bytestring ==0.11.5.3,
+             any.call-stack ==0.4.0,
+             any.case-insensitive ==1.2.1.0,
+             any.cassava ==0.5.4.1,
+             any.character-ps ==0.1,
+             any.clock ==0.8.4,
+             clock -llvm,
+             any.co-log-core ==0.3.2.5,
+             any.code-page ==0.2.1,
+             any.colour ==2.3.6,
+             any.comonad ==5.0.9,
+             comonad +containers +distributive +indexed-traversable,
+             any.concurrent-extra ==0.7.0.12,
+             any.constraints ==0.14.2,
+             any.containers ==0.6.7,
+             any.contravariant ==1.5.5,
+             contravariant +semigroups +statevar +tagged,
+             any.control-monad-omega ==0.3.4,
+             any.criterion ==1.6.4.1,
+             criterion -embed-data-files -fast,
+             any.criterion-measurement ==0.2.3.0,
+             criterion-measurement -fast,
+             any.data-default ==0.8.0.1,
+             any.data-default-class ==0.2.0.0,
+             any.data-fix ==0.3.4,
+             any.data-ordlist ==0.4.7.0,
+             any.deepseq ==1.4.8.0,
+             any.dense-linear-algebra ==0.1.0.0,
+             any.directory ==1.3.7.1,
+             any.distributive ==0.6.2.1,
+             distributive +semigroups +tagged,
+             any.dlist ==1.0,
+             dlist -werror,
+             any.exceptions ==0.10.5,
+             any.extra ==1.8.1,
+             any.file-embed ==0.0.16.0,
+             any.filemanip ==0.3.6.3,
+             any.filepath ==1.4.2.2,
+             any.foldable1-classes-compat ==0.1.2,
+             foldable1-classes-compat +tagged,
+             any.free ==5.2,
+             any.generic-arbitrary ==1.0.1.2,
+             any.generic-lens ==2.3.0.0,
+             any.generic-lens-core ==2.3.0.0,
+             any.generically ==0.1.1,
+             any.ghc-bignum ==1.3,
+             any.ghc-boot-th ==9.4.8,
+             any.ghc-prim ==0.9.1,
+             any.gitrev ==1.3.1,
+             any.happy ==2.1.7,
+             any.happy-lib ==2.1.7,
+             any.hashable ==1.4.7.0,
+             hashable -arch-native +integer-gmp -random-initial-seed,
+             any.haskeline ==0.8.2,
+             any.haskell-lexer ==1.2.1,
+             any.haskell-src-exts ==1.23.1,
+             any.hsc2hs ==0.68.10,
+             hsc2hs -in-ghc-tree,
+             any.hspec ==2.11.16,
+             any.hspec-core ==2.11.16,
+             any.hspec-discover ==2.11.16,
+             any.hspec-expectations ==0.8.4,
+             any.indexed-profunctors ==0.1.1.1,
+             any.indexed-traversable ==0.1.4,
+             any.indexed-traversable-instances ==0.1.2,
+             any.integer-conversion ==0.1.1,
+             any.integer-logarithms ==1.0.4,
+             integer-logarithms -check-bounds +integer-gmp,
+             any.invariant ==0.6.4,
+             any.js-chart ==2.9.4.1,
+             any.kan-extensions ==5.2.7,
+             any.lens ==5.3.5,
+             lens -benchmark-uniplate -dump-splices +inlining -j +test-hunit +test-properties +test-templates +trustworthy,
+             any.lens-aeson ==1.2.3,
+             any.libBF ==0.6.8,
+             libBF -system-libbf,
+             any.logict ==0.8.2.0,
+             any.lsp ==2.7.0.1,
+             lsp -demo,
+             any.lsp-types ==2.3.0.1,
+             lsp-types -force-ospath,
+             any.math-functions ==0.3.4.4,
+             math-functions +system-erf +system-expm1,
+             any.microstache ==1.0.3,
+             any.mod ==0.2.1.0,
+             mod +semirings +vector,
+             any.monad-memo ==0.5.4,
+             any.mtl ==2.2.2,
+             any.mwc-random ==0.15.2.0,
+             mwc-random -benchpapi,
+             any.network-uri ==2.6.4.2,
+             any.old-locale ==1.0.0.7,
+             any.old-time ==1.1.0.4,
+             any.optparse-applicative ==0.19.0.0,
+             optparse-applicative +process,
+             any.os-string ==2.0.8,
+             any.parallel ==3.3.0.0,
+             any.parsec ==3.1.16.1,
+             any.pretty ==1.1.3.6,
+             any.prettyprinter ==1.7.1,
+             prettyprinter -buildreadme +text,
+             any.prettyprinter-ansi-terminal ==1.1.3,
+             any.primitive ==0.9.1.0,
+             any.process ==1.6.18.0,
+             any.profunctors ==5.6.3,
+             any.quickcheck-instances ==0.3.33,
+             any.quickcheck-io ==0.2.0,
+             any.random ==1.3.1,
+             any.raw-strings-qq ==1.1,
+             any.reflection ==2.1.9,
+             reflection -slow +template-haskell,
+             any.regex ==1.1.0.2,
+             any.regex-base ==0.94.0.3,
+             any.regex-pcre-builtin ==0.95.2.3.8.44,
+             any.regex-tdfa ==1.3.2.5,
+             regex-tdfa +doctest -force-o2,
+             any.row-types ==1.0.1.2,
+             any.rts ==1.0.2,
+             any.safe ==0.3.21,
+             any.safe-exceptions ==0.1.7.4,
+             any.sbv ==9.2,
+             any.scientific ==0.3.8.0,
+             scientific -integer-simple,
+             any.semialign ==1.3,
+             semialign +semigroupoids,
+             any.semigroupoids ==5.3.7,
+             semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers,
+             any.semigroups ==0.20,
+             semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers,
+             any.semirings ==0.7,
+             semirings +containers +unordered-containers,
+             any.silently ==1.2.5.4,
+             any.some ==1.0.6,
+             some +newtype-unsafe,
+             any.sorted-list ==0.3.1.0,
+             any.split ==0.2.5,
+             any.splitmix ==0.1.3.1,
+             splitmix -optimised-mixer,
+             any.statistics ==0.16.4.0,
+             statistics -benchpapi,
+             any.stm ==2.5.1.0,
+             any.strict ==0.5.1,
+             any.syb ==0.7.3,
+             any.syz ==0.2.0.0,
+             syz +base4,
+             any.tagged ==0.8.10,
+             tagged +deepseq +template-haskell,
+             any.tasty ==1.5.3,
+             tasty +unix,
+             any.tasty-golden ==2.3.5,
+             tasty-golden -build-example,
+             any.template-haskell ==2.19.0.0,
+             any.temporary ==1.3,
+             any.terminfo ==0.4.1.5,
+             any.text ==2.0.2,
+             any.text-iso8601 ==0.1.1,
+             any.text-replace ==0.1.0.3,
+             any.text-rope ==0.3,
+             text-rope -debug,
+             any.text-short ==0.1.6,
+             text-short -asserts,
+             any.th-abstraction ==0.5.0.0,
+             any.th-compat ==0.1.6,
+             any.these ==1.2.1,
+             any.time ==1.12.2,
+             any.time-compat ==1.9.8,
+             any.time-locale-compat ==0.1.1.5,
+             time-locale-compat -old-locale,
+             any.transformers ==0.5.6.2,
+             any.transformers-base ==0.4.6,
+             transformers-base +orphaninstances,
+             any.transformers-compat ==0.7.2,
+             transformers-compat -five +five-three -four +generic-deriving +mtl -three -two,
+             any.typed-process ==0.2.13.0,
+             any.unbounded-delays ==0.1.1.1,
+             any.uniplate ==1.6.13,
+             any.unix ==2.7.3,
+             any.unix-compat ==0.7.4.1,
+             any.unliftio ==0.2.25.1,
+             any.unliftio-core ==0.2.1.0,
+             any.unordered-containers ==0.2.21,
+             unordered-containers -debug,
+             any.utf8-string ==1.0.2,
+             any.uuid-types ==1.0.6,
+             any.vector ==0.13.2.0,
+             vector +boundschecks -internalchecks -unsafechecks -wall,
+             any.vector-algorithms ==0.9.1.0,
+             vector-algorithms +bench +boundschecks -internalchecks -llvm -unsafechecks,
+             any.vector-binary-instances ==0.2.5.2,
+             any.vector-stream ==0.1.0.1,
+             any.vector-th-unbox ==0.2.2,
+             any.void ==0.7.4,
+             void -safe,
+             any.witherable ==0.5
+index-state: hackage.haskell.org 2025-12-17T16:03:32Z

hie.yaml

@@ -1,15 +1,24 @@
 cradle:
-  stack:
+  cabal:
     - path: "./frontend/src"
       component: "granule:lib:frontend"
 
+    - path: "./interpreter/src"
+      component: "granule:lib:interpreter"
+
+    - path: "./runtime/src"
+      component: "granule:lib:runtime"
+
+    - path: "./compiler/src"
+      component: "granule:lib:compiler"
+
     - path: "./frontend/tests/hspec"
       component: "granule:test:frontend-spec"
 
-    - path: "./interpreter/src"
-      component: "granule:lib:interpreter"
+    - path: "./interpreter/tests"
+      component: "granule:test:gr-golden"
 
-    - path: "./interpreter/src/Language/Granule/Interpreter.hs"
+    - path: "./interpreter/src/Main.hs"
       component: "granule:exe:gr"
 
     - path: "./interpreter/src/Language/Granule/Doc.hs"
@@ -21,11 +30,14 @@ cradle:
     - path: "./interpreter/src/Language/Granule/Interpreter/Eval.hs"
       component: "granule:exe:gr"
 
-    - path: "./server/app/Language/Granule/Server.hs"
+    - path: "./interpreter/src/Language/Granule/Interpreter.hs"
+      component: "granule:exe:gr"
+
+    - path: "./server/app/Main.hs"
       component: "granule:exe:grls"
 
-    - path: "./interpreter/tests"
-      component: "granule:test:gr-golden"
+    - path: "./server/app/Language/Granule/Server.hs"
+      component: "granule:exe:grls"
 
     - path: "./repl/app/Language/Granule/Main.hs"
       component: "granule:exe:grepl"
@@ -39,16 +51,13 @@ cradle:
     - path: "./repl/app/Language/Granule/ReplParser.hs"
       component: "granule:exe:grepl"
 
-    - path: "./runtime/src"
-      component: "granule:lib:runtime"
-
-    - path: "./compiler/src"
-      component: "granule:lib:compiler"
+    - path: "./compiler/app/Main.hs"
+      component: "granule:exe:grc"
 
     - path: "./compiler/app/Language/Granule/Compiler.hs"
       component: "granule:exe:grc"
 
-    - path: "./benchmark/src/Language/Granule/Main.hs"
+    - path: "./benchmark/src/Main.hs"
       component: "granule:exe:grenchmark"
 
     - path: "./benchmark/src/Language/Granule/Benchmarks.hs"