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

Fixed the generated PROCs for copying records not having their definition recorded

Browse Source
This commit is contained in:
Neil Brown 2009-02-02 17:23:28 +00:00
parent 460ee36247
commit 40b9a8b76b
1 changed files with 15 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
transformations/SimplifyProcs.hs
View File

@ -156,6 +156,19 @@ flattenAssign = pass "Flatten assignment"
(A.SubscriptedVariable m sub srcV))
| (fName, fType) <- fs]
let code = A.Seq m $ A.Several m $ map (A.Only m) assigns
n' = n {A.nameName = "copy_" ++ A.nameName n}
proc = A.Proc m (A.InlineSpec, A.PlainRec)
[A.Formal A.Abbrev t nonceLHS, A.Formal A.ValAbbrev t nonceRHS]
code
defineName n' $ A.NameDef {
A.ndMeta = m,
A.ndName = A.nameName n',
A.ndOrigName = A.nameName n',
A.ndSpecType = proc,
A.ndAbbrevMode = A.Original,
A.ndNameSource = A.NameNonce,
A.ndPlacement = A.Unplaced
}
return (A.Spec m (A.Specification m (n {A.nameName = "copy_" ++ A.nameName n})
(A.Proc m (A.InlineSpec, A.PlainRec) [A.Formal A.Abbrev t nonceLHS, A.Formal A.ValAbbrev t nonceRHS] code)))
return (A.Spec m (A.Specification m n' proc))