Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-24 20:50:56 -0700 (Thu, 24 Apr 2003)
Revision: 4486
Log message:
- Cleaned up a few display forms in IR
- Started cleaning up the documentation in CPS
- made cps resource improvement work through annotations.
Changes | Path |
+38 -83 | metaprl/theories/experimental/compile/m_cps.ml |
+10 -8 | metaprl/theories/experimental/compile/m_ir.ml |