[WORKFLOW] update nix flake inputs && ghc94

superfluid-finance · Feb 7, 2024 · 4efe2ea · 4efe2ea
1 parent fb6f64c
commit 4efe2ea
Show file tree

Hide file tree

Showing 6 changed files with 15 additions and 15 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -22,7 +22,7 @@
     minDevSolcVer = "solc_0_8_11"; # minimum solidity version used for external development
     solcVer = "solc_0_8_23";
     ghcVer92 = "ghc928";
-    ghcVer94 = "ghc945";
+    ghcVer94 = "ghc948";
 
     pkgs = import nixpkgs {
       inherit system;
@@ -85,7 +85,7 @@
       hlint
       stylish-haskell
       # sage math
-      # sage # TODO: https://github.com/NixOS/nixpkgs/issues/282383#issuecomment-1902660815
+      sage
       # testing tooling
       gnuplot
       # yellowpaper pipeline tooling

diff --git a/packages/spec-haskell/pkgs/core/superfluid-protocol-spec-core.cabal b/packages/spec-haskell/pkgs/core/superfluid-protocol-spec-core.cabal
@@ -4,7 +4,7 @@ version:       0.0.1.0
 license:       MIT
 maintainer:    [email protected]
 author:        Miao, ZhiCheng
-tested-with:   ghc ==9.2.4, ghc ==9.4.5
+tested-with:   ghc ==9.2.4, ghc ==9.4.8
 homepage:      https://www.superfluid.finance/
 synopsis:      Superfluid protocol core specifications in Haskell.
 description:

diff --git a/packages/spec-haskell/pkgs/semantic-money/semantic-money.cabal b/packages/spec-haskell/pkgs/semantic-money/semantic-money.cabal
@@ -4,7 +4,7 @@ version:       0.0.1.0
 license:       MIT
 maintainer:    [email protected]
 author:        Miao, ZhiCheng
-tested-with:   ghc ==9.2.4, ghc ==9.4.5
+tested-with:   ghc ==9.2.4, ghc ==9.4.8
 homepage:      https://www.superfluid.finance/
 synopsis:      Semantic money - generalizing payment primitives.
 description:

diff --git a/packages/spec-haskell/pkgs/simple/superfluid-protocol-system-simple.cabal b/packages/spec-haskell/pkgs/simple/superfluid-protocol-system-simple.cabal
@@ -4,7 +4,7 @@ version:       0.0.1.0
 license:       MIT
 maintainer:    [email protected]
 author:        Miao, ZhiCheng
-tested-with:   ghc ==9.2.4, ghc ==9.4.5
+tested-with:   ghc ==9.2.4, ghc ==9.4.8
 homepage:      https://www.superfluid.finance/
 synopsis:      Superfluid protocol simple system instances.
 description:

diff --git a/packages/spec-haskell/pkgs/validator/superfluid-protocol-spec-validator.cabal b/packages/spec-haskell/pkgs/validator/superfluid-protocol-spec-validator.cabal
@@ -4,7 +4,7 @@ version:       0.0.1.0
 license:       MIT
 maintainer:    [email protected]
 author:        Miao, ZhiCheng
-tested-with:   ghc ==9.2.4, ghc ==9.4.5
+tested-with:   ghc ==9.2.4, ghc ==9.4.8
 homepage:      https://www.superfluid.finance/
 synopsis:      Superfluid protocol specifications validator.
 description: