[Bug 30153] New: Section on atomization mentions only error FOTY0012 can be raised, while immediately below specifying also FOTY0013

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

            Bug ID: 30153
           Summary: Section on atomization mentions only error FOTY0012
                    can be raised, while immediately below specifying also
                    FOTY0013
           Product: XPath / XQuery / XSLT
           Version: Recommendation
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: trivial
          Priority: P2
         Component: XPath 3.1
          Assignee: jonathan.robie@gmail.com
          Reporter: abel.braaksma@xs4all.nl
        QA Contact: public-qt-comments@w3.org
  Target Milestone: ---

I was trying to understand what xs:decimal(boolean#1) should throw (my Saxon
version threw XPTY0117, which I think is incorrect).

The function conversion rules state that atomization is the first thing that
takes place (if the argument to a function is expected to be of a generalized
atomic type, which it is), and here I noticed that it (2.4.2 Atomization) says:

    The result of atomization is either a sequence of atomic values or a 
    type error [err:FOTY0012]

However, right below it, the third bullet says:

    * If the item is a functionDM31 (other than an array) or map a type 
      error [err:FOTY0013] is raised. 

I'm assuming the latter is correct, and the former sentence is either lacking
an error, or should perhaps be more general, like "sequence of atomic values or
a type error, see below".

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

Received on Wednesday, 26 July 2017 19:23:06 UTC