Bump GHC 927 -> 962 (#50)

zeme-wana · web-flow · commit 2c85370cb98c · 2023-08-25T19:31:46.000+02:00
diff --git a/flake.lock b/flake.lock
diff --git a/nix/haskell.nix b/nix/haskell.nix
@@ -2,5 +2,6 @@
 # https://www.github.com/input-output-hk/iogx#32-nixhaskellnix
 
 {
-  supportedCompilers = ["ghc927"];
+  supportedCompilers = ["ghc8107" "ghc928" "ghc962"];
+  defaultCompiler = "ghc962";
 }
diff --git a/quickcheck-dynamic/quickcheck-dynamic.cabal b/quickcheck-dynamic/quickcheck-dynamic.cabal
@@ -94,7 +94,7 @@ test-suite quickcheck-dynamic-test
 
   ghc-options:    -rtsopts
   build-depends:
-    , base                 >=4.7 && <5
+    , base
     , containers
     , mtl
     , QuickCheck
diff --git a/quickcheck-dynamic/src/Test/QuickCheck/StateModel.hs b/quickcheck-dynamic/src/Test/QuickCheck/StateModel.hs
@@ -379,6 +379,7 @@ instance forall state. StateModel state => Arbitrary (Actions state) where
   shrink (Actions_ rs as) =
     map (Actions_ rs) (shrinkSmart (map (prune . map fst) . concatMap customActionsShrinker . shrinkList shrinker . withStates) as)
     where
+      shrinker :: (Step state, Annotated state) -> [(Step state, Annotated state)]
       shrinker (v := act, s) = [(unsafeCoerceVar v := act', s) | Some act'@ActionWithPolarity{} <- computeShrinkAction s act]
       customActionsShrinker :: [(Step state, Annotated state)] -> [[(Step state, Annotated state)]]
       customActionsShrinker acts =

Original file line number	Diff line number	Diff line change
`@@ -2,5 +2,6 @@`
`2`	`2`	`# https://www.github.com/input-output-hk/iogx#32-nixhaskellnix`
`3`	`3`
`4`	`4`	`{`
`5`		`- supportedCompilers = ["ghc927"];`
	`5`	`+ supportedCompilers = ["ghc8107" "ghc928" "ghc962"];`
	`6`	`+ defaultCompiler = "ghc962";`
`6`	`7`	`}`