Changeset 3803

Timestamp:

Jun 3, 2008, 1:47:50 PM (13 years ago)

Author:

orlov

Message:

• RAST for LFC -- finished.

File:

• applications/trunk/LFC/lfc.ast (modified) (3 diffs)

applications/trunk/LFC/lfc.ast

@@ -9 +9 @@
 e.func_type ::= t.type e.types t.type
 
-e.tpyes ::= /*empty*/ | t.type e.types
+e.types ::= /*empty*/ | t.type e.types
 
 e.var_decls ::= /*empty*/ | (t.var e.vars t.type) e.var_decls
@@ -17 +17 @@
 e.sentences ::= /*empty*/ | t.sentence e.sentences
 
-t.sentence ::= (SENTENCE t.name (t.pattern e.patterns) t.term e.exp)
+t.sentence ::= (SENTENCE t.name ((t.pat e.pattern) e.patterns) t.term e.exp)
 
-e.patterns ::= /*empty*/ | t.pattern e.patterns
+e.patterns ::= /*empty*/ | (t.pat e.pattern) e.patterns
+
+e.pattern ::= /*empty*/ | t.pat e.pattern
+
+t.pat ::= t.var | t.const
 
 e.exp ::= /*empty*/ | t.term e.exp
+
+t.term ::= (UNDEFINED)
+         | t.const
+         | t.var
+         | (CALL t.name (e.exp) e.args)
+         | (PAREN e.exp)
+         | (IF (e.exp) (e.exp) (e.exp))
+         | (LET (t.assign e.assigns) e.exp)
+
+e.args ::= /*empty*/ | (e.exp) e.args
+
+e.assigns ::= /*empty*/ | t.assign e.assigns
+
+t.assign ::= (t.var e.exp)
+
+t.const ::= (STRING [characters])
 
 t.type ::= (TYPE t.name)
@@ -29 +49 @@
 t.name ::= ([characters])
 
-(e.patterns) e.exp