[Bug 3194] [FS] editorial: 5.15 Function Declaration from bugzilla@wiggum.w3.org on 2006-05-04 (public-qt-comments@w3.org from May 2006)

From: <bugzilla@wiggum.w3.org>
Date: Thu, 04 May 2006 05:15:13 +0000
To: public-qt-comments@w3.org
CC:
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