git.iko.soy/elk
on master help sign in
Fix #1192 where mismatched type alias produce bad errors
8d41d95Evan Czaplicki
src/Type/Unify.hs+2−2
compare with master
unifiedsplit
@@ -519,8 +519,8 @@ unifyAlias context name args realVar otherContent =
519
519
520 Alias otherName otherArgs otherRealVar ->
520 Alias otherName otherArgs otherRealVar ->
521 if name == otherName then
521 if name == otherName then
522− do merge context otherContent
523− zipWithM_ (subUnify context) (map snd args) (map snd otherArgs)
522+ do zipWithM_ (subUnify context) (map snd args) (map snd otherArgs)
523+ merge context otherContent
524
524
525 else
525 else
526 subUnify context realVar otherRealVar
526 subUnify context realVar otherRealVar