[sc34wg3] abstract-constraint isa topic-type?

[Robert Cerny]

On Jan 29, 2010, at 1:24 PM, Graham Moore wrote:

> As I see it, the issue on the constraint, abstract-constaint thing is
> that for the TMCL for TMCL to be valid we need to explicitly state
> that all constraint types are an instance of Topic Type.  If we don't
> say this anyone who validates a schema against the TMCL for TMCL will
> be told that any abstract-constraint topic is not allowed because its
> type is not marked as a topic type.
>
> If we do this then I think we are cool.

+1

Robert