Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2005-04-10 21:05:14 -0700 (Sun, 10 Apr 2005)
Revision: 7197
Log message:
Replaced tuple subscripting with uspread in the untyped language. uspread is
converted to subscripting in the front stage. We still need to do the subscript
arithmetic properly -- there's an XXX TODO comment in mmc_ext_tuple.ml about
this.
CVS: ----------------------------------------------------------------------
CVS: Enter Log. Lines beginning with `CVS:' are removed automatically
CVS:
CVS: Committing in .
CVS:
CVS: Modified Files:
CVS: theories/mojave/mmc/core/mmc_core_front.ml
CVS: theories/mojave/mmc/extensions/tuple/mmc_ext_tuple.ml
CVS: theories/mojave/mmc/extensions/tuple/mmc_ext_tuple.mli
CVS: theories/mojave/mmc/lir/mmc_lir_closure_elim.ml
CVS: theories/mojave/mmc/test/mmc_callcc_test.ml
CVS: theories/mojave/mmc/test/mmc_tuple_test.ml
CVS: ----------------------------------------------------------------------