Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2003-08-24 04:37:35 -0700 (Sun, 24 Aug 2003)
Revision: 4872
Log message:

      Fixed a bug for non-recursive functions. They were translated to
      ordinary lambdas instead of lambda_p.
      Added a test case for if expressions.
      

Changes  Path
+1 -1 metaprl/theories/experimental/compile/m_ast.ml
+10 -5 metaprl/theories/experimental/compile/m_ast.pho
+1 -1 metaprl/theories/experimental/compile/m_ir_ast.ml
+26 -1 metaprl/theories/experimental/compile/m_test.ml