Changeset 3895 for applications/trunk/LFC/ToASR/ToASR.rf

Timestamp:

Sep 2, 2008, 4:54:12 PM (12 years ago)

Author:

orlov

Message:

• Some progress in the LFC implementation through ASR.

File:

• applications/trunk/LFC/ToASR/ToASR.rf (modified) (5 diffs)

applications/trunk/LFC/ToASR/ToASR.rf

@@ -29 +29 @@
 $func CallEarley t.var = e.call;
 CallEarley (EVAR (s.n e.name)) =
-  (RESULT (CALL (Earley Earley) (TYPE (e.name)) (EVAR (s.n e.name))))
+  (RESULT (CALL (Earley Earley) (PAREN TYPE (PAREN e.name)) (EVAR (s.n e.name))))
   (FORMAT (EVAR (s.n)));
 
@@ -43 +43 @@
   <L s.n e.args> : (EVAR (s.n e.type_name)),
   (RESULT (EVAR (s.n)))
-  (LEFT <FreshEVAR> ((TYPE (e.type_name) (EVAR (0 s.n))) <Map &VarType (e.var_decls) (e.pattern)> DOT 0) <FreshEVAR>)
+  (LEFT <FreshEVAR> (PAREN (PAREN TYPE (PAREN e.type_name) (EVAR (0 s.n))) <Map &VarType (e.var_decls) (e.pattern)> DOT 0) <FreshEVAR>)
   (RESULT (CALL (Earley RemoveParens) (EVAR (0 s.n))))
   (LEFT <Map &GetVar (e.pattern)>);
@@ -50 +50 @@
 VarType (e.var_decls) t.pat, {
   t.pat : (VAR t.name) =
-    e.var_decls : e (e t.pat e t.type) e = t.type;
+    e.var_decls : e (e t.pat e (TYPE (e.type_name))) e = (PAREN TYPE (PAREN e.type_name));
   t.pat;
 };
@@ -93 +93 @@
   ));
 
+$func AddPAREN e = e;
+AddPAREN {
+  (e1) e2 = (PAREN <AddPAREN e1>) <AddPAREN e2>;
+  s1 e2 = s1 <AddPAREN e2>;
+  /*empty*/ = /*empty*/;
+};
+
 $box ModuleName;
 
@@ -101 +108 @@
 Main =
   <ParseFile "samples.lfc"> :: e.ast,
-  <ParseGrammarFile "samples.g"> :: e.grammar,
+  <AddPAREN <ParseGrammarFile "samples.g">> :: e.grammar,
   <Store &ModuleName "samples">,
-  <WriteLn (MODULE (<Get &ModuleName>) <Comp e.ast> <GenerMain ('isBit') e.grammar>)>;
+  (IMPORT FUNC ("refal" "plus" StdIO WriteLn) ((EVAR)) ())
+  (IMPORT FUNC (Earley Init) ((EVAR)) ())
+  (IMPORT FUNC (Earley RemoveParens) ((EVAR)) ((EVAR)))
+  (IMPORT FUNC (Earley Earley) ((TVAR) (EVAR)) ((EVAR))) :: e.imports,
+  <Channel> :: s.ch,
+  <OpenFile s.ch "samples.asr" W>,
+  <WriteLnCh s.ch (MODULE (<Get &ModuleName>) e.imports <Comp e.ast> <GenerMain ('isBit') e.grammar>)>,
+  <CloseChannel s.ch>;