git.iko.soy/elk
on master help sign in
Error out the whole type on unification errors, avoiding cascading errors
b90883eEvan Czaplicki
src/Type/Unify.hs+1−1
compare with master
unifiedsplit
@@ -29,7 +29,7 @@ unify hint region expected actual =
29 mkError =
29 mkError =
30 do expectedSrcType <- Type.toSrcType expected
30 do expectedSrcType <- Type.toSrcType expected
31 actualSrcType <- Type.toSrcType actual
31 actualSrcType <- Type.toSrcType actual
32− mergeHelp subExpected subActual Error
32+ mergeHelp expected actual Error
33 let info = Error.MismatchInfo hint expectedSrcType actualSrcType maybeReason
33 let info = Error.MismatchInfo hint expectedSrcType actualSrcType maybeReason
34 return (Error.Mismatch info)
34 return (Error.Mismatch info)
35 in
35 in