Merge pull request #768 from IntersectMBO/erikd/ghc-9.12

Make it build with ghc 9.12

Author: erikd

.github/workflows/haskell.yml

@@ -20,7 +20,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        ghc: ["8.10.7", "9.6", "9.10"]
+        ghc: ["8.10.7", "9.6", "9.12"]
         cabal: ["3.14"]
         sys:
           - { os: windows-latest, shell: 'C:/msys64/usr/bin/bash.exe -e {0}' }

cabal.project

@@ -13,8 +13,8 @@ repository cardano-haskell-packages
 -- See CONTRIBUTING for information about these, including some Nix commands
 -- you need to run if you change them
 index-state:
-  , hackage.haskell.org 2024-12-24T12:56:48Z
-  , cardano-haskell-packages 2025-02-11T21:18:23Z
+  , hackage.haskell.org 2025-03-03T01:12:46Z
+  , cardano-haskell-packages 2025-03-03T04:46:42Z
 
 packages:
     cardano-api
@@ -51,3 +51,25 @@ semaphore: True
 -- IMPORTANT
 -- Do NOT add more source-repository-package stanzas here unless they are strictly
 -- temporary! Please read the section in CONTRIBUTING about updating dependencies.
+
+if impl (ghc >= 9.12)
+  allow-newer:
+    -- https://github.com/phadej/vec/issues/118
+    , bin:base
+    , fin:base
+    , ral:base
+
+    -- https://github.com/well-typed/cborg/pull/339
+    , cborg:base
+    , cborg:ghc-prim
+    , serialise:base
+    , serialise:ghc-prim
+
+    -- https://github.com/haskellari/tree-diff/issues/97
+    , tree-diff:base
+
+    -- https://github.com/kapralVV/Unique/issues/11
+    , Unique:hashable
+
+    -- https://github.com/fizruk/http-api-data/pull/146
+    , http-api-data:base

cardano-api-gen/cardano-api-gen.cabal

@@ -24,7 +24,7 @@ extra-doc-files:
 common project-config
   default-language: Haskell2010
   default-extensions: OverloadedStrings
-  build-depends: base >=4.14 && <4.21
+  build-depends: base >=4.14 && <4.22
   ghc-options:
     -Wall
     -Wcompat

cardano-api/cardano-api.cabal

@@ -26,7 +26,7 @@ common project-config
     ImportQualifiedPost
     OverloadedStrings
 
-  build-depends: base >=4.14 && <4.21
+  build-depends: base >=4.14 && <4.22
   ghc-options:
     -Wall
     -Wcompat

cardano-api/src/Cardano/Api/Internal/Script.hs

@@ -174,7 +174,6 @@ import Data.Text (Text)
 import Data.Text qualified as Text
 import Data.Text.Encoding qualified as Text
 import Data.Type.Equality (TestEquality (..), (:~:) (Refl))
-import Data.Typeable (Typeable)
 import Data.Vector (Vector)
 import Formatting qualified as B
 import GHC.Exts (IsList (..))
@@ -1517,8 +1516,6 @@ deriving instance Eq (ReferenceScript era)
 
 deriving instance Show (ReferenceScript era)
 
-deriving instance Typeable (ReferenceScript era)
-
 instance IsCardanoEra era => ToJSON (ReferenceScript era) where
   toJSON (ReferenceScript _ s) = object ["referenceScript" .= s]
   toJSON ReferenceScriptNone = Aeson.Null