Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-06 12:04:38 -0800 (Sun, 06 Mar 2005)
Revision: 6852
Log message:
Added the "typeof" operator to x86.
The current method for elimination
1. adds constraints for all the variables
2. Eliminates the typeof
3. Erase all leftover constraints
This seems like it can be generalized. Adding a "sweep"
operator that sweeps down a type environment (as we have
discussed for the core).