Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-10 10:24:46 -0800 (Thu, 10 Mar 2005)
Revision: 6877
Log message:
Quantify lambdas in type inference.
In general, we should move to OCaml-style value polymorphism,
rather than let-polymorphism.
That means, for example, that lambdas are quantified even if they
are not in a let. Also, values like [] are quantified.