Changeset 2042 for to-imperative/trunk/compiler/rfp_as2as.rf

Timestamp:

Jul 27, 2006, 9:32:44 PM (15 years ago)

Author:

orlov

Message:

• Fixed generation of debugging info for some cases.

File:

• to-imperative/trunk/compiler/rfp_as2as.rf (modified) (2 diffs)

to-imperative/trunk/compiler/rfp_as2as.rf

@@ -114 +114 @@
       eL e.assigns (RESULT t.Pragma e.Re) (<Format-Exp e.Re>);
     };
+  (NOT (BRANCH t.p1 e.body)) eR =
+    <Unstick-Blocks e.body> :: e.body t.empty,
+    eL (NOT (BRANCH t.p1 e.body)) <Unstick-Blocks eR>;
   (ITER (BRANCH t.p1 e.body) t.IterVars (BRANCH t.p2 e.condition)) =
     <Unstick-Blocks e.body> :: e.body t,
@@ -130 +133 @@
 Flatten-Result s.N (e.Re) e.items, e.items : {
   t1 e.rest, t1 : \{ (BLOCK e); (BLOCK? e); } =
-    <Gener-Var-Indices s.N (<Format-Exp e.Re>) "aux" "result"> :: e.aux1 s.N,
+    <Format-Exp e.Re> :: e.Fe,
+    <MSG (e.Fe) (e.Fe)> :: e.Fe,  // hack for avoiding non-hard formats
+    <Gener-Var-Indices s.N (e.Fe) "aux" "result"> :: e.aux1 s.N,
     <Unstick-Blocks t1> :: e1 (e.Format),
     <Gener-Var-Indices s.N (e.Format) "aux" "block"> :: e.aux2 s.N,