Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-15 09:14:40 -0800 (Tue, 15 Mar 2005)
Revision: 6931
Log message:
Added back the code for closure elimination.
Added an "eta" term in Mmc_core_util to get the function parameters
as an argument list.
Temporarily removed the IsValue check in the type checker until
Nathan fixes it. With this disabled, mmc_int_test/test_cps1 now
passes closure elimination.