Added QuickCheck's constraints

Author: coot

cabal.project

@@ -87,3 +87,6 @@ allow-newer:
 --   flags: +force-build
 -- allow-newer: *:plutus-ledger-api
 -- allow-older: *:nothunks
+
+allow-newer:
+  *:QuickCheck

plutus-core/plutus-core.cabal

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

plutus-core/untyped-plutus-core/testlib/Evaluation/Builtins/BLS12_381.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
+import Test.QuickCheck hiding (Some (..))
 import Test.Tasty
-import Test.Tasty.QuickCheck
+import Test.Tasty.QuickCheck hiding (Some (..))
 
 -- QuickCheck utilities
 

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

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