Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2003-08-22 16:34:43 -0700 (Fri, 22 Aug 2003)
Revision: 4868
Log message:

      The core of the AST->IR conversion for the M language.
      Next is to add new source-level features to the language (loops, etc.).
      Then I return to the UNITY translation, which should be straightforward
      at that point.
      

Changes  Path
+2 -0 metaprl/theories/experimental/compile/Makefile
+2 -0 metaprl/theories/experimental/compile/OMakefile
+79 -5 metaprl/theories/experimental/compile/m_ast.ml
+71 -4 metaprl/theories/experimental/compile/m_ast.mli
+87 -69 metaprl/theories/experimental/compile/m_ast.pho
Added metaprl/theories/experimental/compile/m_ir_ast.ml
Properties metaprl/theories/experimental/compile/m_ir_ast.ml
Added metaprl/theories/experimental/compile/m_ir_ast.mli
Properties metaprl/theories/experimental/compile/m_ir_ast.mli
+0 -2 metaprl/theories/experimental/compile/m_test.ml
+6 -1 metaprl/theories/experimental/compile/m_theory.ml
+2 -0 metaprl/theories/experimental/compile/m_theory.mli