Changeset 3802 for applications/trunk/LFC/parser/Parser.rf

Timestamp:

Jun 3, 2008, 1:44:26 PM (13 years ago)

Author:

orlov

Message:

• Small fixes, !GetRAST, samples.

File:

• applications/trunk/LFC/parser/Parser.rf (modified) (4 diffs)

applications/trunk/LFC/parser/Parser.rf

@@ -4 +4 @@
 $func Main = e;
 Main =
-  <Lexer <Expr_Open
-  'dec merge: List*List -> List;'
-  'var n: Node;'
-  '    l1, l2: List;'
-  'def merge (n, l2) = n[]","[]l2 ;'
-  '    merge (n[]","[]l1, l2) = scat(n, ",", merge(l1, l2)) ;'
-  >> :: e.tokens,
-  <WriteLn e.tokens>,
-  <WriteLn <Program e.tokens>>;
+  <Lexer <File_Open "samples.lfc">> :: e.tokens,
+  //<WriteLn e.tokens>,
+  <WriteLn <GetRAST <Program e.tokens>>>;
+
+$func GetRAST e.ast = e.ast;
+GetRAST {
+  /*empty*/ = /*empty*/;
+  t.term e.ast = t.term : {
+    (IDENT t.name VAR) = (VAR t.name);
+    (IDENT t.name CALL e.args) = (CALL t.name <GetRAST e.args>);
+    (SENTENCE t.name e.exp (WHERE e.assigns)) = (SENTENCE t.name (LET (<GetRAST e.assigns>) <GetRAST e.exp>));
+    (PAREN e.exp (WHERE e.assigns)) = (PAREN (LET (<GetRAST e.assigns>) <GetRAST e.exp>));
+    (e.exp) = (<GetRAST e.exp>);
+    s.sym = s.sym;
+  } :: t.term,
+    t.term <GetRAST e.ast>;
+};
 
 $func Parse (e.tokens) e.expr = e.ast (e.tokens);
 Parse {
   (e.tokens) /*empty*/ = (e.tokens);
-  (e.tokens) t.term e.expr = <WriteLn <L 0 e.tokens> PPP t.term e.expr>, t.term : {
+  (e.tokens) t.term e.expr = t.term : {
     (Get s.func) =
       <Apply s.func e.tokens> : e.ast (e.tokens_rest),
@@ -34 +42 @@
 
 $func Error (e.tokens) e.message = (e.tokens);
-Error {((e.tk (e.pos)) e) e.message =
+Error ((e.tk (e.pos)) e) e.message =
   <Write e.pos> <Print ' --- 'e.message' while ('> <Write e.tk> <PrintLn ') have been got'>,
   $error "Can't parse the program";
-(e1) e2 = <WriteLn Eee (e1) e2>, $fail;};
-
-$public $func Program e.tokens = e.ast (e.tokens);
+
+$func Program e.tokens = e.ast (e.tokens);
 Program e.tokens = {
   e.tokens : (DEC e) e = <Parse (e.tokens) (FUNC (Get &FunctionDec) (Get &VarDecAndFuncDef)) (Get &ProgramRest)>;
@@ -48 +55 @@
 ProgramRest e.tokens = {
   e.tokens : (EOF e) = ();
-  e.tokens : (DEC e) e = <Program (e.tokens)>;
+  e.tokens : (DEC e) e = <Program e.tokens>;
   <Error (e.tokens) "expected function declaration">;
 };
@@ -206 +213 @@
   e.tokens : \{ (ELSE e) e; (RPAR e) e; (SC e) e; (THEN e) e; } = (e.tokens);
   e.tokens : (CONCAT e) e.tokens_rest = <ExpWithWhere e.tokens_rest>;
-  e.tokens : (WHERE e) e.tokens_rest = (WHERE <VarassignList e.tokens_rest>);
+  e.tokens : (WHERE e) e.tokens_rest = <Parse (e.tokens_rest) (WHERE (Get &VarassignList))>;
   <Error (e.tokens)>;
 };