Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-02-26 21:43:45 -0800 (Wed, 26 Feb 2003)
Revision: 4141
Log message:

      Added initial assembly code.
      Will have to talk about how we handle tailcalls, and closures.
      It will take some work.
      
      Adam, phobos goes into an infinite loop on m_closure.ml.
      Can you check it out?
      

Changes  Path
+2 -0 metaprl/theories/experimental/compile/Makefile
+3 -0 metaprl/theories/experimental/compile/m_closure.ml
+2 -0 metaprl/theories/experimental/compile/m_theory.ml
+2 -0 metaprl/theories/experimental/compile/m_theory.mli
Added metaprl/theories/experimental/compile/m_x86.ml
Properties metaprl/theories/experimental/compile/m_x86.ml
Added metaprl/theories/experimental/compile/m_x86.mli
Properties metaprl/theories/experimental/compile/m_x86.mli
Added metaprl/theories/experimental/compile/x86_asm.ml
Properties metaprl/theories/experimental/compile/x86_asm.ml
Added metaprl/theories/experimental/compile/x86_asm.mli
Properties metaprl/theories/experimental/compile/x86_asm.mli