[Bug 1686] New: Hard to find the definitions of purely symbolic judgments

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

           Summary: Hard to find the definitions of purely symbolic
                    judgments
           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


4.1.5 Function calls
The definition of [Expr]atomizeAtomic(SequenceType) uses the
notation <: , which has not been previously defined.
Probably the best would be to mention this in 2.1.2
"Notations for judgments" with a forward reference to its
definition in 7.4.2 "Subtype".  One of the things that makes
this definition especially hard to find is that there are 
no English words in the judgment, so you cannot scan the 
table of contents to find it.  To fix this, you might insure
one or more of the following:
1. all judgments with no English terms are mentioned in 
section 2.
2. the symbols used in these purely symbolic judgments
appear in the titles of their sections.  For example, 
8.3.2 might be titled "Subtype (<:) and type equality (=)".

Received on Sunday, 17 July 2005 21:37:45 UTC