W3C home > Mailing lists > Public > public-qt-comments@w3.org > May 2006

[Bug 3194] [FS] editorial: 5.15 Function Declaration

From: <bugzilla@wiggum.w3.org>
Date: Thu, 04 May 2006 05:15:13 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1FbWBF-000649-BA@wiggum.w3.org>

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

           Summary: [FS] editorial:  5.15 Function Declaration
           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


5.15 Function Declaration

SCP / rule 1 / premise 2
"statEnv1 = statEnv + funcType(expanded-QName => FunctionDecl)"
    Missing arity. Change 'expanded-QName' to 'expanded-QName,n'.
    s/FunctionDecl/FunctionSig/

SCP / rule 1 / conclusion
statEnv |-  FunctionDecl =>stat statEnv1
    Expand FunctionDecl to expose QName (for premise 1) and arity and
    param types (to construct FunctionSig for premise 2).
Received on Thursday, 4 May 2006 05:15:19 UTC

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