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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:14:20 GMT