Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-10 13:29:54 -0700 (Sat, 10 Jul 2004)
Revision: 6058
Log message:
StrictList naming should consider integer and boolean constants to be strict.
| Changes | Path |
| +14 -4 | mpcompiler/mmc/extensions/bool/mmc_ext_bool.ml |
| +9 -0 | mpcompiler/mmc/extensions/int/mmc_ext_int.ml |