Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-08 10:14:09 -0700 (Thu, 08 Apr 2004)
Revision: 5620
Log message:
A few changes:
1. Trying to get rid of the naming stage. This stage should be used
only when needed, not arbitrarily. It might happen that naming
is required for type inference, because of let-polymorphism,
then we might want to add it back.
2. Removed the || and && transformations from naming, and added
a Mmc_core_front stage that is applied before CPS. This is
also where loops get transformed into recursive functions.
One issue: currently it is the CPS transformation that ensures that
conditionals don't return a value. However, we want to apply this
transformation even if we don't use CPS.
3. Added an extension for unit values.
4. Added an extension for loops. Currently, we just have a while-loop.