[Bug 2790] Instance of with union type results in surprising results

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





------- Additional Comments From holstege@mathling.com  2006-02-28 16:01 -------
Verification from Schema WG: Yes, interpretation A is correct:
xsi:type sidesteps union processing.  (The type of xsi:type 
must be validly derived from the declared type; however, that
derivation is not necessarily restriction.)

The correct fix is as cited at the bottom of the initial comment.
Quoting Henry's message:
"Note this information is already available in the PSVI, as
the {type definition} of the [element declaration] PSVI property."

This means expanding the requirement for which PSVI properties
must be reported.  Currently the [element declaration] property
is not required.

Received on Tuesday, 28 February 2006 16:00:16 UTC