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

Bugs item #803972, was opened at 2003-09-10 13:07
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=803972&group_id=12788

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Isaac Gouy (igouy)
Assigned to: Nobody/Anonymous (nobody)
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.



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

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