git.iko.soy/typeable/generic-arbitrary
on master help sign in
Merge pull request #22 from typeable/warnings

Fix dependency version bounds and warnings

commit38e5e78cc64d02f3d9ecd5ea916a7ca2ec25654b authormniip <mniip@users.noreply.github.com> dateWed 16 Apr 2025, 10:14 (1 year ago) parenta762f86edffa83
4 files changed+19−12
generic-arbitrary.cabal+8−9 src/Test/QuickCheck/Arbitrary/Generic.hs+9−1 test/EnumTest.hs+1−1 test/RecursiveTest.hs+1−1
generic-arbitrary.cabal+8−9
@@ -16,7 +16,7 @@ category: Generic
1616build-type: Simple
1717extra-source-files: CHANGELOG.md
1818 , README.md
19−cabal-version: 1.22
19+cabal-version: 2.0
2020tested-with: GHC == 8.6.5
2121 , GHC == 8.10.7
2222 , GHC == 9.0.2
@@ -31,7 +31,7 @@ source-repository head
3131library
3232 exposed-modules: Test.QuickCheck.Arbitrary.Generic
3333 build-depends: base >=4.8 && <5
34− , QuickCheck
34+ , QuickCheck >=2.8
3535 hs-source-dirs: src
3636 default-language: Haskell2010
3737 default-extensions: AllowAmbiguousTypes
@@ -59,13 +59,13 @@ test-suite test
5959 hs-source-dirs: test
6060 main-is: Test.hs
6161 default-language: Haskell2010
62− build-depends: base >= 4.8 && <5
63− , QuickCheck
62+ build-depends: base >=4.12 && <5
63+ , QuickCheck >=2.10
6464 , deepseq
6565 , generic-arbitrary
66− , tasty
67− , tasty-discover
68− , tasty-hunit
66+ , tasty >=1.4.2 || <1.4.0.1
67+ , tasty-discover >= 2.0.0
68+ , tasty-hunit >= 0.9.2
6969 , tasty-quickcheck
7070 other-modules: Auxiliary
7171 , EnumTest
@@ -94,9 +94,8 @@ test-suite test
9494 , TypeSynonymInstances
9595 , UndecidableInstances
9696 , ViewPatterns
97− build-tools: tasty-discover
97+ build-tool-depends: tasty-discover:tasty-discover
9898 ghc-options: -Wall
9999 -threaded
100100 -rtsopts
101101 "-with-rtsopts=-N -A64m -qb0 -n4m -T -I1"
102− default-extensions: DeriveGeneric
src/Test/QuickCheck/Arbitrary/Generic.hs+9−1
@@ -1,3 +1,10 @@
1+#if __GLASGOW_HASKELL__ >= 806
2+{-# OPTIONS_GHC -Wno-star-is-type #-}
3+#endif
4+#if __GLASGOW_HASKELL__ >= 800
5+{-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-}
6+#endif
7+
18{-|
29
310This module is a generic implementation of the 'arbitrary' method. Example
@@ -146,13 +153,14 @@ module Test.QuickCheck.Arbitrary.Generic
146153 ) where
147154
148155import Control.Applicative
149−import Data.Coerce (coerce)
150156import Data.Proxy
151157import Data.Type.Bool
152158import GHC.Generics as G
153159import GHC.TypeLits
160+import Prelude
154161import Test.QuickCheck as QC
155162#if MIN_VERSION_QuickCheck(2, 14, 0)
163+import Data.Coerce (coerce)
156164import Test.QuickCheck.Arbitrary (GSubterms, RecursivelyShrink)
157165
158166
test/EnumTest.hs+1−1
@@ -1,6 +1,6 @@
11#if __GLASGOW_HASKELL__ >= 806 && __GLASGOW_HASKELL__ <= 900
22{-# OPTIONS_GHC -fconstraint-solver-iterations=5 #-}
3−#elif __GLASGOW_HASKELL__ >= 902 && __GLASGOW_HASKELL__ <= 908
3+#elif __GLASGOW_HASKELL__ >= 902
44{-# OPTIONS_GHC -fconstraint-solver-iterations=6 #-}
55#endif
66
test/RecursiveTest.hs+1−1
@@ -8,7 +8,7 @@
88
99module RecursiveTest where
1010
11−import Control.DeepSeq hiding (Unit)
11+import Control.DeepSeq (NFData)
1212import GHC.Generics (Generic)
1313import Test.QuickCheck
1414import Test.QuickCheck.Arbitrary.Generic