Fix #1192 where mismatched type alias produce bad errors

https://imgflip.com/i/1380es
Zokka-Dev · Apr 27, 2016 · 8d41d95 · 8d41d95
1 parent 04c5e28
commit 8d41d95
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Type/Unify.hs b/src/Type/Unify.hs
@@ -519,8 +519,8 @@ unifyAlias context name args realVar otherContent =
 
     Alias otherName otherArgs otherRealVar ->
         if name == otherName then
-            do  merge context otherContent
-                zipWithM_ (subUnify context) (map snd args) (map snd otherArgs)
+            do  zipWithM_ (subUnify context) (map snd args) (map snd otherArgs)
+                merge context otherContent
 
         else
             subUnify context realVar otherRealVar