[ nice-Bugs-1483583 ] strange type error on GADT field access

Bugs item #1483583, was opened at 2006-05-08 13:34
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=1483583&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: strange type error on GADT field access

Initial Comment:
The following code throws this error:

Arguments (gadt.Term<T>(this)) do not fit:
gadt.Int<nice.lang.int> gadt.Less.a

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

package gadt;

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

interface Int implements Term<int> {}
interface Bool implements Term<boolean> {}

class Less implements Bool {
  Int a;
  Int b;
  value() = a.value < b.value;
}


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

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