Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2003-02-26 14:15:01 -0800 (Wed, 26 Feb 2003)
Revision: 4135
Log message:

      Extended grammar:
      
      1. Syntax for binary algebraic operations:
       'a *['g] 'b stands for 'g^"*" 'a 'b
      The same for +,-,/,^ and relations: <,=,>,<=,>=,<>
      
      For binary algebraic operations with self the syntax remains unchanged:
       'a ^* 'b (is the same as 'a *['self] 'b) stands for 'self^"*" 'a 'b
      
      2. Fixed a bug: now field selection (r^l) has higher priority than application.
      So you may write: g^inv 'a instead of (g^inv) 'a
      
      3. Boolean relations for integers <@, =@, >@, <>@, <=@, >=@.
      (That is, a<b is proposition and a<@ b is a boolean).
      
      4. Power for integers: a ^@ b
      
      5. Syntax for field update: 'r^x:='a
      
      6. Wild card (_) is removed.
      

Changes	Path
+162 -100	metaprl/filter/base/term_grammar.ml