[Bug 1582] New: [FS] technical: 4.1.5 Function Calls: return-promotion for imported fns

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

           Summary: [FS] technical: 4.1.5 Function Calls: return-promotion
                    for imported fns
           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


4.1.5 Function Calls

DEv / rule 2
    This rule is missing a premise to promote Value' to the function's
    return type. Also, the DErr section is missing the corresponding rule
    to raise a type error if the promotion cannot be done.  Note that
    XQuery 3.1.5 specifically says the premise must be satisfied twice,
    once for defining module and once for calling module.

Received on Thursday, 14 July 2005 04:14:42 UTC