Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-12 15:56:25 -0700 (Mon, 12 Jul 2004)
Revision: 6061
Log message:

      Fixing bug 262 - the type-checking rules should not insist on using the
      TyFun["std"] everywhere.
      

Changes  Path
+3 -8 mpcompiler/mmc/core/mmc_core_type_check.ml
+2 -2 mpcompiler/mmc/extensions/fix/mmc_ext_fix.ml
+399 -366 mpcompiler/mmc/test/mmc_tests_out.previous