Merge pull request #512 from well-typed/ghc-9.12

phadej · web-flow · commit f78653ab853e · 2025-06-17T23:12:58.000+03:00
Add GHC-9.12 to CI
diff --git a/.github/workflows/haskell-ci.yml b/.github/workflows/haskell-ci.yml
@@ -8,9 +8,9 @@
 #
 # For more information, see https://github.com/haskell-CI/haskell-ci
 #
-# version: 0.19.20250506
+# version: 0.19.20250605
 #
-# REGENDATA ("0.19.20250506",["github","--config=cabal.haskell-ci","cabal.project"])
+# REGENDATA ("0.19.20250605",["github","--config=cabal.haskell-ci","cabal.project"])
 #
 name: Haskell-CI
 on:
@@ -32,6 +32,11 @@ jobs:
     strategy:
       matrix:
         include:
+          - compiler: ghc-9.12.2
+            compilerKind: ghc
+            compilerVersion: 9.12.2
+            setup-method: ghcup
+            allow-failure: false
           - compiler: ghc-9.10.2
             compilerKind: ghc
             compilerVersion: 9.10.2
@@ -205,7 +210,7 @@ jobs:
           echo "packages: $GITHUB_WORKSPACE/source/optics-th" >> cabal.project
           echo "packages: $GITHUB_WORKSPACE/source/optics-vl" >> cabal.project
           echo "packages: $GITHUB_WORKSPACE/source/indexed-profunctors" >> cabal.project
-          echo "packages: $GITHUB_WORKSPACE/source/template-haskell-optics" >> cabal.project
+          if [ $((GHCJSARITH || ! GHCJSARITH && HCNUMVER < 91200)) -ne 0 ] ; then echo "packages: $GITHUB_WORKSPACE/source/template-haskell-optics" >> cabal.project ; fi
           echo "packages: $GITHUB_WORKSPACE/source/metametapost" >> cabal.project
           cat cabal.project
       - name: sdist
@@ -246,7 +251,7 @@ jobs:
           echo "packages: ${PKGDIR_optics_th}" >> cabal.project
           echo "packages: ${PKGDIR_optics_vl}" >> cabal.project
           echo "packages: ${PKGDIR_indexed_profunctors}" >> cabal.project
-          echo "packages: ${PKGDIR_template_haskell_optics}" >> cabal.project
+          if [ $((GHCJSARITH || ! GHCJSARITH && HCNUMVER < 91200)) -ne 0 ] ; then echo "packages: ${PKGDIR_template_haskell_optics}" >> cabal.project ; fi
           echo "packages: ${PKGDIR_metametapost}" >> cabal.project
           echo "package optics" >> cabal.project
           echo "    ghc-options: -Werror=missing-methods" >> cabal.project
@@ -262,8 +267,8 @@ jobs:
           echo "    ghc-options: -Werror=missing-methods" >> cabal.project
           echo "package indexed-profunctors" >> cabal.project
           echo "    ghc-options: -Werror=missing-methods" >> cabal.project
-          echo "package template-haskell-optics" >> cabal.project
-          echo "    ghc-options: -Werror=missing-methods" >> cabal.project
+          if [ $((GHCJSARITH || ! GHCJSARITH && HCNUMVER < 91200)) -ne 0 ] ; then echo "package template-haskell-optics" >> cabal.project ; fi
+          if [ $((GHCJSARITH || ! GHCJSARITH && HCNUMVER < 91200)) -ne 0 ] ; then echo "    ghc-options: -Werror=missing-methods" >> cabal.project ; fi
           echo "package metametapost" >> cabal.project
           echo "    ghc-options: -Werror=missing-methods" >> cabal.project
           cat >> cabal.project <<EOF
@@ -328,8 +333,8 @@ jobs:
           ${CABAL} -vnormal check
           cd ${PKGDIR_indexed_profunctors} || false
           ${CABAL} -vnormal check
-          cd ${PKGDIR_template_haskell_optics} || false
-          ${CABAL} -vnormal check
+          if [ $((GHCJSARITH || ! GHCJSARITH && HCNUMVER < 91200)) -ne 0 ] ; then cd ${PKGDIR_template_haskell_optics} || false ; fi
+          if [ $((GHCJSARITH || ! GHCJSARITH && HCNUMVER < 91200)) -ne 0 ] ; then ${CABAL} -vnormal check ; fi
           cd ${PKGDIR_metametapost} || false
           ${CABAL} -vnormal check
       - name: haddock
