Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-15 23:18:25 -0800 (Mon, 15 Mar 2004)
Revision: 5462
Log message:

      The cpsT now works on test_prog1!
      
      TODO:
      - I've added the is_value function to core_type_infer. Currently it just
      checks whether the term is a Lambda, but it should be made resource-driven.
      - I had to add a rule for CPS{ !v; ...} in addition to the
       CPS{ Return{!v}; ...}. Why do we have the two? What is the difference
      between Return{!v} and !v? Should we get rid of Return?
      - The tylambda_intro_base needs to make sure the body of the TyLambda is a
      value.
      - It would be nice to type-check the result of cpsT (at least for testing,
      if not in the compiler proper).
      

Changes  Path
+12 -3 mpcompiler/mmc/core/mmc_core_cps.ml
+12 -1 mpcompiler/mmc/core/mmc_core_type_check.ml
+32 -22 mpcompiler/mmc/core/mmc_core_type_infer.ml