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