Properly unify Unit1 types
commite1e19d58b370f5ca770d6e6a732eb3dc5a6bdaf8
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateTue 16 Jan 2018, 14:39 (9 years ago)
parent70c7edf
src/Type/Unify.hs+3
@@ -588,6 +588,9 @@ unifyStructure context flatType content otherContent =
588588 (subUnify c z)
589589 merge context otherContent
590590
591+ (Unit1, Unit1) ->
592+ merge context otherContent
593+
591594 _ ->
592595 mismatch
593596