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

Implemented getDecl, although it returns a name for all specifications (including typedefs and processes)

Browse Source
This commit is contained in:
Neil Brown 2008-11-13 13:02:09 +00:00
parent 2673ace2d5
commit 1cf9dfff0e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
checks/UsageCheckUtils.hs
View File

@ -227,7 +227,7 @@ getVarSpec (A.Specification _ n st) = get st
(Just $ A.ExprVariable (findMeta v) v)
getDecl :: (String -> Decl) -> A.Specification -> Maybe Decl
getDecl _ _ = Nothing -- TODO
getDecl f (A.Specification _ name _) = Just $ f (A.nameName name)
getVarFormals :: Meta -> [A.Formal] -> Vars
getVarFormals m = mapUnionVars (getVarFormal m)