Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-10 18:53:05 -0700 (Sat, 10 Apr 2004)
Revision: 5632
Log message:
The value judgment, used by dead code elimination.
| Changes | Path |
| Added | mpcompiler/mmc/core/mmc_core_value.ml |
| Properties | mpcompiler/mmc/core/mmc_core_value.ml |
| Added | mpcompiler/mmc/core/mmc_core_value.mli |
| Properties | mpcompiler/mmc/core/mmc_core_value.mli |