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

Rain: implemented the pass to record the type of names in CompState

Browse Source
This commit is contained in:
Neil Brown 2007-08-18 17:05:08 +00:00
parent bc24ba16b1
commit 88380cdc6f
1 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
RainPasses.hs
View File

@ -34,7 +34,15 @@ uniquifyAndResolveVars = everywhereM (mkM uniquifyAndResolveVars')
replaceNameName find replace n = if (A.nameName n) == find then n {A.nameName = replace} else n
recordNameTypes :: Data t => t -> PassM t
recordNameTypes = return
recordNameTypes = everywhereM (mkM recordNameTypes')
where
recordNameTypes' :: A.Specification -> PassM A.Specification
recordNameTypes' input@(A.Specification m n decl@(A.Declaration _ declType))
= defineName n A.NameDef {A.ndMeta = m, A.ndName = A.nameName n, A.ndOrigName = A.nameName n,
A.ndNameType = A.VariableName, A.ndType = decl,
A.ndAbbrevMode = A.Original, A.ndPlacement = A.Unplaced}
>> return input
recordNameTypes' s = return s
transformEach :: Data t => t -> PassM t