Update GHC/HLS/Stack/whatever version

plclub · Aug 17, 2023 · bf07cbc · bf07cbc
1 parent 1a4f724
commit bf07cbc
Show file tree

Hide file tree

Showing 5 changed files with 12 additions and 5 deletions.
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -0,0 +1,8 @@
+{
+  "haskell.toolchain": {
+    "ghc": null,
+    "cabal": null,
+    "stack": null,
+    "hls": "2.1.0.0"
+  }
+}
diff --git a/src/LevelSolver.hs b/src/LevelSolver.hs
@@ -9,7 +9,6 @@ import qualified Text.Read as Read
 
 import Data.SBV as SBV
 import Data.SBV.Internals
-
 import Data.SBV.Control
 import Control.Monad
 import qualified Data.Map as Map
@@ -93,7 +92,7 @@ makeGoal cs = do
                     constrain $ 0 .<= x
                     return (v,x)) vs
   mapM_ (`process` varmap) cs
-  SBV.existential [] sTrue
+  pure sTrue
   -- minimize "goal" (sum (map snd vars))
 
 type Vars = [(LName, SInteger)]

diff --git a/stack.yaml b/stack.yaml
@@ -1,4 +1,4 @@
-resolver: lts-20.21
+resolver: lts-21.7
 
 system-ghc: true
 

diff --git a/stratt.cabal b/stratt.cabal
@@ -3,7 +3,7 @@ name: stratt
 version: 0.1
 build-type: Simple
 synopsis: A prototype implementation of Stratified Type Theory
-tested-with: GHC == 9.2.7
+tested-with: GHC == 9.4.5
 
 common shared-properties
   default-language:

diff --git a/stratt.cabal.bak b/stratt.cabal.bak
@@ -10,7 +10,7 @@ maintainer: Jonathan Chan <[email protected]>
 synopsis: A prototype implementation of Stratified Type Theory
 description:
 category: Compilers/Interpreters
-tested-with: GHC == 9.2.7
+tested-with: GHC == 9.4.5
 
 source-repository head
   type: git