[ nice-Bugs-1097571 ] subtyping types which fix their parents type parameter

Bugs item #1097571, was opened at 2005-01-07 01:59
Message generated for change (Comment added) made by bonniot
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=1097571&group_id=12788

Category: None
Group: None
>Status: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Rohan Hart (dr_dee)
>Assigned to: Daniel Bonniot (bonniot)
Summary: subtyping types which fix their parents type parameter

Initial Comment:
interface Term<T> {
  T value();
}
interface Bool implements Term<boolean> {}
class BoolImpl implements Bool {
  value() = true;
}

--------
the compiler incorrectly claims that:
Class BoolImpl cannot implement Bool: they do not have
the same number or kind of type parameters


----------------------------------------------------------------------

>Comment By: Daniel Bonniot (bonniot)
Date: 2005-02-18 02:23

Message:
Logged In: YES 
user_id=88952

This is now fixed in the development version. I also fixed
several related bugs, so this feature (specializing a type
parameter in a subclass) should be much more usable now.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=1097571&group_id=12788


-------------------------------------------------------
SF email is sponsored by - The IT Product Guide
Read honest & candid reviews on hundreds of IT Products from real users.
Discover which products truly live up to the hype. Start reading now.
http://ads.osdn.com/?ad_id=6595&alloc_id=14396&op=click