Compile clash-ghc warning free on GHC 9.12

Author: martijnbastiaan

clash-ghc/src-ghc/Clash/GHC/GHC2Core.hs

@@ -692,7 +692,11 @@ coreToTerm primMap unlocs = term
       LitFloat r    -> C.FloatLiteral . floatToWord $ fromRational r
       LitDouble r   -> C.DoubleLiteral . doubleToWord $ fromRational r
       LitNullAddr   -> C.StringLiteral []
+#if MIN_VERSION_ghc(9,12,0)
+      LitLabel fs _ -> C.StringLiteral (unpackFS fs)
+#else
       LitLabel fs _ _ -> C.StringLiteral (unpackFS fs)
+#endif
 
 addUsefull :: SrcSpan
            -> C2C a
@@ -746,6 +750,7 @@ hasPrimCo (ForAllCo {fco_body = co}) = hasPrimCo co
 hasPrimCo (ForAllCo _ _ co) = hasPrimCo co
 #endif
 
+#if !MIN_VERSION_ghc(9,12,0)
 hasPrimCo co@(AxiomInstCo _ _ coers) = do
     let (Pair ty1 _) = coercionKind co
     ty1PM <- isPrimTc ty1
@@ -764,6 +769,7 @@ hasPrimCo co@(AxiomInstCo _ _ coers) = do
                           ,"Clash.Sized.Internal.Unsigned.Unsigned"
                           ])
     isPrimTc _ = return False
+#endif
 
 hasPrimCo (SymCo co) = hasPrimCo co
 
@@ -773,7 +779,11 @@ hasPrimCo (TransCo co1 co2) = do
     Just _ -> return tc1M
     _ -> hasPrimCo co2
 
+#if MIN_VERSION_ghc(9,12,0)
+hasPrimCo (AxiomCo _ coers) = do
+#else
 hasPrimCo (AxiomRuleCo _ coers) = do
+#endif
   tcs <- catMaybes <$> mapM hasPrimCo coers
   return (listToMaybe tcs)
 
@@ -786,7 +796,13 @@ hasPrimCo (LRCo _ co)   = hasPrimCo co
 hasPrimCo (InstCo co _) = hasPrimCo co
 hasPrimCo (SubCo co)    = hasPrimCo co
 
-hasPrimCo _ = return Nothing
+hasPrimCo (Refl {}) = return Nothing
+hasPrimCo (GRefl {}) = return Nothing
+hasPrimCo (FunCo {}) = return Nothing
+hasPrimCo (CoVarCo {}) = return Nothing
+hasPrimCo (UnivCo {}) = return Nothing
+hasPrimCo (KindCo {}) = return Nothing
+hasPrimCo (HoleCo {}) = return Nothing
 
 coreToDataCon :: DataCon
               -> C2C C.DataCon

clash-ghc/src-ghc/Clash/GHC/Util.hs

@@ -57,7 +57,10 @@ import GhcPlugins         (DynFlags, SourceError, ($$), blankLine, empty, isGood
 #endif
 import GHC                (GhcMonad(..), printException)
 
-import Control.Exception  (Exception(..), ErrorCall(..))
+#if !MIN_VERSION_ghc(9,12,0)
+import Control.Exception  (ErrorCall(..))
+#endif
+import Control.Exception  (Exception(..))
 import GHC.Exception      (SomeException)
 import System.Exit        (ExitCode(ExitFailure), exitWith)
 
@@ -100,6 +103,7 @@ handleClashException df opts e = case fromException e of
 #endif
         (blankLine $$ textLines s $$ blankLine $$ srcInfo' $$ showExtra (opt_errorExtra opts) eM))
   _ -> case fromException e of
+#if !MIN_VERSION_ghc(9,12,0)
     Just (ErrorCallWithLocation _ _) ->
       throwOneError
 #if MIN_VERSION_ghc(9,8,0)
@@ -115,6 +119,7 @@ handleClashException df opts e = case fromException e of
 #endif
         (text "Clash error call:" $$ textLines (show e)))
     _ -> case fromException e of
+#endif
       Just (e' :: SourceError) -> do
         GHC.printException e'
         liftIO $ exitWith (ExitFailure 1)