Make type-check-test work with GHC 9.10

This requires using a more recent version of `typediff` (0.1.6) that is aware
of the module names in `ghc-internal`. It also requires incurring a dependency
on `ghc-internal` itself to ensure that GHCi prints things like
`GHC.Internal.Maybe.Maybe` rather than `ghc-internal:GHC.Internal.Maybe.Maybe`,
the latter of which `typediff` cannot parse.

.github/workflows/haskell-ci.yml

@@ -243,7 +243,7 @@ jobs:
       - name: install typediff
         run: |
           mkdir -p $HOME/.local/bin
-          curl -L https://github.com/haskell-compat/base-compat/releases/download/typediff-0.1.5/typediff > $HOME/.local/bin/typediff
+          curl -L https://github.com/haskell-compat/base-compat/releases/download/typediff-0.1.6/typediff > $HOME/.local/bin/typediff
           chmod a+x $HOME/.local/bin/typediff
       - name: checkout
         uses: actions/checkout@v3

check/type-check.cabal

@@ -69,6 +69,13 @@ executable for-repl
   build-depends:
     base,
     base-compat-batteries
+  if impl(ghc >= 9.10)
+    -- This depends on `ghc-internal` to ensure that GHCi prints things like
+    -- GHC.Internal.Maybe.Maybe rather than
+    -- ghc-internal:GHC.Internal.Maybe.Maybe, the latter of which typediff
+    -- cannot parse.
+    build-depends:
+      ghc-internal
 
 -- Run with
 -- (cd check && cabal new-run dumptypes Control.Monad.Compat)

github.yml.patch

@@ -28,7 +28,7 @@ index 417a210..5fa3f49 100644
 +      - name: install typediff
 +        run: |
 +          mkdir -p $HOME/.local/bin
-+          curl -L https://github.com/haskell-compat/base-compat/releases/download/typediff-0.1.5/typediff > $HOME/.local/bin/typediff
++          curl -L https://github.com/haskell-compat/base-compat/releases/download/typediff-0.1.6/typediff > $HOME/.local/bin/typediff
 +          chmod a+x $HOME/.local/bin/typediff
        - name: checkout
          uses: actions/checkout@v3