Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-11 21:14:11 -0800 (Fri, 11 Feb 2005)
Revision: 6662
Log message:
Migrated the Refine.check_* tests so they are performed before
type checking.
I don't know how the errors in itt_reflection_example_lambda.ml escaped us...