W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2005

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

From: <bugzilla@wiggum.w3.org>
Date: Thu, 14 Jul 2005 04:09:35 +0000
To: public-qt-comments@w3.org
Message-Id: <E1Dsv2V-0002fq-Op@wiggum.w3.org>


           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

"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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:25 UTC