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

[Bug 1741] New: [FS] editorial: 5.15 Function Declaration

From: <bugzilla@wiggum.w3.org>
Date: Mon, 18 Jul 2005 23:46:50 +0000
To: public-qt-comments@w3.org
Message-Id: <E1DufJy-00013u-CD@wiggum.w3.org>


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

5.15 Function Declaration

"Parameters without a declared typed"

Norm / rule (1|2|3|4)
"[[ ParamList? ]]_Param"
    According to the Notation section, []_Param only applies to an
    individual parameter, not the whole list.

Norm / rule (1|2)
"[[ EnclosedExpr ]]_Expr"
    The []_Expr form isn't defined on EnclosedExprs.
    Rewrite "EnclosedExpr" as "{ Expr }", and put []_Expr around "Expr".

5.15 / Norm / rule (2|4)
(return type is not provided)
    For these two rules, it might be simpler for the RHS to be a recursive
    call to []_PrologDecl on a FunctionDecl with the "as item*" inserted.
    Then only rules 1 and 3 have to be concerned with the detailed

Norm / rule 4
"[[ QName ]]"
    Delete square brackets.

5.15 / SCP / para 1
"Because functions are mutually referential"
    s/are/can be/

"This rules also updates"
    s/also/therefore/   (or just delete "also")

"The static typing rules for function bodies follows normalization ..."

"The typing rules below constructs a new environment"

"in which each variable has the given expected type"

"the local functions component of the static context"
    s/local functions/function signatures/
    (funcType isn't just local functions)

"If type checking fails, a static error is raised."
    s/static/type/, I think. (err:XPTY0004)

DCP / rule 2 / conclusion
"Variable1 as SequenceType1"
"Variablen as SequenceTypen"
    You probably want to change 'Variable' to 'VarRef'.
(leftover from last year, comment #182)

"when the function is called and is described in ..."
    s/and is/, as/
Received on Monday, 18 July 2005 23:46:52 UTC

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