@@ -147,10 +147,7 @@ constrain env (L span expr) tipe =
147147 (c1 /\ c))
148148
149149 PortIn _ _ tt handler ->
150− exists $ \tIncoming ->
151− exists $ \tHandler -> do
152− cHandler <- constrain env handler tHandler
153− return $ and [ cHandler, tHandler === (tIncoming ==> VarN tt) ]
150+ constrain env handler (VarN tt)
154151
155152 PortOut _ _ signal ->
156153 constrain env signal tipe