Make unifies with relation transitive again
commit0289bb603ccf9467064600e4b70273ae71569d8d
authorPhil Freeman <paf31@cantab.net>
dateSat 11 Jan 2014, 09:48 (13 years ago)
parent2405fb6
src/Language/PureScript/TypeChecker/Types.hs−2
@@ -76,8 +76,6 @@ unifyTypes t1 t2 = rethrow (\e -> "Error unifying type " ++ prettyPrintType t1 +
7676 unifyTypes' (TUnknown u1) (TUnknown u2) | u1 == u2 = return ()
7777 unifyTypes' (TUnknown u) t = replace u t
7878 unifyTypes' t (TUnknown u) = replace u t
79− unifyTypes' (SaturatedTypeSynonym name1 args1) (SaturatedTypeSynonym name2 args2)
80− | name1 == name2 = zipWithM_ unifyTypes args1 args2
8179 unifyTypes' (SaturatedTypeSynonym name args) ty = do
8280 ty1 <- expandTypeSynonym name args
8381 ty1 `unifyTypes` ty