Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2003-03-17 19:39:35 -0800 (Mon, 17 Mar 2003)
Revision: 4178
Log message:

      1. Now parser never generate singleton record, but only empty record.
      
      2. Update record_exm to use new syntax.
      
      Still to do:
      
      1. Allow labels to be meta-parameters and arbitrary term.
      
        token_or_sting  = constant label (as now)
        @token_or_sting  = meta-parameter
        anything else = term
      
      Aleksey, do you agree?
      
      2. Rename rcrd -> record,  record -> Record.
      
      As far as field, I think probably it's not a bad name.
      At least in FIR it's called field. I think we want consistency here.
      

Changes	Path
+3 -4	metaprl/filter/base/term_grammar.ml
+2 -0	metaprl/theories/itt/itt_record.ml
+69 -52	metaprl/theories/itt/itt_record_exm.ml
+1 -1	metaprl/theories/itt/itt_tunion.ml