Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-22 12:11:26 -0800 (Tue, 22 Mar 2005)
Revision: 7000
Log message:

      Fixed a bug in CPS - TyCPS {TyFun...} only applied TyCPS to the return type,
      but not to parameters type.
      
      I am sure Jason would be verry "happy" to see me use a nice little helper
      operator with a type
      
      declare sequent [TySeqCPS{'arg: ty_sequent{ty_hyp{'a; TyExp}; TyExp; TyExp}}] { 'a  : TyExp >- TyExp } : TySeqCPSBody{'a}
      
      ;-) But in any case it is very cool that the type inference handles this
      correctly.
      

Changes	Path
+8 -8	mpcompiler/mmc/core/mmc_core_cps.ml
+3 -1	mpcompiler/mmc/core/mmc_core_cps_private.mli
+1 -0	mpcompiler/mmc/test/mmc
+7 -21	mpcompiler/mmc/test/mmc_tests_out.previous