Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2003-08-24 13:20:55 -0700 (Sun, 24 Aug 2003)
Revision: 4875
Log message:

      I have no idea why ext_test1 and ext_test2 does not compile.
      Can someone look at it and tell me where the IR code is bogus?
      
      To check it out, include experimental/compile in your build,
      and cd into m_test/ext_test[1|2]. Both are AST terms, to convert
      them to IR use the irT tactic, or simply use compileT to try
      to compile them to asm.
      

Changes	Path
+3 -3	metaprl/theories/experimental/compile/m_ir_ast.ml
+1 -1	metaprl/theories/experimental/compile/m_test.ml