git.iko.soy/elk
on master help sign in
Don't switch order of arguments during unification in Type.Unify
commitded277c4df0d228d581d6c4c5f91fc733505faad authorEvan Czaplicki <info@elm-lang.org> dateSun 1 Mar 2015, 08:28 (12 years ago) parent92331c9
1 file changed+2−2
compare with master
unifiedsplit
src/Type/Unify.hs+2−2
src/Type/Unify.hs+2−2
@@ -203,7 +203,7 @@ actuallyUnify region variable1 variable2 = do
203203 unifyHelp' v variable2
204204
205205 (_, Just (Var1 v)) ->
206− unifyHelp' v variable1
206+ unifyHelp' variable1 v
207207
208208 (Nothing, _) ->
209209 superUnify
@@ -226,7 +226,7 @@ actuallyUnify region variable1 variable2 = do
226226 return ()
227227
228228 (Record1 fields ext, EmptyRecord1) | Map.null fields -> unifyHelp' ext variable2
229− (EmptyRecord1, Record1 fields ext) | Map.null fields -> unifyHelp' ext variable1
229+ (EmptyRecord1, Record1 fields ext) | Map.null fields -> unifyHelp' variable1 ext
230230
231231 (Record1 _ _, Record1 _ _) ->
232232 recordUnify region fresh variable1 variable2