Changeset 3854

Timestamp:

Jul 18, 2008, 5:40:18 PM (12 years ago)

Author:

yura

Message:

 

File:

• to-imperative/trunk/doc/abstract_syntax_new.txt (modified) (1 diff)

to-imperative/trunk/doc/abstract_syntax_new.txt

@@ -123 +123 @@
 t.Term ::= t.Symbol | t.Paren | t.Variable | t.Call
 
-t.Paren ::= (PAREN t.Pragma e.Expression) 
+t.Paren ::= (PAREN t.Pragma t.Expression) 
 
-t.Call ::= (CALL t.Pragma t.Name e.Expression)
+t.Call ::= (CALL t.Pragma t.Name t.Expression)
 
 t.Symbol ::= (SYMBOL t.Pragma e.Data) | (REF t.Pragma t.Name)