Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-02-20 17:18:12 -0800 (Fri, 20 Feb 2004)
Revision: 5394
Log message:
Type inference was failing because type erasure wasn't implemented for all
terms. Now type inference works for all test cases that it can be expected to
work for.
Next, I'll change Fix to reflect our Wednesday meeting. I'll also try to get
partial application working -- it's not supported at the moment.