[Bug 1687] New: [FS] AtomizeAtomic(SequenceType) normaliztion

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

           Summary: [FS]  AtomizeAtomic(SequenceType) normaliztion
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: Windows 2000
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: fred.zemke@oracle.com
         QAContact: public-qt-comments@w3.org


4.1.5 Function calls
The subscripts AtomizeAtomic(SequenceType), etc., need to be
explained.  I believe that AtomizeAtomic is the "name" of
the normalization, and SequenceType is the "parameter" of 
the normalization.  For example, AtomizeAtomic(item()*) is one 
instance of the normalization, AtomizeAtomic(xs:integer?) 
is another, etc.

If this is correct, then SequenceType should be italicized.
This would also explain where the italicized SequenceType
comes from in the definition of AtomizeAtomic 
("fn:data(Expr) if SequenceType <: ...").  Otherwise
the reader is not actually told what to substitute for the 
italicized SequenceType, since a nonitalicized SequenceType 
is not necessarily the same thing as an italicized SequenceType.

Received on Sunday, 17 July 2005 21:39:18 UTC