From f73171140cc582e57b346846cbc5a2a769392b3c Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Mon, 23 Mar 2009 21:08:40 +0000 Subject: [PATCH] Fixed a subtle bug with conflicting abbreviation modes in the PROCS generated to copy records --- transformations/SimplifyProcs.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/transformations/SimplifyProcs.hs b/transformations/SimplifyProcs.hs index 4e9df11..36fca72 100644 --- a/transformations/SimplifyProcs.hs +++ b/transformations/SimplifyProcs.hs @@ -149,7 +149,7 @@ flattenAssign = pass "Flatten assignment" = do let t = A.Record n (A.Specification _ nonceLHS _) <- makeNonceVariable "record_copy_arg" m t A.Abbrev 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 assigns <- sequence [do let sub = A.SubscriptField m fName