[bitc-dev] Input mechanism for dummy types?

[Jonathan S. Shapiro]

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.


shap