Re: Supporting incremental-definition of a type?

>> I think it would have been much better if we had allowed assertions to be
>> defined within an<xs:extension>
> I think, this is allowed presently by the XSD 1.1 language.
Of course. Not sure how I overlooked that. So if I have a type A and I 
want to define a type B that restricts A with an assertion, the simplest 
way is to define B as a "vacuous extension" of A. Non-obvious, but very 
useful.

Michael Kay
Saxonica