Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2003-03-24 11:24:39 -0800 (Mon, 24 Mar 2003)
Revision: 4230
Log message:

      Killing the tab characters in the README file and adding my
      perpetual nitpick about deadcode-elim and semantics. (-:
      
      Also adding rewrites for AtomTrue and AtomFalse to CPS.
      Perhaps these were just overlooked?
      
      Two more comments now:
      
      (1) (minor) Why isn't M_ast / M_post_parsing compiled at all?
      
      (2) I thought I understood AtomFunVar, but now I'm confused.  It
      appears at the AST level, in closure conversion, and in codegen.
      Why is there no mention of it in CPS?  Or perhaps, more to the
      point: when and where is AtomFunVar supposed to be used?
      

Changes	Path
+11 -3	metaprl-branches/lm_libmojave/theories/experimental/compile/README
+10 -4	metaprl-branches/lm_libmojave/theories/experimental/compile/m_cps.ml