diff options
-rw-r--r-- | compiler/deSugar/TmOracle.hs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/compiler/deSugar/TmOracle.hs b/compiler/deSugar/TmOracle.hs index 87e5f0a268..ebe59f9d77 100644 --- a/compiler/deSugar/TmOracle.hs +++ b/compiler/deSugar/TmOracle.hs @@ -208,10 +208,9 @@ simplifyEqExpr e1 e2 = case (e1, e2) of (ts2', bs2) = mapAndUnzip simplifyPmExpr ts2 (tss, _bss) = zipWithAndUnzip simplifyEqExpr ts1' ts2' worst_case = PmExprEq (PmExprCon c1 ts1') (PmExprCon c2 ts2') - in if | not (or bs1 || or bs2) -> (worst_case, False) -- no progress - | all isTruePmExpr tss -> (truePmExpr, True) + in if | all isTruePmExpr tss -> (truePmExpr, True) | any isFalsePmExpr tss -> (falsePmExpr, True) - | otherwise -> (worst_case, False) + | otherwise -> (worst_case, or bs1 || or bs2) | otherwise -> (falsePmExpr, True) -- We cannot do anything about the rest.. |