master..48878ef · typeable/generic-arbitrary

CHANGELOG.md−10

since splitsnapshots

unifiedsplit

@@ -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−

111.0.1

11.0.1

12-----

2-----

13

3

generic-arbitrary.cabal+10−9

@@ -1,5 +1,5 @@

1name: generic-arbitrary

2−version: 1.0.1.2

2+version: 1.0.1

3synopsis: Generic implementation for QuickCheck's Arbitrary

4description:

5 Generic implementations of methods of the 'Arbitrary' class from the

@@ -16,7 +16,7 @@ category: Generic

16build-type: Simple

17extra-source-files: CHANGELOG.md

18 , README.md

19−cabal-version: 2.0

19+cabal-version: 1.22

20tested-with: GHC == 8.6.5

21 , GHC == 8.10.7

22 , GHC == 9.0.2

@@ -31,7 +31,7 @@ source-repository head

31library

32 exposed-modules: Test.QuickCheck.Arbitrary.Generic

33 build-depends: base >=4.8 && <5

34− , QuickCheck >=2.8

34+ , QuickCheck

35 hs-source-dirs: src

36 default-language: Haskell2010

37 default-extensions: AllowAmbiguousTypes

@@ -59,13 +59,13 @@ test-suite test

59 hs-source-dirs: test

60 main-is: Test.hs

61 default-language: Haskell2010

62− build-depends: base >=4.12 && <5

62+ build-depends: base >= 4.8 && <5

63− , QuickCheck >=2.10

63+ , QuickCheck

64 , deepseq

65 , generic-arbitrary

66− , tasty >=1.4.2 || <1.4.0.1

66+ , tasty

67− , tasty-discover >= 2.0.0

67+ , tasty-discover

68− , tasty-hunit >= 0.9.2

68+ , tasty-hunit

69 , tasty-quickcheck

70 other-modules: Auxiliary

71 , EnumTest

@@ -94,8 +94,9 @@ test-suite test

94 , TypeSynonymInstances

95 , UndecidableInstances

96 , ViewPatterns

97− build-tool-depends: tasty-discover:tasty-discover

97+ build-tools: tasty-discover

98 ghc-options: -Wall

99 -threaded

100 -rtsopts

101 "-with-rtsopts=-N -A64m -qb0 -n4m -T -I1"

102+ 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−

8{-|

1{-|

9

2

10This module is a generic implementation of the 'arbitrary' method. Example

3This module is a generic implementation of the 'arbitrary' method. Example

@@ -153,14 +146,13 @@ module Test.QuickCheck.Arbitrary.Generic

153 ) where

146 ) where

154

147

155import Control.Applicative

148import Control.Applicative

149+import Data.Coerce (coerce)

156import Data.Proxy

150import Data.Proxy

157import Data.Type.Bool

151import Data.Type.Bool

158import GHC.Generics as G

152import GHC.Generics as G

159import GHC.TypeLits

153import GHC.TypeLits

160−import Prelude

161import Test.QuickCheck as QC

154import Test.QuickCheck as QC

162#if MIN_VERSION_QuickCheck(2, 14, 0)

155#if MIN_VERSION_QuickCheck(2, 14, 0)

163−import Data.Coerce (coerce)

164import Test.QuickCheck.Arbitrary (GSubterms, RecursivelyShrink)

156import Test.QuickCheck.Arbitrary (GSubterms, RecursivelyShrink)

165

157

166

158

test/EnumTest.hs+1−1

@@ -1,6 +1,6 @@

1#if __GLASGOW_HASKELL__ >= 806 && __GLASGOW_HASKELL__ <= 900

2{-# OPTIONS_GHC -fconstraint-solver-iterations=5 #-}

3−#elif __GLASGOW_HASKELL__ >= 902

3+#elif __GLASGOW_HASKELL__ >= 902 && __GLASGOW_HASKELL__ <= 908

4{-# OPTIONS_GHC -fconstraint-solver-iterations=6 #-}

5#endif

6

test/RecursiveTest.hs+1−1

@@ -8,7 +8,7 @@

8

9module RecursiveTest where

10

11−import Control.DeepSeq (NFData)

11+import Control.DeepSeq hiding (Unit)

12import GHC.Generics (Generic)

13import Test.QuickCheck

14import Test.QuickCheck.Arbitrary.Generic