TWiki . Dev . ChangeNumberOfTypeParametersInSubclasses (r1.1)

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 . { ~~Edit~~ | ~~Attach~~ | Ref-By | Printable | Diffs | r1.2 | > | r1.1 | More }

Revision r1.1 - 08 Aug 2003 - 06:14 GMT - RohanHart Parents: WebHome > NiceCompiler > TodoList	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.

	TWiki > Dev > NiceCompiler > TodoList > ChangeNumberOfTypeParametersInSubclasses (r1.1)	TWiki webs: Dev \| Doc \| Main \| TWiki \| Sandbox
	Dev . { Changes \| Index \| Search \| Go }