[Bug 4378] error in K2-NodeTest-21


--- Comment #29 from Tim Mills <tim@cbcl.co.uk> ---
(In reply to Michael Kay from comment #28)
> >I assert that XPTY0004 should always have been permissible
> Perhaps it should have been, but sadly, it wasn't. The spec is absolutely
> clear:
> If the context item is absent, a context item expression raises a dynamic
> error [err:XPDY0002].


"The dynamic evaluation phase can occur only if no errors were detected during
the static analysis phase. If the Static Typing Feature is in effect, all type
errors are detected during static analysis and serve to inhibit the dynamic
evaluation phase."

and there are no static typing rules which give a type to an out-of-scope
context item.  If the processor supports the Static Typing Feature, it MUST
report the static type error, and if it does not support the Static Typing
Feature, it MAY still do so.

You are receiving this mail because:
You are the QA Contact for the bug.

Received on Monday, 5 October 2015 14:41:39 UTC