Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2003-02-18 14:44:28 -0800 (Tue, 18 Feb 2003)
Revision: 4083
Log message:

      Added M AST. Next is putting back the ability in Phobos to apply
      relaxed rewrites (post-parsing) since these were taken out with
      the initial integration, and commiting the MetaPRL term
      definitions and display forms for M AST.
      The current AST is different from the IR in only that
      functions are defined/called with a list of params/args.
      I have to think about whether we can do currying in MetaPRL, or
      have to resort to Phobos and its relaxed rewrites (when I put them
      back).
      For now, the ext: quotation uses m_ir.pho, but I will commit a quick
      fix to allow the changing of the grammar as one compiles MetaPRL.
      

Changes	Path
Added	metaprl/theories/experimental/compile/m_ast.pho
Properties	metaprl/theories/experimental/compile/m_ast.pho