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

      The test_prog1 and test_prog5 type check after CPS!
      
      A new TODO:
      - A few test progs get stuck on TyCPS{HypsOfList{...}}. This means that we
      have to either get rid of the "Constrain" on cps_var and cps_return, or
      we have to define rewrites for
      sequent[TyCPS{tag}] { <H> >- sequent [tag] { HypsOfList {...} >- ... } }
      (which should not be too hard).
      

Changes  Path
+491 -388 mpcompiler/mmc/core/core_test.prla
+11 -2 mpcompiler/mmc/core/mmc_core_cps.ml
+1 -0 mpcompiler/mmc/core/mmc_core_cps.mli
+4 -1 mpcompiler/mmc/core/mmc_core_type_check.ml