[Bug 3576] static-context-1 should raise XPTY0004

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





------- Comment #3 from simeon@us.ibm.com  2006-08-10 05:12 -------
That's a tricky case here I think. I admit my opinion is that the spec is
unclear.

My first intuition is that XPST0001 should takes precedence. I.e., checking
whether the type 'test:unkonwnType' is in the context, should occur before type
matching is applied. A corrolary of that is that I think bullet '1 ET is an
unknown type' should actually never be used.

Because of the way the spec is written now, I would assume that keeping both
error codes in the test suite is the right thing to do as implementations may
actually do either one of those. But I would recommend asking the working group
to clarify this.

sorry I can't give a more definite answer to this right now.
Best,
- Jerome

Received on Thursday, 10 August 2006 05:12:09 UTC