Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-09 10:26:23 -0800 (Wed, 09 Mar 2005)
Revision: 6870
Log message:

      This is an intermediate commit.
      
      The "rec" tag raises problems:
         1. Type inference is more complicated.
         2. Type inference is broken (all applications are
            currently inferred as "std").
      
      Fixing the second problem would require a big effort since we
      need unification on tokens.
      
      The real question is, do we really need the "rec" type?  It
      doesn't seem like closure conversion really it, and I don't think
      it is needed anywhere else.
      

Changes	Path
+0 -6	mpcompiler/mmc/core/mmc_core_type_check.ml
+42 -24	mpcompiler/mmc/core/mmc_core_type_infer.ml