[Bug 3881] [FS] editorial: 4.1.5 Function Calls / Notation

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

           Summary: [FS] editorial: 4.1.5 Function Calls / Notation
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: minor
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: jmdyck@ibiblio.org
         QAContact: public-qt-comments@w3.org


4.1.5 Function Calls

Notation

(two blurbs on fs:convert-simple-operand and PrototypicalValue)
    It seems like these two blurbs are saying mostly the same thing.
    Perhaps they could be merged.

    Maybe change "PrototypicalValue" to "PrototypicalValueForType".

"Also, note that in the case of built-in functions where the expected
type is specified as numeric, the prototypical value is a value of type
xs:double."
    This shouldn't be in a mere Note. Also, you first have
    to say that when the expected type is specified as numeric,
    Type <: xs:anyAtomicType* is deemed to be true.

    Actually, you could cover both by saying (back in 3.1.1) that for such
    functions, the signature in funcType has xs:double for each 'numeric'
    parameter.  That will ensure that Type <: xs:anyAtomicType* is true,
    and that a value of type xs:double is used for PrototypicalValue.

Received on Sunday, 29 October 2006 10:33:29 UTC