[Bug 1746] New: [FS] editorial: 7.1.4 The fs:convert-simple-operand function

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

           Summary: [FS] editorial: 7.1.4 The fs:convert-simple-operand
                    function
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: jmdyck@ibiblio.org
         QAContact: public-qt-comments@w3.org


7.1.4 The fs:convert-simple-operand function

"$actual as item?"
    In the only use of fs:convert-simple-operand in the FS, the first
    argument is the result of a call to fn:data, which means it must be of
    type "xdt:anyAtomicType*". So "item*" could be narrowed to
    "xdt:anyAtomicType*".

"The dynamic semantics of this function are as follows ..."
    These don't match the function conversion rules of XQuery 3.1.5.
    Similarly, STA / rule 1 is insufficient.

Received on Tuesday, 19 July 2005 05:32:03 UTC