Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-16 12:57:40 -0800 (Sun, 16 Jan 2005)
Revision: 6413
Log message:

      Working version of hoisting.
      
      Currently, the result of hoisting is a mix of non-recursive and
      recursive functions.
      
         let hoist f1 = lambda ... in
         let rec f2 : ty2
         and f2 = lambda ...
         in
            e
      
      I'd like to combine these all into a single letrec,
      but for that we need to compute the type of a
      nonrecursive function.
      

Changes	Path
+3 -3	mpcompiler/mmc/base/mmc_base_meta.ml
+2 -13	mpcompiler/mmc/core/mmc_core_hoist.ml