Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-04-11 00:17:29 -0700 (Mon, 11 Apr 2005)
Revision: 7200
Log message:
Use the new intro annotation capabilities (onSomeHypT on rules with a
selected hyp) in type checking rules for variables.
| Changes | Path |
| +4 -13 | mpcompiler/mmc/arch/x86/type/mmc_x86_type_check_core.ml |
| +2 -10 | mpcompiler/mmc/core/mmc_core_type_check.ml |
| +1 -3 | mpcompiler/mmc/extensions/string/mmc_x86_string.ml |