[Bug 3184] [FS] editorial: 4.1.5 Function Calls from bugzilla@wiggum.w3.org on 2006-05-03 (public-qt-comments@w3.org from May 2006)

From: <bugzilla@wiggum.w3.org>
Date: Wed, 03 May 2006 18:44:03 +0000
To: public-qt-comments@w3.org
CC:
Message-Id: <E1FbMKR-0001lx-0u@wiggum.w3.org>

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

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


4.1.5 Function Calls

STA / rule (1|2|3)
"statEnv |- expanded-QName(Type1, ..., Typen) : Type"
    You need a Notation section that declares this form of judgment.

DEv / rule 1 / premise 5
DEv / rule 3 / premise 4
statEnv.funcType(expanded-QName) = FunctionSig
    After "expanded-QName", insert ",n".

DEv / rule 3 / premise 4
"statEnv.funcType1"
    Change to "statEnv1.funcType"

Received on Wednesday, 3 May 2006 18:45:02 UTC