Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-28 20:53:10 -0800 (Fri, 28 Jan 2005)
Revision: 6524
Log message:

      Preparing for non-canonical syntax types.
      
      This point was garbage:
      
      >  1. Make non-extensible typeclasses.
      >
      >     define typeclass Ty1 =
      >        TyExp
      >      | KindExp
      >
      >     Non-extensible means that it is illegal to extend the type
      >     afterwards.
      >
      >        declare FooExp : Ty1
      >
      >     The reason is because of negative type constraints (step 3).
      
      We can just use the normal open-ended semantics.  There is no need
      to implement typeclass unions.
      

Changes	Path
+65 -51	metaprl-branches/opname_classes2/refiner/reflib/term_match_table.ml
+1 -1	metaprl-branches/opname_classes2/refiner/reflib/term_match_table.mli
+1 -2	metaprl-branches/opname_classes2/refiner/refsig/rewrite_sig.ml