[ nice-Bugs-1070054 ] Nice allows multiple inequal retypings of a java method

Bugs item #1070054, was opened at 2004-11-20 17:05
Message generated for change (Comment added) made by arjanb
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=1070054&group_id=12788

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Luc Perrin (leblin)
Assigned to: Nobody/Anonymous (nobody)
Summary: Nice allows multiple inequal retypings of a java method

Initial Comment:
Java:

public class A {
    int getN( ) { return 0; }
}

Nice:

int getN(A) = native int A.getN();
boolean getN(A) = native int A.getN();


Nice will compile this code quietly.




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

>Comment By: Arjan Boeijink (arjanb)
Date: 2004-11-20 19:15

Message:
Logged In: YES 
user_id=688815

I'm not sure this is a bug. Sometimes it's usefull to have 
multiple retypings of a single method.
For example in nice.lang:
char get(String s, int index) = native char String.charAt(int);
char charAt(String s, int index) = native char String.charAt
(int);


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

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