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 |