@@ -76,8 +76,6 @@ unifyTypes t1 t2 = rethrow (\e -> "Error unifying type " ++ prettyPrintType t1 +
76 unifyTypes' (TUnknown u1) (TUnknown u2) | u1 == u2 = return ()
76 unifyTypes' (TUnknown u1) (TUnknown u2) | u1 == u2 = return ()
77 unifyTypes' (TUnknown u) t = replace u t
77 unifyTypes' (TUnknown u) t = replace u t
78 unifyTypes' t (TUnknown u) = replace u t
78 unifyTypes' t (TUnknown u) = replace u t
79− unifyTypes' (SaturatedTypeSynonym name1 args1) (SaturatedTypeSynonym name2 args2)
80− | name1 == name2 = zipWithM_ unifyTypes args1 args2
81 unifyTypes' (SaturatedTypeSynonym name args) ty = do
79 unifyTypes' (SaturatedTypeSynonym name args) ty = do
82 ty1 <- expandTypeSynonym name args
80 ty1 <- expandTypeSynonym name args
83 ty1 `unifyTypes` ty
81 ty1 `unifyTypes` ty