Bump GHC 927 -> 962

[zeme-wana]

No description provided.

[zeme-wana]

@jorisdral this can be completed now. You can enter a nix develop shell with ghc962

[jorisdral]

I don't have access to this repository, so I've include a patch instead, which can be found below. The compilation error is fixed by https://github.com/input-output-hk/quickcheck-dynamic/pull/48/files, but it isn't merged yet, so the patch includes the change from #48. Also, I've suggested adding ghc-8.10.7 and ghc-9.2.8 to the list of supported compilers, such that Hydra uses each of them.

fix.patch

diff --git a/nix/haskell.nix b/nix/haskell.nix
index 4bc733a..eec0c8c 100644
--- a/nix/haskell.nix
+++ b/nix/haskell.nix
@@ -2,5 +2,6 @@
 # https://www.github.com/input-output-hk/iogx#32-nixhaskellnix
 
 {
-  supportedCompilers = ["ghc962"];
+  supportedCompilers = ["ghc8107" "ghc928" "ghc962"];
+  defaultHaskellCompiler = "ghc962";
 }
\ No newline at end of file
diff --git a/quickcheck-dynamic/src/Test/QuickCheck/StateModel.hs b/quickcheck-dynamic/src/Test/QuickCheck/StateModel.hs
index 9836084..3932923 100644
--- a/quickcheck-dynamic/src/Test/QuickCheck/StateModel.hs
+++ b/quickcheck-dynamic/src/Test/QuickCheck/StateModel.hs
@@ -379,6 +379,7 @@ instance StateModel state => Arbitrary (Actions state) where
   shrink (Actions_ rs as) =
     map (Actions_ rs) (shrinkSmart (map (prune . map fst) . 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]
 
 -- Running state models

[jorisdral]

I'm not sure we would should remove these bounds

[github-actions]

Unit Test Results

3 tests  ±0   3 ✔️ ±0   0s ⏱️ ±0s
1 suites ±0   0 💤 ±0 
1 files   ±0   0 ❌ ±0 

Results for commit 76d4b45. ± Comparison against base commit e02a6de.

[zeme-wana]

I applied all requested changes: follow progress here https://ci.iog.io/eval/9992
@jorisdral