[ nice-Bugs-1069060 ] crash: subclass fixing parents type parameter

"SourceForge.net" <[email protected]> Fri, 17 Dec 2004 16:55:51 -0800
Newsgroups gmane.comp.lang.nice.devel
Message-ID <[email protected]>
Bugs item #1069060, was opened at 2004-11-18 23:55
Message generated for change (Settings changed) made by arjanb
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=1069060&group_id=12788

Category: None
Group: None
>Status: Closed
Resolution: Fixed
Priority: 5
Submitted By: Rohan Hart (dr_dee)
>Assigned to: Arjan Boeijink (arjanb)
Summary: crash: subclass fixing parents type parameter

Initial Comment:
the code...

class Term<T> {}
class Int extends Term<int> {
  int v;
}

crashes the compiler with...
mlsub.typing.BadSizeEx: 1 expected, 0 given

the same error occurs when Int extends Term<T>

Nice compiler version 0.9.10 prerelease (build
2004.11.18, 21:34:11 UTC)

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

Comment By: Arjan Boeijink (arjanb)
Date: 2004-11-20 01:50

Message:
Logged In: YES 
user_id=688815

Fixed this one in CVS.

Daniel how complete is the implementation of fixing 
typeparameters? It seems not well tested at least...

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

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=1069060&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://productguide.itmanagersjournal.com/