Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-06-21 21:19:18 -0700 (Tue, 21 Jun 2005)
Revision: 7398
Log message:

      A little more progress on getting rid of string representation.
      There was a problem exposed with only one test !!!
      Making changes in such a situation is a bit scary.
      I'll make the data model more flexible to reflect potential misuses of string representation (just in case they are not actually misuses but legitimate ones).
      

Changes  Path
+22 -13 metaprl/refiner/reflib/jall.ml
+65 -29 metaprl/refiner/reflib/jordering.ml
+4 -3 metaprl/refiner/reflib/jtunify.ml
+3 -1 metaprl/refiner/reflib/jtypes.ml