Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-22 14:17:33 -0800 (Tue, 22 Feb 2005)
Revision: 6746
Log message:
Added two new iform terms:
1. xsovar[x:v]{'cvars; 'args} is iform translated to a so-var.
2. A hyp of the form
x: xhypcontext{'cvars; 'args}
gets translated to a hyp context.
In both cases, the 'cvars and 'args should be an xlist.
The x86 assembly grammar is nearly complete. Starting on the
tast grammar.