🐛 fix macOS build issues

lsrcz · Feb 27, 2023 · a1bffac · a1bffac
1 parent 5a1cae8
commit a1bffac
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Grisette/Core/Data/Class/SafeArith.hs b/src/Grisette/Core/Data/Class/SafeArith.hs
@@ -395,15 +395,15 @@ instance SafeLinearArith (Either BitwidthMismatch ArithException) type where \
   safeAdd' t (type (l :: ctype l)) (type (r :: ctype r)) = merge (\
     case sameNat (Proxy @l) (Proxy @r) of \
       Just Refl -> type <$> safeAdd' (t . Right) l r; \
-      _ -> throwError $ t $ Left BitwidthMismatch); \
+      _ -> let t' = t; t''' = t in throwError $ t' $ Left BitwidthMismatch); \
   safeMinus (type (l :: ctype l)) (type (r :: ctype r)) = merge (\
     case sameNat (Proxy @l) (Proxy @r) of \
       Just Refl -> type <$> safeMinus' Right l r; \
       _ -> throwError $ Left BitwidthMismatch); \
   safeMinus' t (type (l :: ctype l)) (type (r :: ctype r)) = merge (\
     case sameNat (Proxy @l) (Proxy @r) of \
       Just Refl -> type <$> safeMinus' (t . Right) l r; \
-      _ -> throwError $ t $ Left BitwidthMismatch); \
+      _ -> let t' = t; t''' = t in throwError $ t' $ Left BitwidthMismatch); \
   safeNeg (type l) = merge $ type <$> safeNeg' Right l; \
   safeNeg' t (type l) = merge $ type <$> safeNeg' (t . Right) l