Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-11 19:36:39 -0800 (Fri, 11 Mar 2005)
Revision: 6908
Log message:

      I'm being a little anal here.  I prefer the form where the <singleton_params_c>
      is a context, containing singleton types.  This gets the arity of the functions
      right, and I feel a little better about it just because I have a better
      understanding of the semantics.
      

Changes  Path
+7 -1 metaprl/support/display/perv.mli
+22 -19 mpcompiler/mmc/core/mmc_core_closure.ml
+22 -25 mpcompiler/mmc/core/mmc_core_sweep.ml
+18 -16 mpcompiler/mmc/core/mmc_core_tast.ml
+64 -47 mpcompiler/mmc/core/mmc_core_tast.mli