Remove dependency on QuickCheck 2.16 + remove allow-newer QuickCheck (#7295)

* Remove dependency on QuickCheck 2.16 + remove allow-newer QuickCheck

* Fix CI warning

Author: ana-pantilie

cabal.project

@@ -16,7 +16,7 @@ index-state:
   -- Bump both the following dates if you need newer packages from Hackage
   , hackage.haskell.org 2025-07-16T09:24:19Z
   -- Bump this if you need newer packages from CHaP
-  , cardano-haskell-packages 2025-07-02T14:54:39Z
+  , cardano-haskell-packages 2025-08-27T16:08:15Z
 
 program-options
   ghc-options: -Werror
@@ -88,12 +88,6 @@ allow-newer:
   , inline-r:containers
   , inline-r:primitive
 
-allow-newer:
-  -- https://github.com/phadej/vec/issues/121
-  ral:QuickCheck,
-  fin:QuickCheck,
-  bin:QuickCheck,
-
 -- https://github.com/IntersectMBO/plutus/pull/7236
 constraints: setup.optparse-applicative >=0.19.0.0
 allow-newer: turtle:optparse-applicative

flake.lock

@@ -9,5 +9,26 @@ import inputs.nixpkgs {
     inputs.haskell-nix.overlay
     inputs.iohk-nix.overlays.haskell-nix-crypto
     inputs.iohk-nix.overlays.haskell-nix-extra
+
+    # Disable the libsigsegv test suite on x86_64-darwin.
+    #
+    # On Apple Silicon machines using older Rosetta releases,
+    # libsigsegv's stack overflow tests fail with "Abort trap"
+    # due to incomplete emulation of synchronous exceptions.
+    #
+    # Newer Rosetta versions (e.g. darwin24.6.0) do not exhibit this issue,
+    # so this workaround can be removed once those versions are widespread.
+    #
+    # This package is a transitive dependency of TeX Live,
+    # so without this overlay TeX Live cannot be built with affected
+    # Rosetta versions.
+    #
+    # TODO: Remove this once `ci.iog.io` macOS builders are updated to a
+    # newer version of macOS.
+    (final: prev: {
+      libsigsegv = prev.libsigsegv.overrideAttrs (old: {
+        doCheck = old.doCheck && prev.stdenv.hostPlatform.system != "x86_64-darwin";
+      });
+    })
   ];
 }

nix/pkgs.nix

@@ -832,7 +832,7 @@ library plutus-core-testlib
     , pretty-simple
     , prettyprinter               >=1.1.0.1
     , prettyprinter-configurable
-    , QuickCheck                  >=2.16
+    , QuickCheck
     , quickcheck-instances
     , quickcheck-transformer
     , size-based

plutus-core/plutus-core.cabal

@@ -30,7 +30,7 @@ import Data.Text (Text)
 import Data.Text qualified as Text
 import Data.Text.Encoding qualified as Text
 import Data.Vector.Strict qualified as Strict
-import Test.QuickCheck hiding (Some (..))
+import Test.QuickCheck
 import Test.QuickCheck.Instances.ByteString ()
 import Test.QuickCheck.Instances.Vector ()
 import Universe

plutus-core/testlib/PlutusCore/Generators/QuickCheck/Builtin.hs

@@ -23,9 +23,9 @@ import Data.ByteString as BS (empty, length, pack)
 import Data.List as List (foldl', genericReplicate, length, nub)
 import Text.Printf (printf)
 
-import Test.QuickCheck hiding (Some (..))
+import Test.QuickCheck
 import Test.Tasty
-import Test.Tasty.QuickCheck hiding (Some (..))
+import Test.Tasty.QuickCheck
 
 -- QuickCheck utilities
 

plutus-core/untyped-plutus-core/testlib/Evaluation/Builtins/BLS12_381.hs

@@ -22,7 +22,7 @@ import Data.Maybe
 import Data.SatInt
 import Test.QuickCheck.Gen
 import Test.Tasty
-import Test.Tasty.QuickCheck hiding (Some (..))
+import Test.Tasty.QuickCheck
 
 deriving newtype instance Foldable NonEmptyList  -- QuickCheck...