[Bug-kawa] [bug #38890] Wrong more than one applicable method warning

[Matthieu Vachon]

URL:
  <http://savannah.gnu.org/bugs/?38890>

                 Summary: Wrong more than one applicable method warning
                 Project: Kawa
            Submitted by: maoueh
            Submitted on: Sun 05 May 2013 03:39:45 AM GMT
                Category: Scheme language
                Severity: 3 - Normal
              Item Group: None
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

When compiling the attached file, Kawa issues a warning saying there is more
than one applicable method for set `addAll`. Here the relevant part of the
file:


(define (combine-sets (set-i :: <java.util.Set>) (set-j :: <java.util.Set>))
  (when (invoke set-i 'addAll set-j)
    (format (current-output-port) "All good~%")))


In my opinion, this is a bug since there is only one 
definition for `addAll` in `java.util.Set`. The report warning shows twice the
same signature, at least in its String form. Here the full compile log:


(compiling set-add-all.scm to org.kawa.test.setaddall)
set-add-all.scm:4:3: warning - more than one definitely applicable method
`addAll' in java.util.Set
  candidate: boolean java.util.Set.addAll(ClassType java.util.Collection<?
extends Type E>)
  candidate: boolean java.util.Set.addAll(ClassType java.util.Collection<?
extends Type E>)


Regards,
Matt



    _______________________________________________________

File Attachments:


-------------------------------------------------------
Date: Sun 05 May 2013 03:39:45 AM GMT  Name: set-add-all.scm  Size: 467B   By:
maoueh
Kawa file showing the problem
<http://savannah.gnu.org/bugs/download.php?file_id=28021>

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?38890>

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