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

Fixed inferTypes so that it again handles Specifications in Structured ExpressionList in function definitions

Browse Source
This commit is contained in:
Neil Brown 2009-02-11 11:53:04 +00:00
parent 152f5fc252
commit a1585c74a9
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
frontends/OccamTypes.hs
View File

@ -898,10 +898,11 @@ inferTypes = occamOnlyPass "Infer types"
-- (This can go away once we represent all functions in the new Process
-- form.)
doFuncDef :: [A.Type] -> Transform (A.Structured A.ExpressionList)
doFuncDef ts (A.Spec m spec s)
= do spec' <- recurse spec
doFuncDef ts (A.Spec m (A.Specification m' n st) s)
= do st' <- runReaderT (doSpecType n st) s
modifyName n (\nd -> nd { A.ndSpecType = st' })
s' <- doFuncDef ts s
return $ A.Spec m spec' s'
return $ A.Spec m (A.Specification m' n st') s'
doFuncDef ts (A.ProcThen m p s)
= do p' <- recurse p
s' <- doFuncDef ts s