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

[Bug 1736] New: [FS] ambiguous use of "optional" in 8.1.9 "type expansion"

From: <bugzilla@wiggum.w3.org>
Date: Mon, 18 Jul 2005 22:19:01 +0000
To: public-qt-comments@w3.org
Message-Id: <E1Dudwz-0005XN-8I@wiggum.w3.org>


           Summary: [FS] ambiguous use of "optional" in 8.1.9 "type
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: Windows 2000
            Status: NEW
          Severity: minor
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: fred.zemke@oracle.com
         QAContact: public-qt-comments@w3.org

8.1.9 Type expansion
The sentence prior to the first inference says "If the type is 
nillable, then its expansion is optional".  Normally, the word
"optional" means "you have a choice whether to do this 
(ie, the type expansion) or not".  But you do not mean that it
is implementation-defined or implementation-dependent whether to
expand a nillable type.  What you mean is that the result of the
expansion includes the "?" quantifier.  It would be better to 
reword this sentence, avoiding the word "optional". 
For example, "...then the quantifier of the type is zero-or-one".
Received on Monday, 18 July 2005 22:19:04 UTC

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