Make plutus compile with both QuickCheck 2.15.. and 2.16 (#7314)

Author: ana-pantilie

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

@@ -7,6 +7,7 @@
 {-# LANGUAGE TypeApplications  #-}
 
 {-# OPTIONS_GHC -fno-warn-orphans #-}
+{-# OPTIONS_GHC -Wno-dodgy-imports #-}
 
 module PlutusCore.Generators.QuickCheck.Builtin where
 
@@ -32,7 +33,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
+import Test.QuickCheck hiding (Some (..))
 import Test.QuickCheck.Instances.ByteString ()
 import Test.QuickCheck.Instances.Vector ()
 import Universe

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

@@ -4,6 +4,8 @@
 {-# LANGUAGE OverloadedStrings   #-}
 {-# LANGUAGE TypeApplications    #-}
 
+{-# OPTIONS_GHC -Wno-dodgy-imports #-}
+
 {- | Property tests for the BLS12-381 builtins -}
 module Evaluation.Builtins.BLS12_381
 where
@@ -23,9 +25,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

@@ -3,6 +3,7 @@
 {-# LANGUAGE TypeApplications  #-}
 
 {-# OPTIONS_GHC -fno-warn-orphans #-}
+{-# OPTIONS_GHC -Wno-dodgy-imports #-}
 
 module Evaluation.Builtins.Costing where
 
@@ -22,7 +23,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...