[Bug 5293] Subsumption

http://www.w3.org/Bugs/Public/show_bug.cgi?id=5293


David_E3@VERIFONE.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |needsDrafting




------- Comment #9 from David_E3@VERIFONE.com  2008-01-25 15:52 -------
RESOLVED: As phase-1 agreement to resolve #5293
(1) Restrictions involving all-groups can be checked at run-time, need not be
checked at compile time. 

(2) Failure of the rule, exercised by instance, is a schema error not a
validation error. 

(3) Yes, we are introducing a notion of
'latent error' here. (4) On question of whole type vs just part of type, no
action under this heading. 

AGREED.

Received on Friday, 25 January 2008 15:52:31 UTC