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

Rain: implemented the pass to give declarations unique names

Browse Source
This commit is contained in:
Neil Brown 2007-08-18 15:48:22 +00:00
parent 9d9b6dd73f
commit 34eac44d45
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
RainPasses.hs
View File

@ -23,8 +23,11 @@ rainPasses = runPasses passes
uniquifyVars :: Data t => t -> PassM t
uniquifyVars = everywhereM (mkM uniquifyVars')
where
uniquifyVars' :: A.Structured -> PassM A.Structured
uniquifyVars' = return
uniquifyVars' :: A.Specification -> PassM A.Specification
uniquifyVars' (A.Specification m n decl@(A.Declaration _ _))
= do n' <- makeNonce $ A.nameName n
return (A.Specification m n {A.nameName = n'} decl)
uniquifyVars' s = return s
transformEach :: Data t => t -> PassM t
transformEach = everywhereM (mkM transformEach')