[Bug 1759] New: [FS] editorial: 7.2.6 The fn:data function

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

           Summary: [FS] editorial: 7.2.6 The fn:data function
           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


7.2.6 The fn:data function

Notation
"Infering the type"
    s/Infer/Inferr/

STA
"When applied to text, and document node types,"
    Delete comma.
    s/and/or/

STA / rule 9 / premise 2
"statEnv |- (of type TypeName) expands to Type"
    Delete parentheses.  (Note that
        8.1.9 / Sem / rule 2 / conclusion
        E.1.1 / Sem / rule 2 / conclusion
    don't have them.)
(leftover from last year, comment #191)

"and therefore apply 'data on' to such a node raises a static error."
    s/apply/applying/

"Consider the following variables and its corresponding static type."
    s/variables/variable/

Received on Tuesday, 19 July 2005 22:49:23 UTC