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

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

           Summary: [FS] ambiguous use of "optional" in 8.1.9 "type
                    expansion"
           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