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

"SourceForge.net" <[email protected]> Fri, 19 Nov 2004 16:50:46 -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 (Comment added) 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: Open
>Resolution: Fixed
Priority: 5
Submitted By: Rohan Hart (dr_dee)
Assigned to: Nobody/Anonymous (nobody)
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


-------------------------------------------------------
This SF.Net email is sponsored by: InterSystems CACHE
FREE OODBMS DOWNLOAD - A multidimensional database that combines
robust object and relational technologies, making it a perfect match
for Java, C++,COM, XML, ODBC and JDBC. www.intersystems.com/match8