adapt to old QuickCheck versions and use an old LTS in stack test

Author: MaximilianAlgehed

.github/workflows/haskell-ci.yml

@@ -58,7 +58,7 @@ jobs:
       with:
         enable-stack: true
         stack-version: latest
-        ghc-version: 9.10.3
+        ghc-version: 9.6.7
 
     - name: Cache
       id: cache
@@ -67,8 +67,8 @@ jobs:
         path: |
           ${{ steps.setup-haskell-stack.outputs.stack-root }}
           .stack-work
-        key: ${{ runner.os }}-lts-24-${{ github.sha }}
-        restore-keys: ${{ runner.os }}-lts-24
+        key: ${{ runner.os }}-stack-${{ github.sha }}
+        restore-keys: ${{ runner.os }}-stack
 
     - name: Test
       run: stack test --coverage
@@ -78,7 +78,7 @@ jobs:
         path: |
           ${{ steps.setup-haskell-stack.outputs.stack-root }}
           .stack-work
-        key: ${{ runner.os }}-lts-24-${{ github.sha }}
+        key: ${{ runner.os }}-stack-${{ github.sha }}
 
     - name: Upload coverage report
       env:

stack.yaml

@@ -1,4 +1,4 @@
-snapshot: lts-24.14
+snapshot: lts-22.44
 packages:
 - .
 system-ghc: true

stack.yaml.lock

@@ -6,7 +6,7 @@
 packages: []
 snapshots:
 - completed:
-    sha256: d49e388e3afe59fe7a7be6d658e4ba4beec586e6237adab1e4a15b57c1d8a10f
-    size: 726104
-    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/24/14.yaml
-  original: lts-24.14
+    sha256: 238fa745b64f91184f9aa518fe04bdde6552533d169b0da5256670df83a0f1a9
+    size: 721141
+    url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/44.yaml
+  original: lts-22.44

test/Constrained/Tests.hs

@@ -1,4 +1,5 @@
 {-# LANGUAGE AllowAmbiguousTypes #-}
+{-# LANGUAGE CPP #-}
 {-# LANGUAGE ConstraintKinds #-}
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE FlexibleContexts #-}
@@ -59,6 +60,15 @@ testAll = hspec $ tests False
 tests :: Bool -> Spec
 tests nightly =
   describe "constrained" . modifyMaxSuccess (\ms -> if nightly then ms * 10 else ms) $ do
+#if MIN_VERSION_QuickCheck(2, 16, 0)
+    testSpec "setOfPairLetSpec" setOfPairLetSpec
+    testSpec "setPair" setPair
+    testSpec "mapElemSpec" mapElemSpec
+#else
+    testSpecNoShrink "setOfPairLetSpec" setOfPairLetSpec
+    testSpecNoShrink "setPair" setPair
+    testSpecNoShrink "mapElemSpec" mapElemSpec
+#endif
     testSpec "complicatedEither" complicatedEither
     testSpec "pairCant" pairCant
     -- TODO: figure out why this doesn't shrink
@@ -70,7 +80,6 @@ tests nightly =
     testSpec "assertRealMultiple" assertRealMultiple
     testSpec "setSpec" setSpec
     testSpec "leqPair" leqPair
-    testSpec "setPair" setPair
     testSpecNoShrink "listEmpty" listEmpty
     testSpec "compositionalSpec" compositionalSpec
     testSpec "simplePairSpec" simplePairSpec
@@ -80,7 +89,6 @@ tests nightly =
     testSpec "maybeSpec" maybeSpec
     testSpecNoShrink "eitherSetSpec" eitherSetSpec
     testSpec "fooSpec" fooSpec
-    testSpec "mapElemSpec" mapElemSpec
     testSpec "mapElemKeySpec" mapElemKeySpec
     -- TODO: figure out why this doesn't shrink
     testSpecNoShrink "mapIsJust" mapIsJust
@@ -95,7 +103,6 @@ tests nightly =
     -- more detailed shrinking of `SuspendedSpec`s
     testSpecNoShrink "setPairSpec" setPairSpec
     testSpec "fixedSetSpec" fixedSetSpec
-    testSpec "setOfPairLetSpec" setOfPairLetSpec
     testSpecNoShrink "emptyEitherSpec" emptyEitherSpec
     testSpecNoShrink "emptyEitherMemberSpec" emptyEitherMemberSpec
     testSpec "setSingletonSpec" setSingletonSpec