on master help sign in
Marginally improve unification errors
commitc71ce043882df8cc589cc33e9e59db2575406a41 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateSun 25 Nov 2012, 22:16 (14 years ago) parent9a444c5
1 file changed+1−1
src/Core/Elaborate.hs+1−1
src/Core/Elaborate.hs+1−1
@@ -467,7 +467,7 @@ try t1 t2 = do s <- get
467467 Error e1 -> if recoverableErr e1 then
468468 do case runStateT t2 s of
469469 OK (v, s') -> do put s'; return v
470− Error e2 -> if score e1 > score e2
470+ Error e2 -> if score e1 >= score e2
471471 then lift (tfail e1)
472472 else lift (tfail e2)
473473 else lift (tfail e1)