W3C home > Mailing lists > Public > public-qt-comments@w3.org > June 2007

[Bug 4593] [FS] 8.4 Inconsistency in note on prime subtyping

From: <bugzilla@wiggum.w3.org>
Date: Fri, 01 Jun 2007 22:09:35 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1HuFJP-0000WW-7G@wiggum.w3.org>

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


jmdyck@ibiblio.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED




------- Comment #1 from jmdyck@ibiblio.org  2007-06-01 22:09 -------
I agree that there is an inconsistency, but I disagree with your suggested
resolution. That is, I believe you're suggesting that "is always a super type"
be changed to "is always a subtype". Instead, I think
    prime(Type)  quantifier(Type) <: Type
should be changed to
    Type <: prime(Type)  quantifier(Type)
Received on Friday, 1 June 2007 22:09:37 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:33 UTC