Support ghc 9.14 (#7335)

* cabal.project: Update index-states
* plutus-core: Remove lower bound on cardano-crypto-class dep
* Support ghc-9.14
* Nix updates

Author: erikd

cabal.project

@@ -14,9 +14,9 @@ repository cardano-haskell-packages
 -- update either of these.
 index-state:
   -- Bump both the following dates if you need newer packages from Hackage
-  , hackage.haskell.org 2025-09-21T21:31:06Z
+  , hackage.haskell.org 2026-02-17T00:47:24Z
   -- Bump this if you need newer packages from CHaP
-  , cardano-haskell-packages 2026-02-11T11:49:13Z
+  , cardano-haskell-packages 2026-02-13T00:00:04Z
 
 packages: cardano-constitution
           plutus-benchmark
@@ -88,3 +88,75 @@ allow-newer:
 -- https://github.com/IntersectMBO/plutus/pull/7236
 constraints: setup.optparse-applicative >=0.19.0.0
 allow-newer: turtle:optparse-applicative
+
+if impl (ghc >= 9.14)
+  -- https://github.com/snowleopard/alga/issues/322
+  source-repository-package
+    type: git
+    location: https://github.com/snowleopard/alga/
+    tag: d4e43fb42db05413459fb2df493361d5a666588a
+
+if impl (ghc >= 9.14)
+  constraints:
+    , brick >= 2.10
+    , quickcheck-instances >= 0.4
+    , string-interpolate >= 0.3
+
+  allow-newer:
+    -- https://github.com/IntersectMBO/plutus/issues/7597
+    , aeson:OneTuple
+    , aeson:containers
+    , aeson:data-fix
+    , aeson:indexed-traversable
+    , aeson:QuickCheck
+    , aeson:scientific
+    , aeson:semialign
+    , aeson:template-haskell
+    , aeson:text-iso8601
+    , aeson:these
+    , aeson:time
+    , aeson:time-compat
+    , binary-orphans:base
+    , boring:base
+    , cborg:base
+    , cborg:containers
+    , cborg:ghc-prim
+    , config-ini:containers
+    , hedgehog-fn:hedgehog
+    , hedgehog-quickcheck:QuickCheck
+    , indexed-traversable:base
+    , indexed-traversable:containers
+    , indexed-traversable-instances:base
+    , microstache:base
+    , microstache:containers
+    , quickcheck-instances:QuickCheck
+    , quickcheck-instances:base
+    , serialise:base
+    , serialise:containers
+    , serialise:time
+    , semialign:base
+    , semialign:containers
+    , these:base
+    , string-interpolate:template-haskell
+    , tree-diff:base
+    , tree-diff:containers
+    , tree-diff:QuickCheck
+    , turtle:containers
+    , turtle:time
+    , universe-base:base
+    , universe-base:containers
+    , uuid-types:bytestring
+    , uuid-types:template-haskell
+    , with-utf8:base
+    , bin:base
+    , bin:QuickCheck
+    , dec:base
+    , fin:base
+    , fin:QuickCheck
+    , ral:base
+    , ral:QuickCheck
+    , constraints-extras:template-haskell
+    , dependent-map:containers
+    , dictionary-sharing:containers
+    , ordered-containers:containers
+    , nonempty-vector:base

flake.lock

@@ -20,7 +20,7 @@ import Data.List.NonEmpty qualified as BI
 
 import Numeric.Natural (Natural)
 
-#if MIN_VERSION_base(4,8,0) && MIN_VERSION_QuickCheck(2,10,0)
+#if MIN_VERSION_QuickCheck(2,10,0) && ! MIN_VERSION_QuickCheck(2,17,0)
 instance Arbitrary a => Arbitrary (BI.NonEmpty a) where
   arbitrary = BI.fromList . getNonEmpty <$> (arbitrary :: Gen (NonEmptyList a))
   shrink xs = BI.fromList <$> shrink (BI.toList xs)

plutus-core/flat/test/Test/Data/Arbitrary.hs

@@ -308,7 +308,7 @@ library
     , base64-bytestring
     , bimap
     , bytestring
-    , cardano-crypto-class        ^>=2.3
+    , cardano-crypto-class
     , cassava
     , cborg
     , composition-prelude         >=1.1.0.1
@@ -738,7 +738,7 @@ executable plutus
     , singletons-th
     , text
     , text-zipper
-    , vty                    ^>=6.2
+    , vty                    ^>=6.5
     , vty-crossplatform      ^>=0.4
 
   ghc-options:        -O2 -threaded -rtsopts -with-rtsopts=-N

plutus-core/plutus-core.cabal

@@ -37,10 +37,15 @@ common lang
   -- -fobject-code -fno-ignore-interface-pragmas and -fno-omit-interface-pragmas
   ghc-options:
     -Wall -Wnoncanonical-monad-instances -Wincomplete-uni-patterns
-    -Wincomplete-record-updates -Wredundant-constraints -Widentities
-    -Wunused-packages -Wmissing-deriving-strategies -fobject-code
+    -Wincomplete-record-updates -Widentities -Wunused-packages
+    -Wmissing-deriving-strategies -fobject-code
     -fno-ignore-interface-pragmas -fno-omit-interface-pragmas
 
+  -- 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
+
 library
   import:             lang
   hs-source-dirs:     src