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 |