[bitc-dev] Input mechanism for dummy types?
Jonathan S. Shapiro
shap at eros-os.org
Tue Aug 22 09:44:05 CDT 2006
On Tue, 2006-08-22 at 10:31 -0400, Swaroop Sridhar wrote:
> The dummy types are not variables...
Okay, then ignore both of my proposals.
Do we agree that the scope of a dummy type is similar to the scope of a
type variable, in the sense that it has no meaning outside of it's
If so, then we are down to a syntax issue.
More information about the bitc-dev