git.iko.soy/typeable/generic-arbitrary
on master help sign in
Merge pull request #22 from typeable/warnings
38e5e78mniip
generic-arbitrary.cabal+8−9
compare with master
unifiedsplit
@@ -16,7 +16,7 @@ category: Generic
16build-type: Simple
16build-type: Simple
17extra-source-files: CHANGELOG.md
17extra-source-files: CHANGELOG.md
18 , README.md
18 , README.md
19−cabal-version: 1.22
19+cabal-version: 2.0
20tested-with: GHC == 8.6.5
20tested-with: GHC == 8.6.5
21 , GHC == 8.10.7
21 , GHC == 8.10.7
22 , GHC == 9.0.2
22 , GHC == 9.0.2
@@ -31,7 +31,7 @@ source-repository head
31library
31library
32 exposed-modules: Test.QuickCheck.Arbitrary.Generic
32 exposed-modules: Test.QuickCheck.Arbitrary.Generic
33 build-depends: base >=4.8 && <5
33 build-depends: base >=4.8 && <5
34− , QuickCheck
34+ , QuickCheck >=2.8
35 hs-source-dirs: src
35 hs-source-dirs: src
36 default-language: Haskell2010
36 default-language: Haskell2010
37 default-extensions: AllowAmbiguousTypes
37 default-extensions: AllowAmbiguousTypes
@@ -59,13 +59,13 @@ test-suite test
59 hs-source-dirs: test
59 hs-source-dirs: test
60 main-is: Test.hs
60 main-is: Test.hs
61 default-language: Haskell2010
61 default-language: Haskell2010
62− build-depends: base >= 4.8 && <5
62+ build-depends: base >=4.12 && <5
63− , QuickCheck
63+ , QuickCheck >=2.10
64 , deepseq
64 , deepseq
65 , generic-arbitrary
65 , generic-arbitrary
66− , tasty
66+ , tasty >=1.4.2 || <1.4.0.1
67− , tasty-discover
67+ , tasty-discover >= 2.0.0
68− , tasty-hunit
68+ , tasty-hunit >= 0.9.2
69 , tasty-quickcheck
69 , tasty-quickcheck
70 other-modules: Auxiliary
70 other-modules: Auxiliary
71 , EnumTest
71 , EnumTest
@@ -94,9 +94,8 @@ test-suite test
94 , TypeSynonymInstances
94 , TypeSynonymInstances
95 , UndecidableInstances
95 , UndecidableInstances
96 , ViewPatterns
96 , ViewPatterns
97− build-tools: tasty-discover
97+ build-tool-depends: tasty-discover:tasty-discover
98 ghc-options: -Wall
98 ghc-options: -Wall
99 -threaded
99 -threaded
100 -rtsopts
100 -rtsopts
101 "-with-rtsopts=-N -A64m -qb0 -n4m -T -I1"
101 "-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+
1{-|
8{-|
2
9
3This module is a generic implementation of the 'arbitrary' method. Example
10This module is a generic implementation of the 'arbitrary' method. Example
@@ -146,13 +153,14 @@ module Test.QuickCheck.Arbitrary.Generic
146 ) where
153 ) where
147
154
148import Control.Applicative
155import Control.Applicative
149−import Data.Coerce (coerce)
150import Data.Proxy
156import Data.Proxy
151import Data.Type.Bool
157import Data.Type.Bool
152import GHC.Generics as G
158import GHC.Generics as G
153import GHC.TypeLits
159import GHC.TypeLits
160+import Prelude
154import Test.QuickCheck as QC
161import Test.QuickCheck as QC
155#if MIN_VERSION_QuickCheck(2, 14, 0)
162#if MIN_VERSION_QuickCheck(2, 14, 0)
163+import Data.Coerce (coerce)
156import Test.QuickCheck.Arbitrary (GSubterms, RecursivelyShrink)
164import Test.QuickCheck.Arbitrary (GSubterms, RecursivelyShrink)
157
165
158
166
test/EnumTest.hs+1−1
@@ -1,6 +1,6 @@
1#if __GLASGOW_HASKELL__ >= 806 && __GLASGOW_HASKELL__ <= 900
1#if __GLASGOW_HASKELL__ >= 806 && __GLASGOW_HASKELL__ <= 900
2{-# OPTIONS_GHC -fconstraint-solver-iterations=5 #-}
2{-# OPTIONS_GHC -fconstraint-solver-iterations=5 #-}
3−#elif __GLASGOW_HASKELL__ >= 902 && __GLASGOW_HASKELL__ <= 908
3+#elif __GLASGOW_HASKELL__ >= 902
4{-# OPTIONS_GHC -fconstraint-solver-iterations=6 #-}
4{-# OPTIONS_GHC -fconstraint-solver-iterations=6 #-}
5#endif
5#endif
6
6
test/RecursiveTest.hs+1−1
@@ -8,7 +8,7 @@
8
8
9module RecursiveTest where
9module RecursiveTest where
10
10
11−import Control.DeepSeq hiding (Unit)
11+import Control.DeepSeq (NFData)
12import GHC.Generics (Generic)
12import GHC.Generics (Generic)
13import Test.QuickCheck
13import Test.QuickCheck
14import Test.QuickCheck.Arbitrary.Generic
14import Test.QuickCheck.Arbitrary.Generic