Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-08-19 18:57:37 -0700 (Thu, 19 Aug 2004)
Revision: 6123
Log message:

      Argh.  I now come really close to correct results but I can't get the binding
      structure to come out right.  I get things like:
      
          foo : \all(ty_x100). ( ty_x100 ) -> ty_x100 =
              \lambda(x:!ty_x100). x
      
      Notice that the ty_x100 in the lambda is unbound.  I don't know what's wrong.
      Jason, maybe you can take a look at test_letrec2 and infer_letfuns to see if you
      notice a problem.
      
      One thing that might be an issue -- the function bodies are inferred without
      their quantified types in the tenv.  I don't know what effect that might have.
      

Changes	Path
+38 -41	mpcompiler-branches/letfun/mmc/core/mmc_core_type_infer.ml