git.iko.soy/elk
on master help sign in
Properly unify Unit1 types
e1e19d5Evan Czaplicki
src/Type/Unify.hs+3
compare with master
unifiedsplit
@@ -588,6 +588,9 @@ unifyStructure context flatType content otherContent =
588 (subUnify c z)
588 (subUnify c z)
589 merge context otherContent
589 merge context otherContent
590
590
591+ (Unit1, Unit1) ->
592+ merge context otherContent
593+
591 _ ->
594 _ ->
592 mismatch
595 mismatch
593
596