Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-22 19:05:37 -0800 (Tue, 22 Feb 2005)
Revision: 6750
Log message:
Added contexts, so you can write such things as:
<:tast< fun#std (x: ty, <H>) -> e >>
<:tast< fun#std <H> -> e >>