- From: <bugzilla@jessica.w3.org>
- Date: Tue, 15 Nov 2011 15:25:35 +0000
- To: public-qt-comments@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=14652 --- Comment #1 from Jonathan Robie <jonathan.robie@gmail.com> 2011-11-15 15:25:34 UTC --- Perhaps we should change the definition to this: [Definition: A sequence type A is a subtype of a sequence type B if subtype(A, B) is true.] That is the effective definition in the document, and it's hard to come up with a succinct intensional definition. -- 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, 15 November 2011 15:25:49 UTC