[ nice-Bugs-1483581 ] simple GADT crashes type system

Bugs item #1483581, was opened at 2006-05-08 13:27
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=1483581&group_id=12788

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Rohan Hart (dr_dee)
Assigned to: Nobody/Anonymous (nobody)
Summary: simple GADT crashes type system

Initial Comment:
Nice compiler version 0.9.12 prerelease (build
2005.10.24, 05:01:51 UTC)

crashes on the code:

package gadt;

interface Term<T> {
  T value();
}

class Less implements Term<boolean> {
  Term<int> a;
  Term<int> b;
  value() = a.value < b.value;
}

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

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


-------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642