[Bug 27680] FOTY0013 vs. XPTY0004

https://www.w3.org/Bugs/Public/show_bug.cgi?id=27680

--- Comment #3 from Michael Kay <mike@saxonica.com> ---
>No,  before it even attempts to atomize anything, it checks what the allowed types for the function/operator are, and a function item is not in the list of allowed types.

That might be what your implementation does, but it's not what the rules say.
The rules say you atomize first, and then check what the allowed type is.

The rules are in XPath 3.1.5.1.

* first identify the function to be called: no controversy.

* then evaluate the arguments. The argument is a function item.

* then apply the function conversion rules (3.1.5.2)

* the function conversion rules tell you to atomize the value (Bullet 2, rule
1). (this fails with error FOTY0013)

* if atomization succeeds, you go on to check that the actual type matches the
required type (bullet 4), and raise XPTY0004 if it doesn't. But we never get
this far.

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

Received on Sunday, 21 December 2014 00:18:41 UTC