From 30f8109ea5eae097766b672f21c696182af5fd9e Mon Sep 17 00:00:00 2001 From: Olle Fredriksson Date: Thu, 21 Mar 2024 21:27:28 +0100 Subject: [PATCH] Rename variable --- src/Elaboration/Matching.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Elaboration/Matching.hs b/src/Elaboration/Matching.hs index 779c36e..b21b558 100644 --- a/src/Elaboration/Matching.hs +++ b/src/Elaboration/Matching.hs @@ -897,10 +897,10 @@ splitEqualityOr context config matches k = _ (Pattern _ Wildcard) (Builtin.Equals type_ value1 value2) -> do - unificationResult <- try do + equationResult <- try do context' <- Equation.equate context Flexibility.Rigid value1 value2 Equation.equate context' Flexibility.Rigid scrutineeValue' $ Builtin.Refl type_ value1 value2 - case unificationResult of + case equationResult of Left Equation.Nope -> do check context config {clauses = drop 1 config.clauses} Postponement.CanPostpone Left Equation.Dunno -> do