source: applications/trunk/LFC/lfc.ast @ 3799

/* $Id: lfc.ast 3799 2008-06-02 17:32:55Z orlov $ */

e.program ::= t.func_def e.func_defs

e.func_defs ::= /*empty*/ | t.func_def e.func_defs

t.func_def ::= (FUNC t.name (e.func_type) (e.var_decls) t.sentence e.sentences)

e.func_type ::= t.type e.types t.type

e.tpyes ::= /*empty*/ | t.type e.types

e.var_decls ::= /*empty*/ | (t.var e.vars t.type) e.var_decls

e.vars ::= /*empty*/ | t.var e.vars

e.sentences ::= /*empty*/ | t.sentence e.sentences

t.sentence ::= (SENTENCE t.name (t.pattern e.patterns) t.term e.exp)

e.patterns ::= /*empty*/ | t.pattern e.patterns

e.exp ::= /*empty*/ | t.term e.exp

t.type ::= (TYPE t.name)

t.var ::= (VAR t.name)

t.name ::= ([characters])

(e.patterns) e.exp