Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-04-07 13:52:13 -0700 (Thu, 07 Apr 2005)
Revision: 7167
Log message:
Fixing some problems with type erasure, but not all of them.
Style request: when adding stuckC:
- Unless the MetaPRL syntax is terribly complicated, add the stuckC entries in
MetaPRL syntax instead of the "pretty" one (this makes it easier to detect
problems caused by pretty syntax).
- Add all helper operators to the stuckC, not just the "main" one (very often,
helper operators are more likely to be accidentally left around)