Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-04 20:40:13 -0700 (Sun, 04 Apr 2004)
Revision: 5596
Log message:
Add a core optimization phase Core_opt1.
Probably we need to reconsider the directory structure, because we shouldn't just
drop optimizations into the core directory.
However, core_opt1 is a special phase that undoes some of the core
transformations when they are mistakes. It probably belongs in the core.
The only optimization currently is to eliminate spurious closure conversions:
(lambda_c (params1). lambda_s (params2). e)(args1)(args2)
<-->
(lambda_d (params1 @ params2). e)(args1 @ args2)