[ nice-Bugs-803972 ] dispatch on integer comparison, 2 args

Bugs item #803972, was opened at 2003-09-10 22:07
Message generated for change (Comment added) made by arjanb
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=803972&group_id=12788

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Isaac Gouy (igouy)
Assigned to: Arjan Boeijink (arjanb)
Summary: dispatch on integer comparison, 2 args

Initial Comment:
arg1 overlaps, arg2 doesn't overlap - so why are these 

ambiguous?



int f(int x, int y); 



f( x<=0, y<=0 ) = 1;

f( x<0, y>0 ) = 2;





I:\pls\Nice\test\..\test\NiceClass.nice: line 1, column 5:

Ambiguity for method nice.lang.int f(int x, int y)

For parameters of type (nice.lang.byte, nice.lang.byte)

both

I:\pls\Nice\test\..\test\NiceClass.nice: line 3, column 1: f

(x<=0, y<=0)

and

I:\pls\Nice\test\..\test\NiceClass.nice: line 4, column 1: f

(x<0, y>0)

match.



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

>Comment By: Arjan Boeijink (arjanb)
Date: 2003-09-11 13:12

Message:
Logged In: YES 
user_id=688815

Yes the error message is the wrong one here. It's caused by 

the way how integer comparison is implemented now, i had 

planned to change that.

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

Comment By: Daniel Bonniot (bonniot)
Date: 2003-09-11 07:03

Message:
Logged In: YES 
user_id=88952

Yes, this should have no ambiguity.



(OTOH, some cases are not covered, so that should be reported)

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

Comment By: Isaac Gouy (igouy)
Date: 2003-09-10 22:08

Message:
Logged In: YES 
user_id=536291

Sorry that was with 

Nice compiler version 0.9.2 (build 2003.09.08, 17:09:16 UTC)

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

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


-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf