Preliminary ghc 9.14 support

Currently using ghc-9.14.0.20251128 (-rc3).

Author: erikd

cabal.project

@@ -91,7 +91,144 @@ benchmarks: true
 -- The only sensible test display option
 test-show-details: streaming
 
-if impl(ghc >=9.12)
+allow-newer:
+  -- https://github.com/phadej/vec/issues/121
+  , ral:QuickCheck
+  , fin:QuickCheck
+  , bin:QuickCheck
+
+if impl(ghc >=9.14)
+  source-repository-package
+    type: git
+    -- https://github.com/snowleopard/alga/issues/322
+    location: https://github.com/snowleopard/alga/
+    tag: d4e43fb42db05413459fb2df493361d5a666588a
+
+  source-repository-package
+    type: git
+    location: https://github.com/IntersectMBO/plutus
+    tag: c65a4fa1c0985ee9411554318163b11194cc7663
+    subdir:
+      plutus-core
+      plutus-tx
+      plutus-ledger-api
+
+if impl (ghc >= 9.14)
+  constraints:
+    , containers > 0.7
+    , foldl >= 1.4.18
+    , microlens ^>= 0.4
+    , microlens-th ^>= 0.4
+
+-- cabal-allow-newer
+if impl (ghc >= 9.14)
   allow-newer:
-    -- Unique: https://github.com/kapralVV/Unique/issues/11
-    , Unique:hashable
+    , OneTuple:base
+    , aeson:base
+    , aeson:bytestring
+    , aeson:containers
+    , aeson:template-haskell
+    , aeson:time
+    , async:base
+    , base64-bytestring-type:QuickCheck
+    , base64-bytestring-type:base
+    , base64-bytestring-type:http-api-data
+    , bin:base
+    , binary-orphans:base
+    , boring:base
+    , canonical-json:containers
+    , cborg:base
+    , cborg:containers
+    , concurrent-output:process
+    , config-ini:containers
+    , config-ini:megaparsec
+    , constraints:boring
+    , constraints-extras:base
+    , constraints-extras:template-haskell
+    , containers:base
+    , containers:template-haskell
+    , dec:base
+    , dependent-map:constraints-extras
+    , dependent-map:containers
+    , deriving-compat:containers
+    , deriving-compat:template-haskell
+    , dictionary-sharing:containers
+    , directory:time
+    , fin:base
+    , fin:universe-base
+    , foldable1-classes-compat:base
+    , foldl:containers
+    , free:base
+    , free:containers
+    , free:mtl
+    , free:template-haskell
+    , http-api-data:base
+    , http-api-data:containers
+    , indexed-traversable:base
+    , indexed-traversable:containers
+    , indexed-traversable-instances:base
+    , ledger-state:persistent
+    , lens:containers
+    , lens:template-haskell
+    , microlens-th:containers
+    , microlens-th:template-haskell
+    , microstache:aeson
+    , microstache:base
+    , microstache:containers
+    , monoidal-containers:base
+    , monoidal-containers:containers
+    , nonempty-vector:base
+    , optics-core:containers
+    , ordered-containers:containers
+    , parsec:mtl
+    , persistent:template-haskell
+    , persistent-sqlite:persistent
+    , process:base
+    , process:directory
+    , quickcheck-instances:base
+    , quickcheck-instances:containers
+    , quickcheck-instances:time-compat
+    , ral:base
+    , recursion-schemes:containers
+    , recursion-schemes:free
+    , recursion-schemes:template-haskell
+    , semialign:base
+    , semialign:containers
+    , semialign:indexed-traversable
+    , semialign:indexed-traversable-instances
+    , serialise:base
+    , serialise:containers
+    , serialise:these
+    , serialise:time
+    , singletons:base
+    , singletons-th:base
+    , singletons-th:mtl
+    , singletons-th:singletons
+    , singletons-th:template-haskell
+    , singletons-th:th-desugar
+    , singletons-th:th-orphans
+    , size-based:template-haskell
+    , some:base
+    , text:bytestring
+    , text:template-haskell
+    , th-desugar:template-haskell
+    , th-expand-syns:base
+    , th-expand-syns:containers
+    , th-expand-syns:template-haskell
+    , th-orphans:template-haskell
+    , these:base
+    , time-compat:base
+    , transformers:base
+    , tree-diff:QuickCheck
+    , tree-diff:aeson
+    , tree-diff:base
+    , tree-diff:containers
+    , tree-diff:semialign
+    , tree-diff:time
+    , tree-diff:uuid-types
+    , universe-base:base
+    , universe-base:containers
+    , uuid-types:template-haskell
+    , validation-selective:base
+    , vector-th-unbox:base
+    , vector-th-unbox:template-haskell

eras/allegra/impl/cardano-ledger-allegra.cabal

@@ -65,6 +65,11 @@ library
     -Wpartial-fields
     -Wunused-packages
 
+  -- In ghc-9.14 the `pattern` namespace specifier is deprecated.
+  if impl(ghc >=9.14)
+    ghc-options:
+      -Wno-pattern-namespace-specifier
+
   build-depends:
     aeson,
     base >=4.18 && <5,
@@ -148,10 +153,20 @@ library testlib
     -Wcompat
     -Wincomplete-record-updates
     -Wincomplete-uni-patterns
-    -Wredundant-constraints
     -Wpartial-fields
     -Wunused-packages
 
+  -- ghc-9.14 gives redundant constraint warnings on some constraints
+  -- that are needed for earlier compilers.
+  if impl(ghc <9.14)
+    ghc-options:
+      -Wredundant-constraints
+
+  -- In ghc-9.14 the `pattern` namespace specifier is deprecated.
+  if impl(ghc >=9.14)
+    ghc-options:
+      -Wno-pattern-namespace-specifier
+
   build-depends:
     QuickCheck,
     base,

eras/alonzo/impl/cardano-ledger-alonzo.cabal

@@ -73,9 +73,19 @@ library
     -Wincomplete-record-updates
     -Wincomplete-uni-patterns
     -Wpartial-fields
-    -Wredundant-constraints
     -Wunused-packages
 
+  -- ghc-9.14 gives redundant constraint warnings on some constraints
+  -- that are needed for earlier compilers.
+  if impl(ghc <9.14)
+    ghc-options:
+      -Wredundant-constraints
+
+  -- In ghc-9.14 the `pattern` namespace specifier is deprecated.
+  if impl(ghc >=9.14)
+    ghc-options:
+      -Wno-pattern-namespace-specifier
+
   build-depends:
     FailT,
     aeson >=2.2,
@@ -180,9 +190,19 @@ library testlib
     -Wincomplete-record-updates
     -Wincomplete-uni-patterns
     -Wpartial-fields
-    -Wredundant-constraints
     -Wunused-packages
 
+  -- ghc-9.14 gives redundant constraint warnings on some constraints
+  -- that are needed for earlier compilers.
+  if impl(ghc <9.14)
+    ghc-options:
+      -Wredundant-constraints
+
+  -- In ghc-9.14 the `pattern` namespace specifier is deprecated.
+  if impl(ghc >=9.14)
+    ghc-options:
+      -Wno-pattern-namespace-specifier
+
   build-depends:
     HUnit,
     base,

eras/alonzo/test-suite/cardano-ledger-alonzo-test.cabal

@@ -40,6 +40,11 @@ library
     -Wredundant-constraints
     -Wunused-packages
 
+  -- In ghc-9.14 the `pattern` namespace specifier is deprecated.
+  if impl(ghc >=9.14)
+    ghc-options:
+      -Wno-pattern-namespace-specifier
+
   build-depends:
     QuickCheck,
     base >=4.18 && <5,

eras/babbage/impl/cardano-ledger-babbage.cabal

@@ -72,9 +72,19 @@ library
     -Wincomplete-record-updates
     -Wincomplete-uni-patterns
     -Wpartial-fields
-    -Wredundant-constraints
     -Wunused-packages
 
+  -- ghc-9.14 gives redundant constraint warnings on some constraints
+  -- that are needed for earlier compilers.
+  if impl(ghc <9.14)
+    ghc-options:
+      -Wredundant-constraints
+
+  -- In ghc-9.14 the `pattern` namespace specifier is deprecated.
+  if impl(ghc >=9.14)
+    ghc-options:
+      -Wno-pattern-namespace-specifier
+
   build-depends:
     aeson >=2.2,
     base >=4.18 && <5,
@@ -168,9 +178,19 @@ library testlib
     -Wincomplete-record-updates
     -Wincomplete-uni-patterns
     -Wpartial-fields
-    -Wredundant-constraints
     -Wunused-packages
 
