Fixed a subtle bug with conflicting abbreviation modes in the PROCS generated to copy records

This commit is contained in:
Neil Brown 2009-03-23 21:08:40 +00:00
parent 9c433b248a
commit f73171140c

View File

@ -149,7 +149,7 @@ flattenAssign = pass "Flatten assignment"
= do let t = A.Record n = do let t = A.Record n
(A.Specification _ nonceLHS _) <- makeNonceVariable "record_copy_arg" m t A.Abbrev (A.Specification _ nonceLHS _) <- makeNonceVariable "record_copy_arg" m t A.Abbrev
let destV = A.Variable m nonceLHS let destV = A.Variable m nonceLHS
(A.Specification _ nonceRHS _) <- makeNonceVariable "record_copy_arg" m t A.Abbrev (A.Specification _ nonceRHS _) <- makeNonceVariable "record_copy_arg" m t A.ValAbbrev
let srcV = A.Variable m nonceRHS let srcV = A.Variable m nonceRHS
assigns <- assigns <-
sequence [do let sub = A.SubscriptField m fName sequence [do let sub = A.SubscriptField m fName