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

"SourceForge.net" <[email protected]> Thu, 18 Nov 2004 14:55:42 -0800
Newsgroups gmane.comp.lang.nice.devel
Message-ID <[email protected]>
Bugs item #1069060, was opened at 2004-11-19 11:55
Message generated for change (Tracker Item Submitted) made by Item Submitter
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: None
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)

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

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