Agh

konn · Jun 9, 2024 · 1abf00f · 1abf00f
1 parent ab9cba6
commit 1abf00f
Showing 1 changed file with 7 additions and 4 deletions.
diff --git a/ghc-typelits-presburger/src/GHC/TypeLits/Presburger/Compat.hs b/ghc-typelits-presburger/src/GHC/TypeLits/Presburger/Compat.hs
@@ -523,7 +523,10 @@ getKey = Unique.getKey
 getVoidTyCon :: TcPluginM TyCon
 getVoidTyCon = tcLookupTyCon =<< lookupOrig aMod (mkTcOcc "Void")
   where 
-    aMod
-      | ghcVer >= GHC910 = mkGhcInternalModule "GHC.Internal.Base"
-      | ghcVer >= GHC906 = mkBaseModule "GHC.Base"
-      | otherwise = mkBaseModule "Data.Void"
+#if MIN_VERSION_ghc(9,10,1)
+    aMod = mkGhcInternalModule "GHC.Internal.Base"
+#elif MIN_VERSION_ghc(9,6,1)
+    aMod = mkBaseModule "GHC.Base"
+#else
+    aMod = mkBaseModule "Data.Void"
+#endif