Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-07-03 16:18:38 -0700 (Thu, 03 Jul 2003)
Revision: 4693
Log message:

      Added some example code for how we want new term
      constructors and destructors in core_type_infer.ml.
      This code doesn't compile, but it demonstrates the
      concept.
      

Changes  Path
+1 -1 metaprl/editor/ml/mpconfig
+3 -3 metaprl/support/tactics/simp_typeinf.ml
+1 -1 mpcompiler/mmc/core/mmc_core_ast.ml