Simplify inf - x to inf

GaloisInc · Sep 3, 2024 · 2103ce3 · 2103ce3
1 parent 0985325
commit 2103ce3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Cryptol/TypeCheck/SimpType.hs b/src/Cryptol/TypeCheck/SimpType.hs
@@ -113,6 +113,7 @@ tSub :: Type -> Type -> Type
 tSub x y
   | Just t <- tOp TCSub (op2 nSub) [x,y] = t
   | tIsInf y  = tError (tf2 TCSub x y)
+  | tIsInf x = x
   | Just 0 <- yNum = x
   | Just k <- yNum
   , TCon (TF TCAdd) [a,b] <- tNoUser x