- From: <bugzilla@jessica.w3.org>
- Date: Tue, 03 May 2011 08:27:27 +0000
- To: public-qt-comments@w3.org

http://www.w3.org/Bugs/Public/show_bug.cgi?id=11713 --- Comment #8 from Michael Kay <mike@saxonica.com> 2011-05-03 08:27:26 UTC --- >If I understand correctly, this new category of type includes all simple types except list types. True? False. It also excludes union types that are derived by restriction from other union types. And it also excludes unions whose member types are lists. Perhaps we need a definition like this: a /generalized atomic type/ is either an atomic type, or a union type whose member types are all /generalized atomic types/. The instances of a generalized atomic type are atomic values. The atomic member types of a generalized atomic type are (a) if it is an atomic type, then that type, (b) if it is a union, then the atomic types in its transitive membership. If A and B are generalized atomic types, then derives-from(A, B) is true if for every type T among the member types of A there exists a type U among the member types of B such that derives-from(T, U). (My /generalized atomic type/ here is the same as /plain type/ in the previous proposal. I'm just experimenting with different terms to see what reads best). -- Configure bugmail: http://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, 3 May 2011 08:27:29 UTC