| <<O>> Difference Topic ChangeNumberOfTypeParametersInSubclasses (r1.2 - 08 Aug 2003 - ArjanB) |
| Added: | |
| > > |
Yes,
class B extends A<Foo>would be possible. In such cases the compiler only have to remember that class B has a hidden type parameter Foo. For complex cases and subclasses with more type parameters as the superclass, i don't know if it will be possible maybe can Daniel tell more about that. -- ArjanB |
| <<O>> Difference Topic ChangeNumberOfTypeParametersInSubclasses (r1.1 - 08 Aug 2003 - RohanHart) |
| Added: | |
| > > |
%META:TOPICINFO{author="RohanHart" date="1060323249" format="1.0" version="1.1"}%
%META:TOPICPARENT{name="TodoList"}%
Does "Modification of the type system for subclasses with a different number of type parameters than the parent." mean that I could do:
class B extends A<Foo> {}
rather than the current approximation:
class B {
A<Foo> b;
equals(that@B) = b.equals(that);
// other wrappers for pass through functions to make B act like an A<Foo>
}
Yet B exists primarily so that functions can require a B rather than allow in any kind of A<Foo>
-- RohanHart - 08 Aug 2003 |
| Topic ChangeNumberOfTypeParametersInSubclasses . { View | Diffs | r1.2 | > | r1.1 | More } |
|
Revision r1.1 - 08 Aug 2003 - 06:14 GMT - RohanHart Revision r1.2 - 08 Aug 2003 - 16:13 GMT - ArjanB |
Copyright © 1999-2003 by the contributing authors.
All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback. |