[ nice-Bugs-989049 ] Interface - WrongType at runtime

Bugs item #989049, was opened at 2004-07-11 13:28
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=989049&group_id=12788

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Isaac Gouy (igouy)
Assigned to: Nobody/Anonymous (nobody)
Summary: Interface - WrongType at runtime

Initial Comment:
void main(String[] args){
   String a = "hello";
   println( a.test() );
}

interface ITest { String test(); }

class java.lang.String implements ITest;
test(String a) = "done";


I:\Nice\Test>nicec --sourcepath .. -a t.jar Test
nice.lang: parsing
Test: parsing
Test: typechecking
Test: generating code
Test: linking
Test: writing in archive
nice.lang: writing in archive

I:\Nice\Test>java -jar t.jar
Exception in thread "main" Argument #0 to 'test' has
wrong type
        at gnu.mapping.WrongType.make(WrongType.java:56)
        at Test.fun.main(Test.nice:3)
        at Test.dispatch.main(dispatch.nice)



Nice compiler version 0.9.8 (build 2004.07.02, 18:42:24
UTC)


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

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


-------------------------------------------------------
This SF.Net email sponsored by Black Hat Briefings & Training.
Attend Black Hat Briefings & Training, Las Vegas July 24-29 - 
digital self defense, top technical experts, no vendor pitches, 
unmatched networking opportunities. Visit www.blackhat.com