[Bug 3171] [XQuery] 3.12.5 Constructor Functions

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

           Summary: [XQuery] 3.12.5 Constructor Functions
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery
        AssignedTo: chamberl@almaden.ibm.com
        ReportedBy: jmdyck@ibiblio.org
         QAContact: public-qt-comments@w3.org


3.12.5 Constructor Functions
"The semantics of the constructor function T($arg) are defined to be equivalent
to the expression ($arg cast as T?)."

Please clarify whether this is talking about the semantics of the function or
the semantics of a *call* to the function. If the former, then a call to the
function has the usual call-related semantics (including the function
conversion rules of section 3.1.5). If the latter, the equivalence bypasses the
usual call-related semantics.

(Mind you, I haven't found a case where the two interpretations lead to
different outcomes.)