Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-08-19 16:58:30 -0700 (Thu, 19 Aug 2004)
Revision: 6122
Log message:

      Switched AtomTyApply{'e; 'e_ty; 'ty_args} so that 'ty_args is a sequent, similar
      to the change to Apply.
      

Changes  Path
+10 -5 mpcompiler-branches/letfun/mmc/core/mmc_core_tast.ml
+7 -0 mpcompiler-branches/letfun/mmc/core/mmc_core_tast.mli
+1 -1 mpcompiler-branches/letfun/mmc/core/mmc_core_tast_util.ml
+10 -10 mpcompiler-branches/letfun/mmc/core/mmc_core_type_check.ml
+80 -71 mpcompiler-branches/letfun/mmc/core/mmc_core_type_infer.ml
+2 -2 mpcompiler-branches/letfun/mmc/test/mmc_int_test.ml