- From: <bugzilla@wiggum.w3.org>
- Date: Fri, 01 Jun 2007 22:09:35 +0000
- To: public-qt-comments@w3.org
- CC:
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