suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fixed the type-inference to work again with input from timers

Browse Source
This commit is contained in:
Neil Brown 2009-04-19 17:35:35 +00:00
parent 13ce688271
commit d3f4bd587e
1 changed files with 1 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
frontends/OccamInferTypes.hs
View File

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