[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
top-level form?

If so, then we are down to a syntax issue.


More information about the bitc-dev mailing list