[Bug 1577] New: [FS] technical: 4.1.5 Function Calls: Normalization

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

           Summary: [FS] technical: 4.1.5 Function Calls: Normalization
           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

Normalization
"Note that this normalization rule depends on the static environment
containing function signatures"
    Specifically, the SequenceTypei in the rule's RHS presumably come from
    one of the function signatures in statEnv.funcType. But which one? It
    seems to me that you need to do Static Type Analysis, which
    (a) might find more than one valid signature; and
    (b) operates on instances of the Core syntax, which requires that we
        first normalize the FunctionCall, and so we have a circularity.

Received on Thursday, 14 July 2005 04:09:40 UTC