git.iko.soy/elk
on master help sign in
Add a specialized version of (>>) in type unification
0d54890Evan Czaplicki
compiler/src/Type/Unify.hs+8
compare with master
unifiedsplit
@@ -90,6 +90,7 @@ instance Applicative Unify where
90
90
91
91
92instance Monad Unify where
92instance Monad Unify where
93+ -- TODO PERF add INLINE here?
93 return a =
94 return a =
94 Unify $ \vars ok _ ->
95 Unify $ \vars ok _ ->
95 ok vars a
96 ok vars a
@@ -103,6 +104,13 @@ instance Monad Unify where
103 in
104 in
104 ka vars ok1 err
105 ka vars ok1 err
105
106
107+ (>>) (Unify ka) (Unify kb) =
108+ Unify $ \vars ok err ->
109+ let
110+ ok1 vars1 _ = kb vars1 ok err
111+ in
112+ ka vars ok1 err
113+
106
114
107register :: IO Variable -> Unify Variable
115register :: IO Variable -> Unify Variable
108register mkVar =
116register mkVar =