git.iko.soy/typeable/generic-arbitrary
on bd33484 help sign in
ef7cead
swap
0 ahead, 9 behind
5 files changed+13−32
since splitsnapshots
unifiedsplit
CHANGELOG.md−10 generic-arbitrary.cabal+10−11 src/Test/QuickCheck/Arbitrary/Generic.hs+1−9 test/EnumTest.hs+1−1 test/RecursiveTest.hs+1−1
CHANGELOG.md−10
@@ -1,13 +1,3 @@
1−1.0.1.2
2−-------
3−
4−* Fix dependency bounds (including retroactively), and compilation with warnings.
5−
6−1.0.1.1
7−-------
8−
9−* Fix compilation with GHC 9.8.3
10−
1111.0.1
122-----
133
generic-arbitrary.cabal+10−11
@@ -1,5 +1,5 @@
11name: generic-arbitrary
2−version: 1.0.1.2
2+version: 1.0.1
33synopsis: Generic implementation for QuickCheck's Arbitrary
44description:
55 Generic implementations of methods of the 'Arbitrary' class from the
@@ -16,13 +16,11 @@ category: Generic
1616build-type: Simple
1717extra-source-files: CHANGELOG.md
1818 , README.md
19−cabal-version: 2.0
19+cabal-version: 1.22
2020tested-with: GHC == 8.6.5
2121 , GHC == 8.10.7
2222 , GHC == 9.0.2
2323 , GHC == 9.2.4
24− , GHC == 9.4.3
25− , GHC == 9.8.1
2624
2725source-repository head
2826 type: git
@@ -31,7 +29,7 @@ source-repository head
3129library
3230 exposed-modules: Test.QuickCheck.Arbitrary.Generic
3331 build-depends: base >=4.8 && <5
34− , QuickCheck >=2.8
32+ , QuickCheck
3533 hs-source-dirs: src
3634 default-language: Haskell2010
3735 default-extensions: AllowAmbiguousTypes
@@ -59,13 +57,13 @@ test-suite test
5957 hs-source-dirs: test
6058 main-is: Test.hs
6159 default-language: Haskell2010
62− build-depends: base >=4.12 && <5
63− , QuickCheck >=2.10
60+ build-depends: base >= 4.8 && <5
61+ , QuickCheck
6462 , deepseq
6563 , generic-arbitrary
66− , tasty >=1.4.2 || <1.4.0.1
67− , tasty-discover >= 2.0.0
68− , tasty-hunit >= 0.9.2
64+ , tasty
65+ , tasty-discover
66+ , tasty-hunit
6967 , tasty-quickcheck
7068 other-modules: Auxiliary
7169 , EnumTest
@@ -94,8 +92,9 @@ test-suite test
9492 , TypeSynonymInstances
9593 , UndecidableInstances
9694 , ViewPatterns
97− build-tool-depends: tasty-discover:tasty-discover
95+ build-tools: tasty-discover
9896 ghc-options: -Wall
9997 -threaded
10098 -rtsopts
10199 "-with-rtsopts=-N -A64m -qb0 -n4m -T -I1"
100+ default-extensions: DeriveGeneric
src/Test/QuickCheck/Arbitrary/Generic.hs+1−9
@@ -1,10 +1,3 @@
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−
81{-|
92
103This module is a generic implementation of the 'arbitrary' method. Example
@@ -153,14 +146,13 @@ module Test.QuickCheck.Arbitrary.Generic
153146 ) where
154147
155148import Control.Applicative
149+import Data.Coerce (coerce)
156150import Data.Proxy
157151import Data.Type.Bool
158152import GHC.Generics as G
159153import GHC.TypeLits
160−import Prelude
161154import Test.QuickCheck as QC
162155#if MIN_VERSION_QuickCheck(2, 14, 0)
163−import Data.Coerce (coerce)
164156import Test.QuickCheck.Arbitrary (GSubterms, RecursivelyShrink)
165157
166158
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
3+#elif __GLASGOW_HASKELL__ >= 902 && __GLASGOW_HASKELL__ <= 908
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 (NFData)
11+import Control.DeepSeq hiding (Unit)
1212import GHC.Generics (Generic)
1313import Test.QuickCheck
1414import Test.QuickCheck.Arbitrary.Generic