[Bug 1798] New: [FS] editorial: B.2 Mapping of Overloaded Internal Functions

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

           Summary: [FS] editorial: B.2 Mapping of Overloaded Internal
                    Functions
           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


B.2 Mapping of Overloaded Internal Functions

DEv+STA
    It's odd to have DEv before STA.

B.2 / STA / rule (1|2|3|4|5|6) / premise 2
"statEnv |- Expr1 : Type2"
    s/Expr1/Expr2/

B.2 / STA / rule (3|4|5|6)
"statEnv |- operator type for AtomicType1 and AtomicType2 is AtomicType3"
    I don't think "statEnv |-" is needed.

Notation
"operator type for AtomicType1 and AtomicType2 is AtomicType3"
    This needs to include fs:opname!
    The result type isn't determined solely by the input types, e.g.:
        fs:plus(integer,integer) : integer, but
        fs:div( integer,integer) : double

"Gregorian refers to the types xs:gYearMonth, xs:gYear, xs:gMonthDay,
xs:gDay, and xs:gMonth. For binary operators that accept two
Gregorian-type operands, both operands must have the same type"
    The only occurrences of "Gregorian" in the table are two
    (Gregorian, Gregorian) rows. So these are standing in for 10 rows
    with explicit input types and explicit "denotes". I think you'd be
    better off being explicit. (Considering that you expanded all the
    'numeric' rows, you're clearly not going for brevity.)

("Binary Operators" table)
    In the rows for fs:gt, the input types are presented without the "xs:"
    prefix and without the <code> font.

("Unary Operators" table)
    Why does it use a smaller font than the "Binary Operators" table?

Received on Friday, 22 July 2005 00:55:17 UTC