Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-22 13:12:11 -0800 (Tue, 22 Mar 2005)
Revision: 7001
Log message:
*Important*: when using xbinder{!v} hack, you do have to faithfully consider
"v" to be a binding. In particular, this means that _all_ SO variables may
need to take the !v as an argument - even when you are not intending to
substitute anything for it!
Note: the "no-op" substitutions would notmally be dropped, so ther do not cost
much. On the other hand, an occurs check could be a bit expensive (aspecially
for a long context), so from the preformance POV it does not hurt to include
[!v] even in contexts that would not normally contain it.