609cc3d · elk · git.iko.soy

Unify any constrained variables with the same super-type

commit609cc3df96825e59f17a11435f3ddea76a4020f1 authorEvan Czaplicki <info@elm-lang.org> dateThu 25 Jul 2013, 17:10 (13 years ago) parenta05c82f

1 file changed+2−1

unifiedsplit

compiler/Type/Unify.hs+2−1

@@ -73,7 +73,8 @@ actuallyUnify variable1 variable2 = do

7373

7474 superUnify =

7575 case (flex desc1, flex desc2, name desc1, name desc2) of

76− (IsIn Number, IsIn Number, _, _) -> merge

76+ (IsIn super1, IsIn super2, _, _)

77+ | super1 == super2 -> merge

7778 (IsIn Number, IsIn Comparable, _, _) -> merge1

7879 (IsIn Comparable, IsIn Number, _, _) -> merge2

7980