From d3f4bd587eff559ad8ed6f1523bae50b1ddd5454 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Sun, 19 Apr 2009 17:35:35 +0000
Subject: [PATCH] Fixed the type-inference to work again with input from timers

---
 frontends/OccamInferTypes.hs | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/frontends/OccamInferTypes.hs b/frontends/OccamInferTypes.hs
index 6aa62bc..b243cc2 100644
--- a/frontends/OccamInferTypes.hs
+++ b/frontends/OccamInferTypes.hs
@@ -761,11 +761,7 @@ inferTypes = occamOnlyPass "Infer types"
                        (recurse v >>= derefVariableIfNeeded (Just t)) >>* A.ActualVariable
                      _ -> descend a
                    | (a, (_,t,_)) <- zip as params] >>* A.IntrinsicProcCall m n                   
-            A.Input m v im@(A.InputSimple {})
-              -> do v' <- recurse v
-                    im' <- doInputMode v' im
-                    return $ A.Input m v' im'
-            A.Input m v im@(A.InputCase {})
+            A.Input m v im
               -> do v' <- recurse v
                     im' <- doInputMode v' im
                     return $ A.Input m v' im'