- From: <bugzilla@jessica.w3.org>
- Date: Tue, 06 Dec 2011 15:38:03 +0000
- To: public-qt-comments@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=14840 --- Comment #3 from Michael Kay <mike@saxonica.com> 2011-12-06 15:38:01 UTC --- Specific suggestions. This affects the "first diagram" in F+O section 1.5. Intro: "The first diagram and its corresponding table illustrate the "item" type hierarchy. In XDM, items include node types, function types, and built-in atomic types." * delete the quotes around "item". * replace "heirarchy" by "lattice" * add the sentence: The types form a lattice because in the relationship expressed by the function derives-from(A, B), a type may be derived from more than one other type. For example, function(xs:string, xs:string) as xs:int is derived from (that is, substitutable for) both function(xs:Name, xs:Name) as xs:int and function(xs:NMTOKEN, xs:NNTOKEN) as xs:int. Equally, an atomic type A is substitutable for both union(A, B) and for union(A, C). * add the qualification: The diagram does not attempt to illustrate the relationships of union types, and only gives a few illustrative examples of function types". In the diagram: * change XDM 1.1 to XDM 3.0 * In the stack of four (green) functions with a common parent, delete the fourth. -- Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the QA contact for the bug.
Received on Tuesday, 6 December 2011 15:38:11 UTC