+  -- ghc-9.14 gives redundant constraint warnings on some constraints
+  -- that are needed for earlier compilers.
+  if impl(ghc <9.14)
+    ghc-options:
+      -Wredundant-constraints
+
+  -- In ghc-9.14 the `pattern` namespace specifier is deprecated.
+  if impl(ghc >=9.14)
+    ghc-options:
+      -Wno-pattern-namespace-specifier
+
   build-depends:
     QuickCheck,
     base,

eras/conway/impl/cardano-ledger-conway.cabal

@@ -88,9 +88,19 @@ library
     -Wincomplete-record-updates
     -Wincomplete-uni-patterns
     -Wpartial-fields
-    -Wredundant-constraints
     -Wunused-packages
 
+  -- ghc-9.14 gives redundant constraint warnings on some constraints
+  -- that are needed for earlier compilers.
+  if impl(ghc <9.14)
+    ghc-options:
+      -Wredundant-constraints
+
+  -- In ghc-9.14 the `pattern` namespace specifier is deprecated.
+  if impl(ghc >=9.14)
+    ghc-options:
+      -Wno-pattern-namespace-specifier
+
   build-depends:
     aeson >=2.2,
     base >=4.18 && <5,
@@ -212,9 +222,19 @@ library testlib
     -Wincomplete-record-updates
     -Wincomplete-uni-patterns
     -Wpartial-fields
-    -Wredundant-constraints
     -Wunused-packages
 
+  -- ghc-9.14 gives redundant constraint warnings on some constraints
+  -- that are needed for earlier compilers.
+  if impl(ghc <9.14)
+    ghc-options:
+      -Wredundant-constraints
+
+  -- In ghc-9.14 the `pattern` namespace specifier is deprecated.
+  if impl(ghc >=9.14)
+    ghc-options:
+      -Wno-pattern-namespace-specifier
+
   build-depends:
     FailT,
     ImpSpec,

eras/conway/impl/src/Cardano/Ledger/Conway/Governance/Proposals.hs

@@ -716,11 +716,11 @@ toPTree (ChildParent childParent) root (PGraph fullGraph) = do
     childToTree parent child (!graph, !acc) =
       case Map.lookup child graph of
         Nothing -> Left $ "Cannot find the node: " ++ show child
-        Just edges -> do
-          unless (peParent edges == parent) $
+        Just es -> do
+          unless (peParent es == parent) $
             Left $
               "Incorrect parent: "
-                ++ show (peParent edges)
+                ++ show (peParent es)
                 ++ " listed for the node: "
                 ++ show child
           case Map.lookup child childParent of
@@ -738,7 +738,7 @@ toPTree (ChildParent childParent) root (PGraph fullGraph) = do
           (graph', !subTree) <-
             -- Deleting the child from the graph ensures that every node except the root
             -- appears exactly once in the graph.
-            nodeToTree (SJust child) (peChildren edges) (Map.delete child graph)
+            nodeToTree (SJust child) (peChildren es) (Map.delete child graph)
           pure (graph', subTree : acc)
 
 -- | Verify invariant after addition of GovActionState to Proposals. Will print the state

eras/dijkstra/impl/cardano-ledger-dijkstra.cabal

@@ -87,9 +87,19 @@ library
     -Wincomplete-record-updates
     -Wincomplete-uni-patterns
     -Wpartial-fields
-    -Wredundant-constraints
     -Wunused-packages
 
+  -- ghc-9.14 gives redundant constraint warnings on some constraints
+  -- that are needed for earlier compilers.
+  if impl(ghc <9.14)
+    ghc-options:
+      -Wredundant-constraints
+
+  -- In ghc-9.14 the `pattern` namespace specifier is deprecated.
+  if impl(ghc >=9.14)
+    ghc-options:
+      -Wno-pattern-namespace-specifier
+
   build-depends:
     FailT,
     aeson,
@@ -147,9 +157,19 @@ library testlib
     -Wincomplete-record-updates
     -Wincomplete-uni-patterns
     -Wpartial-fields
-    -Wredundant-constraints
     -Wunused-packages
 
+  -- ghc-9.14 gives redundant constraint warnings on some constraints
+  -- that are needed for earlier compilers.
+  if impl(ghc <9.14)
+    ghc-options:
+      -Wredundant-constraints
+
+  -- In ghc-9.14 the `pattern` namespace specifier is deprecated.
+  if impl(ghc >=9.14)
+    ghc-options:
+      -Wno-pattern-namespace-specifier
+
   build-depends:
     base,
     bytestring,