Upgrade to GHC 9.6.3 (#187)

We're upgrading to GHC 9.6.3 because that's what `chainweb-node` currently uses, so that we can reuse the same `/nix/store` paths for our Haskell toolchain.

* Upgrade to GHC 9.6.3

* Update the compiler version in cabal.project

* Use index-state in cabal.project instead of freeze file

* Update CI to GHC 9.6.3

* Add extra-include/lib dirs to ci.yaml

* Revert "Add extra-include/lib dirs to ci.yaml"

This reverts commit ad1cbd8.

.github/workflows/ci.yaml

@@ -9,7 +9,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        ghc: ['9.2.8']
+        ghc: ['9.6.3']
         cabal: ['3.10']
         os: ['ubuntu-20.04', 'ubuntu-22.04', 'macOS-latest']
 

cabal.project

@@ -1,5 +1,5 @@
 packages: haskell-src/chainweb-data.cabal
-with-compiler: ghc-9.2.8
+with-compiler: ghc-9.6.3
 index-state: 2024-02-01T00:00:00Z
 
 source-repository-package
@@ -21,5 +21,4 @@ allow-newer: beam-core:aeson
 allow-newer: streaming-events:*
 allow-newer: postgresql-simple-migration:*
 allow-newer: beam-postgres:*
--- allow-newer: *:aeson
 allow-newer: *:vector

default.nix

@@ -31,8 +31,7 @@ let profilingModule = {
     };
     project = pkgs.haskell-nix.cabalProject' {
 	    src = ./.;
-	    compiler-nix-name = "ghc928";
-      cabalProjectFreeze = null;
+	    compiler-nix-name = "ghc963";
 	    shell.tools = {
 	      cabal = {};
 	    };

haskell-src/chainweb-data.cabal

@@ -82,7 +82,7 @@ library
     , http-client-tls          >=0.3
     , http-types
     , openapi3
-    , optparse-applicative     >=0.14 && <0.17
+    , optparse-applicative     >=0.14
     , postgresql-simple-migration
     , servant-client
     , servant-openapi3
@@ -198,7 +198,7 @@ benchmark bench
     , aeson
     , base
     , beam-core          >=0.8
-    , beam-postgres      >=0.5 && <0.6
+    , beam-postgres      >=0.5
     , bytestring
     , chainweb-api
     , chainweb-data

haskell-src/exec/Chainweb/Server.hs

@@ -20,6 +20,7 @@ import           Chainweb.Api.NodeInfo
 import           Control.Concurrent
 import           Control.Error
 import           Control.Exception (bracket_, throwIO)
+import           Control.Monad
 import           Control.Monad.Except
 import qualified Control.Monad.Managed as M
 import           Control.Retry

haskell-src/lib/ChainwebDb/Queries.hs

@@ -11,6 +11,7 @@
 {-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE TypeOperators #-}
 -- |
 
 module ChainwebDb.Queries where
@@ -294,7 +295,7 @@ data XChainInfoT f = XChainInfo
 
 joinXChainInfo :: TransferT (PgExpr s) ->
   Q Postgres ChainwebDataDb s (XChainInfoT (PgExpr s))
-joinXChainInfo tr = pgUnnest $ (customExpr_ $ \fromAcct toAcct idx mdName blk req amt ->
+joinXChainInfo tr = pgUnnest $ (customExpr_ $ \fromAcct toAcct idx mdName blk req _amt ->
   -- We need the following LATERAL keyword so that it can be used liberally
   -- in any Q context despite the fact that it refers to the `tr` coming
   -- from the outside scope. The LATERAL helps, because when the expression below