diff --git a/cabal.project b/cabal.project
@@ -6,7 +6,9 @@ packages:
   optics-th/*.cabal
   optics-vl/*.cabal
   indexed-profunctors/*.cabal
-  template-haskell-optics/*.cabal
+
+if !impl(ghc >=9.10)
+  packages: template-haskell-optics/*.cabal
 
 -- An example, using optics to generate optics diagrams
 packages:
diff --git a/indexed-profunctors/indexed-profunctors.cabal b/indexed-profunctors/indexed-profunctors.cabal
@@ -8,7 +8,7 @@ maintainer:    optics@well-typed.com
 author:        Adam Gundry, Andres Löh, Andrzej Rybczak, Oleg Grenrus
 tested-with:   GHC ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.7
                 || ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.7 || ==9.8.4
-                || ==9.10.2,
+                || ==9.10.2 || ==9.12.2,
                GHCJS ==8.4
 synopsis:      Utilities for indexed profunctors
 category:      Data, Optics, Lenses, Profunctors
diff --git a/metametapost/metametapost.cabal b/metametapost/metametapost.cabal
@@ -6,7 +6,7 @@ license-file:  LICENSE
 build-type:    Simple
 tested-with:   GHC ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.7
                 || ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.7 || ==9.8.4
-                || ==9.10.2,
+                || ==9.10.2 || ==9.12.2,
                GHCJS ==8.4
 maintainer:    oleg@well-typed.com
 synopsis:      Generate optics documentation diagrams
diff --git a/optics-core/optics-core.cabal b/optics-core/optics-core.cabal
@@ -8,7 +8,7 @@ maintainer:    optics@well-typed.com
 author:        Adam Gundry, Andres Löh, Andrzej Rybczak, Oleg Grenrus
 tested-with:   GHC ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.7
                 || ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.7 || ==9.8.4
-                || ==9.10.2,
+                || ==9.10.2 || ==9.12.2,
                GHCJS ==8.4
 synopsis:      Optics as an abstract interface: core definitions
 category:      Data, Optics, Lenses
diff --git a/optics-extra/optics-extra.cabal b/optics-extra/optics-extra.cabal
@@ -8,7 +8,7 @@ maintainer:    optics@well-typed.com
 author:        Andrzej Rybczak
 tested-with:   GHC ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.7
                 || ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.7 || ==9.8.4
-                || ==9.10.2,
+                || ==9.10.2 || ==9.12.2
                GHCJS ==8.4
 synopsis:      Extra utilities and instances for optics-core
 category:      Data, Optics, Lenses
diff --git a/optics-sop/optics-sop.cabal b/optics-sop/optics-sop.cabal
@@ -8,7 +8,7 @@ maintainer:    optics@well-typed.com
 author:        Adam Gundry, Andres Löh, Andrzej Rybczak
 tested-with:   GHC ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.7
                 || ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.7 || ==9.8.4
-                || ==9.10.2,
+                || ==9.10.2 || ==9.12.2,
                GHCJS ==8.4
 synopsis:      Optics for generics-sop, and using generics-sop
 category:      Data, Optics, Lenses, Generics
diff --git a/optics-th/optics-th.cabal b/optics-th/optics-th.cabal
@@ -8,7 +8,7 @@ maintainer:    optics@well-typed.com
 author:        Andrzej Rybczak
 tested-with:   GHC ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.7
                 || ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.7 || ==9.8.4
-                || ==9.10.2,
+                || ==9.10.2 || ==9.12.2,
                GHCJS ==8.4
 synopsis:      Optics construction using TemplateHaskell
 category:      Data, Optics, Lenses
@@ -66,7 +66,7 @@ library
                , containers             >= 0.5.10.2  && <0.8
                , mtl                    >= 2.2.2     && <2.4
                , optics-core            >= 0.4.1     && <0.5
-               , template-haskell       >= 2.12      && <2.23
+               , template-haskell       >= 2.12      && <2.24
                , th-abstraction         >= 0.4       && <0.8
                , transformers           >= 0.5       && <0.7
 
diff --git a/optics-vl/optics-vl.cabal b/optics-vl/optics-vl.cabal
@@ -8,7 +8,7 @@ maintainer:    optics@well-typed.com
 author:        Andrzej Rybczak
 tested-with:   GHC ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.7
                 || ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.7 || ==9.8.4
-                || ==9.10.2,
+                || ==9.10.2 || ==9.12.2
                GHCJS ==8.4
 synopsis:      Utilities for compatibility with van Laarhoven optics
 category:      Data, Optics, Lenses
diff --git a/optics/optics.cabal b/optics/optics.cabal
@@ -8,7 +8,7 @@ maintainer:      optics@well-typed.com
 author:          Adam Gundry, Andres Löh, Andrzej Rybczak, Oleg Grenrus
 tested-with:     GHC ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.7
                   || ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.7 || ==9.8.4
-                  || ==9.10.2,
+                  || ==9.10.2 || ==9.12.2,
                  GHCJS ==8.4
 synopsis:        Optics as an abstract interface
 category:        Data, Optics, Lenses
@@ -164,7 +164,7 @@ test-suite optics-tests
   build-depends: base
                , containers
                , indexed-profunctors    >= 0.1        && <0.2
-               , inspection-testing     >= 0.5        && <0.7
+               , inspection-testing     >= 0.6.2      && <0.7
                , mtl
                , optics
                , optics-core
diff --git a/optics/tests/Optics/Tests/Core.hs b/optics/tests/Optics/Tests/Core.hs
@@ -41,11 +41,11 @@ coreTests = testGroup "Core"
     assertSuccess $(inspectTest $ hasNoProfunctors 'rhs05)
   , testCase "traverseOf_ (_Left % itraversed % _1 % ifolded) = traverseOf_ ..." $
     -- GHC >= 8.6 gives different structure of let bindings.
-    ghcGE86failure $(inspectTest $ 'lhs06 === 'rhs06)
+    ghc86to910and9122failure $(inspectTest $ 'lhs06 === 'rhs06)
   , testCase "optimized lhs06" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'lhs06)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'lhs06)
   , testCase "optimized rhs06" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'rhs06)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'rhs06)
   , testCase "itraverseOf (itraversed %> itraversed) = itraverseOf (traversed % itraversed)" $
     assertSuccess $(inspectTest $ 'lhs07 === 'rhs07)
   , testCase "optimized lhs07a" $
@@ -63,30 +63,31 @@ coreTests = testGroup "Core"
     -- GHC 9.* applies a worker-wrapper transformation to the RHS.
     ghcGE90failure $(inspectTest $ 'lhs09 === 'rhs09)
   , testCase "optimized lhs09" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'lhs09)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'lhs09)
   , testCase "optimized rhs09" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'rhs09)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'rhs09)
   , testCase "itraverseOf_ itraversed = itraverseOf_ ifolded" $
     -- GHC 8.2, 8.6 to 8.10 and 9.2 to 9.4 give a different structure of let
     -- bindings.
-    assertSuccess $(inspectTest $ 'lhs10 ==~ 'rhs10)
+    ghc9122failure $(inspectTest $ 'lhs10 ==~ 'rhs10)
   , testCase "optimized lhs10a" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'lhs10a)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'lhs10a)
   , testCase "optimized rhs10a" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'rhs10a)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'rhs10a)
   , testCase "iover (itraversed..itraversed) = iover (imapped..imapped)" $
-    assertSuccess $(inspectTest $ 'lhs11 === 'rhs11)
+    -- GHC 9.12 has an intermediate let in the LHS.
+    ghcGE912failure $(inspectTest $ 'lhs11 === 'rhs11)
   , testCase "optimized lhs11" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'lhs11)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'lhs11)
   , testCase "optimized rhs11" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'rhs11)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'rhs11)
   , testCase "traverseOf_ traversed = traverseOf_ folded" $
     -- GHC 8.6 to 8.10 give a different structure of let bindings.
-    assertSuccess $(inspectTest $ 'lhs12 ==~ 'rhs12)
+    ghc9122failure $(inspectTest $ 'lhs12 ==~ 'rhs12)
   , testCase "optimized lhs12a" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'lhs12a)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'lhs12a)
   , testCase "optimized rhs12a" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'rhs12a)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'rhs12a)
   , testCase "over (traversed..) = over (mapped..)" $
     assertSuccess $(inspectTest $ 'lhs13 === 'rhs13)
   , testCase "optimized lhs13" $
@@ -96,25 +97,26 @@ coreTests = testGroup "Core"
   , testCase "traverseOf_ itraversed = traverseOf_ folded" $
     -- GHC 8.6 to 8.10 give a different structure of let bindings
     -- GHC 9.2 to 9.4 have very different structure
-    ghc92and94failure $(inspectTest $ 'lhs14 ==~ 'rhs14)
+    ghc92and94and9122failure $(inspectTest $ 'lhs14 ==~ 'rhs14)
   , testCase "optimized lhs14a" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'lhs14a)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'lhs14a)
   , testCase "optimized rhs14a" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'rhs14a)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'rhs14a)
   , testCase "over (itraversed..) = over (mapped..)" $
     -- GHC 9.2 and 9.4 do w/w transformation and split lhs into two binds.
-    ghc92and94failure $(inspectTest $ 'lhs15 === 'rhs15)
+    ghc92and94and9122failure $(inspectTest $ 'lhs15 === 'rhs15)
   , testCase "optimized lhs15" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'lhs15)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'lhs15)
   , testCase "optimized rhs15" $
     assertSuccess $(inspectTest $ hasNoProfunctors 'rhs15)
   , testCase "iset (itraversed..) = iset (imapped..)" $
     -- GHC 8.10 has an intermediate let in the RHS.
-    ghc810failure $(inspectTest $ 'lhs16 === 'rhs16)
+    -- GHC 9.12 has an intermediate let in the LHS.
+    ghc810andGE912failure $(inspectTest $ 'lhs16 === 'rhs16)
   , testCase "optimized lhs16" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'lhs16)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'lhs16)
   , testCase "optimized rhs16" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'rhs16)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'rhs16)
   , testCase "iset (_1 % itraversed) = iset (_1 % imapped)" $
     -- GHC 8.10 has an intermediate let in the LHS.
     ghc810failure $(inspectTest $ 'lhs17 === 'rhs17)
@@ -129,13 +131,13 @@ coreTests = testGroup "Core"
   , testCase "optimized rhs18" $
     assertSuccess $(inspectTest $ hasNoProfunctors 'rhs18)
   , testCase "optimized failover" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'failoverCheck)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'failoverCheck)
   , testCase "optimized failover'" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'failover'Check)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'failover'Check)
   , testCase "optimized ifailover" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'ifailoverCheck)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'ifailoverCheck)
   , testCase "optimized ifailover'" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'ifailover'Check)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'ifailover'Check)
   ]
 
 -- Sometimes we need to eta expand, as without it pretty much equivalent code is
diff --git a/optics/tests/Optics/Tests/Labels/Generic.hs b/optics/tests/Optics/Tests/Labels/Generic.hs
@@ -48,7 +48,7 @@ genericLabelsTests = testGroup "Labels via Generic"
     assertSuccess $(inspectTest $ 'label4lhs ==- 'label4rhs)
   , testCase "set (#pets % traversed % #name) b s = s { pets = ... }" $
     -- GHC 8.2 is the same modulo a case expression structure
-    ghc82failure $(inspectTest $ 'label5lhs ==- 'label5rhs)
+    ghc82and9122failure $(inspectTest $ 'label5lhs ==- 'label5rhs)
   , testCase "multiple set with labels = multiple set with record syntax" $
     assertSuccess $(inspectTest $ 'label6lhs ==- 'label6rhs)
   , testCase "optimized petNames (generics)" $
diff --git a/optics/tests/Optics/Tests/Misc.hs b/optics/tests/Optics/Tests/Misc.hs
@@ -14,31 +14,31 @@ import Optics.Tests.Utils
 miscTests :: TestTree
 miscTests = testGroup "Miscellaneous"
   [ testCase "optimized sipleMapIx" $
-    assertSuccess $(inspectTest $ 'simpleMapIx `hasNoTypeClassesExcept` [''Ord])
+    ghc9122failure $(inspectTest $ 'simpleMapIx `hasNoTypeClassesExcept` [''Ord])
   , testCase "optimized mapIx" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'mapIx)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'mapIx)
   , testCase "optimized seqIx" $
     assertSuccess $(inspectTest $ hasNoProfunctors 'seqIx)
   , testCase "optimized itoList" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'checkitoListOf)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'checkitoListOf)
   , testCase "optimized partsOf" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'checkPartsOf)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'checkPartsOf)
   , testCase "optimized singular" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'checkSingular)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'checkSingular)
   , testCase "optimized filteredBy" $
     assertSuccess $(inspectTest $ hasNoProfunctors 'checkFilteredBy)
   , testCase "optimized unsafeFilteredBy" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'checkUnsafeFilteredBy)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'checkUnsafeFilteredBy)
     -- GHC <= 8.4 doesn't optimize away profunctor classes
   , testCase "optimized adjoin" $
     ghcLE84failure $(inspectTest $ hasNoProfunctors 'checkAdjoin)
     -- GHC <= 8.4 doesn't optimize away profunctor classes
   , testCase "optimized iadjoin" $
-    ghcLE84failure $(inspectTest $ hasNoProfunctors 'checkIxAdjoin)
+    ghcLE84and9122failure $(inspectTest $ hasNoProfunctors 'checkIxAdjoin)
   , testCase "optimized gplate (profunctors)" $
-    assertSuccess $(inspectTest $ hasNoProfunctors 'checkGplate)
+    ghc9122failure $(inspectTest $ hasNoProfunctors 'checkGplate)
   , testCase "optimized gplate (generics)" $
-    assertSuccess $(inspectTest $ hasNoGenericRep 'checkGplate)
+    ghc9122failure $(inspectTest $ hasNoGenericRep 'checkGplate)
   , testCase "optimized icomposeN/appendIndices" $
     assertSuccess $ $(inspectTest $ hasNoIndexClasses 'checkNoIndexFunctions)
   ]
diff --git a/optics/tests/Optics/Tests/Utils.hs b/optics/tests/Optics/Tests/Utils.hs
@@ -148,3 +148,69 @@ ghc86to810and92to94failure = assertFailure'
 #else
 ghc86to810and92to94failure = assertSuccess
 #endif
+
+ghc86to910failure :: Result -> IO ()
+#if __GLASGOW_HASKELL__ >= 806 && __GLASGOW_HASKELL__ <= 910
+ghc86to910failure = assertFailure'
+#else
+ghc86to910failure = assertSuccess
+#endif
+
+ghcGE912failure :: Result -> IO ()
+#if __GLASGOW_HASKELL__ >= 912
+ghcGE912failure = assertFailure'
+#else
+ghcGE912failure = assertSuccess
+#endif
+
+ghc810andGE912failure :: Result -> IO ()
+#if __GLASGOW_HASKELL__ == 810 \
+  || __GLASGOW_HASKELL__ >= 912
+ghc810andGE912failure = assertFailure'
+#else
+ghc810andGE912failure = assertSuccess
+#endif
+
+-- GHC-9.12.2 has issues with nospec being in the way.
+-- TODO: Later we should probably forbid GHC-9.12.2 usage.
+-- Until GHC-9.12.3 (with fix) is released it would be too prohibitive though.
+#if MIN_VERSION_GLASGOW_HASKELL(9,12,0,0) && !MIN_VERSION_GLASGOW_HASKELL(9,12,3,0)
+#define GHC_9122 1
+#else
+#define GHC_9122 0
+#endif
+
+ghc9122failure :: Result -> IO ()
+#if GHC_9122
+ghc9122failure = assertFailure'
+#else
+ghc9122failure = assertSuccess
+#endif
+
+ghc86to910and9122failure :: Result -> IO ()
+#if (__GLASGOW_HASKELL__ >= 806 && __GLASGOW_HASKELL__ <= 910) || GHC_9122
+ghc86to910and9122failure = assertFailure'
+#else
+ghc86to910and9122failure = assertSuccess
+#endif
+
+ghc92and94and9122failure :: Result -> IO ()
+#if (__GLASGOW_HASKELL__ >= 902 && __GLASGOW_HASKELL__ <= 904) || GHC_9122
+ghc92and94and9122failure = assertFailure'
+#else
+ghc92and94and9122failure = assertSuccess
+#endif
+
+ghc82and9122failure :: Result -> IO ()
+#if __GLASGOW_HASKELL__ == 802 || GHC_9122
+ghc82and9122failure = assertFailure'
+#else
+ghc82and9122failure = assertSuccess
+#endif
+
+ghcLE84and9122failure :: Result -> IO ()
+#if __GLASGOW_HASKELL__ <= 804 || GHC_9122
+ghcLE84and9122failure = assertFailure'
+#else
+ghcLE84and9122failure = assertSuccess
+#endif
