Changeset 2034 for to-imperative/trunk/compiler/rfpc.rf

Timestamp:

Jul 27, 2006, 8:40:44 AM (14 years ago)

Author:

orlov

Message:

• Proper generation of debug info for use with Debug library (-dbg option).
• Result expressions can contain blocks.

File:

• to-imperative/trunk/compiler/rfpc.rf (modified) (4 diffs)

to-imperative/trunk/compiler/rfpc.rf

@@ -25 +25 @@
 $use "rfp_lex"; // rfp_lex.rfi
 $use "rfp_parse"; // rfp_parse.rfi
-$use "rfp_debug"; // rfp_debug.rfi
 $use "rfp_compile"; // rfp_compile.rfi
 $use "rfp_asail_cpp"; //rfp_asail_cpp.rfi
@@ -198 +197 @@
             <In-Table? &RFP-Options AS-TRANSFORMED>;
           },
-          {
-            <In-Table? &RFP-Options DBG> = 
-              <Verbose "debug-text generation started">,
-              <RFP-Debug e.Items> :: e.Items,
-              <Verbose "debug-text generation finished">, 
-              e.Items;
-            e.Items;
-          } :: e.Items,    
           {
             <In-Table? &RFP-Options NO-TRANSFORM> = e.Items;
@@ -592 +583 @@
         <Bind &Fun? (t.FName) (IMPORT FUNC? t.Pragma ((EVAR)) ((EVAR)))>;
     },
-      $fail;;
+      $fail;
+    {
+      <In-Table? &RFP-Options DBG> =
+        <Bind &Fun? ((Debug Stop?)) (IMPORT FUNC? (PRAGMA) ((EVAR)) ())>,
+        <Bind &Fun  ((Debug Debug)) (IMPORT FUNC  (PRAGMA) ((EVAR)) ())>;;
+    };
   };
 
@@ -684 +680 @@
   },
     <Extract-Inputs e.items>;
-  e.items = e.items;
+  e.items =
+    {
+      <In-Table? &RFP-Options DBG> = <Bind &Includes (Debug) (BOOT)>;;
+    },
+    e.items;
 };