Capture the entire type of the handler for incoming ports

2014-01-05 10:40:27 +01:00 · 2014-01-05 10:40:27 +01:00 · dc3bba714c
commit dc3bba714c
parent 5dd7b6b1bb
1 changed files with 1 additions and 4 deletions
--- a/compiler/Type/Constrain/Expression.hs
+++ b/compiler/Type/Constrain/Expression.hs
@ -147,10 +147,7 @@ constrain env (L span expr) tipe =
                                 (c1 /\ c))

      PortIn _ _ tt handler ->
-          exists $ \tIncoming ->
-          exists $ \tHandler -> do
-            cHandler <- constrain env handler tHandler
-            return $ and [ cHandler, tHandler === (tIncoming ==> VarN tt) ]
+          constrain env handler (VarN tt)

      PortOut _ _ signal ->
          constrain env signal tipe