[Bug-kawa] [bugs #8577] Extraneous warnings in method invokation

[Per Bothner]

This mail is an automated notification from the bugs tracker
 of the project: Kawa.

/**************************************************************************/
[bugs #8577] Latest Modifications:

Changes by: 
                Per Bothner <address@hidden>
'Date: 
                Thu 05/13/04 at 19:25 (GMT)

            What     | Removed                   | Added
---------------------------------------------------------------------------
          Resolution | Works for me              | Fixed
              Status | Open                      | Closed


------------------ Additional Follow-up Comments ----------------------------
We found a test that triggered the bug.
The fix and the testcase are now in CVS.






/**************************************************************************/
[bugs #8577] Full Item Snapshot:

URL: <http://savannah.gnu.org/bugs/?func=detailitem&item_id=8577>
Project: Kawa
Submitted by: 0
On: Thu 04/15/04 at 02:40

Category:  Scheme language
Severity:  5 - Average
Item Group:  Bad diagnostic
Resolution:  Fixed
Assigned to:  bothner
Status:  Closed


Summary:  Extraneous warnings in method invokation

Original Submission:  Kawa does not pick out the overloaded method to invoke at 
compile time.  This results in some errors and run time method look up.

(define-namespace timestamp "class:java.sql.Timestamp")

(define (foo a b)
  (timestamp:compareTo (as <java.sql.Timestamp> a)
                       (as <java.sql.Timestamp> b)))


gives this warning:Bar.scm:13:4: warning - more than one definitely applicable 
method `compareTo' in java.sql.Timestamp
Bar.scm:13:4: warning - candidate: int java.util.Date.compareTo(java.util.Date)
Bar.scm:13:4: warning - candidate: int 
java.sql.Timestamp.compareTo(java.lang.Object)
Bar.scm:13:4: warning - candidate: int 
java.sql.Timestamp.compareTo(java.sql.Timestamp)

Thanks,
Chris Dean



Compile this code:



Follow-up Comments
------------------


-------------------------------------------------------
Date: Thu 05/13/04 at 19:25         By: bothner
We found a test that triggered the bug.
The fix and the testcase are now in CVS.

-------------------------------------------------------
Date: Sun 04/18/04 at 01:17         By: bothner
It works for me, using CVS Kawa, 1.7.90,
and older versions (such as 1.6.70).












For detailed info, follow this link:
<http://savannah.gnu.org/bugs/?func=detailitem&item_id=8577>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/