Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-27 22:19:03 -0800 (Sun, 27 Mar 2005)
Revision: 7063
Log message:
Whew, added spilling for function parameters.
This isn't quite as nice as I would like, but it is adequate.
Ideally, I would like to give spills a different type, like
ATySpill{'ty}
for a spilled value of type 'ty. However, this seems nearly
impossible because when we spill a parameter, all the types
everywhere have to be changed.
Perhaps I am not thinking of this correctly.