Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-16 14:02:03 -0800 (Tue, 16 Mar 2004)
Revision: 5465
Log message:
In the current CPS term semantics, there is no need to use Constraint
when CPS'ing variables and Return statements.
Changes | Path |
+398 -357 | mpcompiler/mmc/core/core_test.prla |
+2 -2 | mpcompiler/mmc/core/mmc_core_cps.ml |