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

Allowed removeNesting to pull up functions (the only ones affected will be the built-in operators)

Browse Source
This commit is contained in:
Neil Brown 2009-04-07 16:07:46 +00:00
parent 8635039542
commit 85790012b0
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
transformations/Unnest.hs
View File

@ -227,6 +227,7 @@ removeNesting = pass "Pull nested definitions to top level"
canPull :: A.SpecType -> Bool canPull :: A.SpecType -> Bool
canPull (A.Proc _ _ _ _) = True canPull (A.Proc _ _ _ _) = True
canPull (A.Function {}) = True
canPull (A.RecordType _ _ _) = True canPull (A.RecordType _ _ _) = True
canPull (A.Protocol _ _) = True canPull (A.Protocol _ _) = True
canPull (A.ProtocolCase _ _) = True canPull (A.ProtocolCase _ _) = True