git.iko.soy/typeable/generic-arbitrary
on master help sign in
swap
ef7cead22 ahead, 0 behind
10 files changed+96−15
since splitsnapshots
unifiedsplit
.github/workflows/haskell-ci.yml+3−1 CHANGELOG.md+16 generic-arbitrary.cabal+16−12 ghc-9.4.3.yaml+1 ghc-9.4.3.yaml.lock+12 ghc-9.8.1.yaml+1 ghc-9.8.1.yaml.lock+12 src/Test/QuickCheck/Arbitrary/Generic.hs+9−1 test/EnumTest.hs+24 test/RecursiveTest.hs+2−1
.github/workflows/haskell-ci.yml+3−1
@@ -1,5 +1,5 @@
11name: Haskell-CI
2−on: [push]
2+on: [push, pull_request]
33jobs:
44 linux:
55 name: GHC-${{ matrix.ghc-version }}
@@ -11,6 +11,8 @@ jobs:
1111 - 8.10.7
1212 - 9.0.2
1313 - 9.2.4
14+ - 9.4.3
15+ - 9.8.1
1416 steps:
1517 - uses: actions/checkout@v3
1618 - uses: haskell/actions/setup@v2
CHANGELOG.md+16
@@ -1,3 +1,19 @@
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+
11+1.0.1
12+-----
13+
14+* Compillability by GHC-9.2.4
15+* Fix cabal `tested-with` field
16+
1171.0.0
218-----
319
generic-arbitrary.cabal+16−12
@@ -1,5 +1,5 @@
11name: generic-arbitrary
2−version: 1.0.0
2+version: 1.0.1.2
33synopsis: Generic implementation for QuickCheck's Arbitrary
44description:
55 Generic implementations of methods of the 'Arbitrary' class from the
@@ -16,9 +16,13 @@ category: Generic
1616build-type: Simple
1717extra-source-files: CHANGELOG.md
1818 , README.md
19−cabal-version: 1.22
20−tested-with: GHC == 8.10.7
21− , GHC == 9.0.2
19+cabal-version: 2.0
20+tested-with: GHC == 8.6.5
21+ , GHC == 8.10.7
22+ , GHC == 9.0.2
23+ , GHC == 9.2.4
24+ , GHC == 9.4.3
25+ , GHC == 9.8.1
2226
2327source-repository head
2428 type: git
@@ -27,7 +31,7 @@ source-repository head
2731library
2832 exposed-modules: Test.QuickCheck.Arbitrary.Generic
2933 build-depends: base >=4.8 && <5
30− , QuickCheck
34+ , QuickCheck >=2.8
3135 hs-source-dirs: src
3236 default-language: Haskell2010
3337 default-extensions: AllowAmbiguousTypes
@@ -55,15 +59,16 @@ test-suite test
5559 hs-source-dirs: test
5660 main-is: Test.hs
5761 default-language: Haskell2010
58− build-depends: base >= 4.8 && <5
59− , QuickCheck
62+ build-depends: base >=4.12 && <5
63+ , QuickCheck >=2.10
6064 , deepseq
6165 , generic-arbitrary
62− , tasty
63− , tasty-discover
64− , tasty-hunit
66+ , tasty >=1.4.2 || <1.4.0.1
67+ , tasty-discover >= 2.0.0
68+ , tasty-hunit >= 0.9.2
6569 , tasty-quickcheck
6670 other-modules: Auxiliary
71+ , EnumTest
6772 , LimitationDemo
6873 , NoTypecheckTest
6974 , ParametersTest
@@ -89,9 +94,8 @@ test-suite test
8994 , TypeSynonymInstances
9095 , UndecidableInstances
9196 , ViewPatterns
92− build-tools: tasty-discover
97+ build-tool-depends: tasty-discover:tasty-discover
9398 ghc-options: -Wall
9499 -threaded
95100 -rtsopts
96101 "-with-rtsopts=-N -A64m -qb0 -n4m -T -I1"
97− default-extensions: DeriveGeneric
ghc-9.4.3.yamlnew file+1
@@ -0,0 +1 @@
1+resolver: nightly-2022-12-26
ghc-9.4.3.yaml.locknew file+12
@@ -0,0 +1,12 @@
1+# This file was autogenerated by Stack.
2+# You should not edit this file by hand.
3+# For more information, please see the documentation at:
4+# https://docs.haskellstack.org/en/stable/lock_files
5+
6+packages: []
7+snapshots:
8+- completed:
9+ sha256: bbe432b2abd6d866aa37f65a8129a5f858b7c6eaae9464f8bc2814ce92ac2d15
10+ size: 573163
11+ url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/nightly/2022/12/26.yaml
12+ original: nightly-2022-12-26
ghc-9.8.1.yamlnew file+1
@@ -0,0 +1 @@
1+resolver: nightly-2024-01-12
ghc-9.8.1.yaml.locknew file+12
@@ -0,0 +1,12 @@
1+# This file was autogenerated by Stack.
2+# You should not edit this file by hand.
3+# For more information, please see the documentation at:
4+# https://docs.haskellstack.org/en/stable/lock_files
5+
6+packages: []
7+snapshots:
8+- completed:
9+ sha256: 8f06e87750f95bc8620644ea22344ad023c3c5aa6efa854747aa70093898fd79
10+ size: 556465
11+ url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/nightly/2024/1/12.yaml
12+ original: nightly-2024-01-12
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.hsnew file+24
@@ -0,0 +1,24 @@
1+#if __GLASGOW_HASKELL__ >= 806 && __GLASGOW_HASKELL__ <= 900
2+{-# OPTIONS_GHC -fconstraint-solver-iterations=5 #-}
3+#elif __GLASGOW_HASKELL__ >= 902
4+{-# OPTIONS_GHC -fconstraint-solver-iterations=6 #-}
5+#endif
6+
7+
8+
9+module EnumTest where
10+
11+import Control.DeepSeq
12+import GHC.Generics
13+import Test.QuickCheck
14+import Test.QuickCheck.Arbitrary.Generic
15+
16+data Country = PL | GB | RU | RO | CZ | HR | SK | DE | NL | ES | BR
17+ deriving (Generic, NFData, Show)
18+
19+instance Arbitrary Country where
20+ arbitrary = genericArbitrary
21+ shrink = genericShrink
22+
23+prop_CountryTest :: Country -> Property
24+prop_CountryTest = total
test/RecursiveTest.hs+2−1
@@ -1,13 +1,14 @@
11{-# LANGUAGE DerivingStrategies #-}
22{-# LANGUAGE DerivingVia #-}
33{-# LANGUAGE DeriveAnyClass #-}
4+{-# OPTIONS_GHC -fconstraint-solver-iterations=5 #-} -- GHC-9.2.4
45
56-- | Testing that our Arbitrary instances do not get stuck and respect the
67-- `size` parameter while generating.
78
89module RecursiveTest where
910
10−import Control.DeepSeq
11+import Control.DeepSeq (NFData)
1112import GHC.Generics (Generic)
1213import Test.QuickCheck
1314import Test.QuickCheck.Arbitrary.Generic