@@ -147,11 +147,10 @@ constrain env (L span expr) tipe =
147147 (c1 /\ c))
148148
149149 PortIn _ _ tt handler ->
150− exists $ \t1 ->
151− exists $ \t2 ->
150+ exists $ \tIncoming ->
152151 exists $ \tHandler -> do
153152 cHandler <- constrain env handler tHandler
154− return $ and [ cHandler, tHandler === (t1 ==> t2), tt === t2 ]
153+ return $ and [ cHandler, tHandler === (tIncoming ==> tt) ]
155154
156155 PortOut _ _ signal ->
157156 constrain env signal tipe