git.iko.soy/elk
on master help sign in
cosmetic: remove stray newline
f5214d6Evan Czaplicki
src/Type/Unify.hs−1
compare with master
unifiedsplit
@@ -546,7 +546,6 @@ unifyAlias context name args realVar otherContent =
546 Atom _ ->
546 Atom _ ->
547 subUnify context realVar (_second context)
547 subUnify context realVar (_second context)
548
548
549−
550 Alias otherName otherArgs otherRealVar ->
549 Alias otherName otherArgs otherRealVar ->
551 if name == otherName then
550 if name == otherName then
552 do zipWithM_ (subUnify context) (map snd args) (map snd otherArgs)
551 do zipWithM_ (subUnify context) (map snd args) (map snd otherArgs)