Support ghc-9.12

.github/workflows/haskell.yml

@@ -13,8 +13,8 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        ghc: ["8.10.7", "9.2.8", "9.6.5", "9.8.2", "9.10.1"]
-        os: [ubuntu-latest, macos-latest, windows-latest]
+        ghc: ["8.10.7", "9.2.8", "9.6", "9.8", "9.10", "9.12"]
+        os: [ubuntu-latest, macos-13, windows-latest]
 
     steps:
     - uses: actions/checkout@v1

cabal.project

@@ -1,8 +1,20 @@
 -- See CONTRIBUTING for Nix commands you need to run if you change it:
-index-state: 2024-06-12T03:57:48Z
+index-state: 2025-01-07T18:12:02Z
 
 packages:
   cardano-prelude
   cardano-prelude-test
 
 test-show-details: direct
+
+if impl (ghc >= 9.12)
+  allow-newer:
+    -- Stuck on `cabal-3.14` issues and recalcitrant maintainers
+    -- https://github.com/haskell/aeson/issues/1124
+    , aeson:ghc-prim
+    , aeson:template-haskell
+
+    -- Stuck on `cabal-3.14` and unresponsive maintainers
+    -- https://github.com/well-typed/cborg/pull/339
+    , cborg:base
+    , cborg:ghc-prim

cardano-prelude/cardano-prelude.cabal

@@ -1,7 +1,7 @@
 cabal-version: 2.2
 
 name:                 cardano-prelude
-version:              0.2.0.0
+version:              0.2.1.0
 synopsis:             A Prelude replacement for the Cardano project
 description:          A Prelude replacement for the Cardano project
 author:               IOHK

cardano-prelude/src/Cardano/Prelude/Panic.hs

@@ -1,5 +1,4 @@
 {-# LANGUAGE ConstraintKinds #-}
-{-# LANGUAGE DeriveDataTypeable #-}
 {-# LANGUAGE Safe #-}
 
 -- This module cargo-culted from `Protolude`.
@@ -10,12 +9,11 @@ module Cardano.Prelude.Panic (
 
 import Control.Exception (Exception, throw)
 import Data.Text (Text)
-import Data.Typeable (Typeable)
 import GHC.Stack (HasCallStack)
 
 -- | Uncatchable exceptions thrown and never caught.
 newtype FatalError = FatalError { fatalErrorMessage :: Text }
-  deriving (Show, Typeable)
+  deriving Show
 
 instance Exception FatalError