[Bug-kawa] [bug #47725] Same method candidate found twice causing warning

[Tom Bousso]

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

                 Summary: Same method candidate found twice causing warning
                 Project: Kawa
            Submitted by: tbousso
            Submitted on: Mon 18 Apr 2016 02:58:30 AM GMT
                Category: None
                Severity: 3 - Normal
              Item Group: None
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:


(define-alias ClassType gnu.bytecode.ClassType)
(define-alias Filter gnu.bytecode.Filter)

(define-simple-class MFilter (Filter)
        ((select o ::java.lang.Object) ::boolean
                #t
        )
)

(define c ::ClassType (ClassType:make "java.util.HashMap"))
(*:getMethods c (MFilter) 2 #!null)


That code runs fine but it creates a warning because getMethods is found
twice:


test.scm:11:1: warning - more than one definitely applicable method
`getMethods' in class-type
  candidate: int
gnu.bytecode.ClassType.getMethods(gnu.bytecode.Filter,int,ClassType
java.util.List<ClassType gnu.bytecode.Method>)
  candidate: int
gnu.bytecode.ClassType.getMethods(gnu.bytecode.Filter,int,ClassType
java.util.List<ClassType gnu.bytecode.Method>)


Those signatures are identical.




    _______________________________________________________

Reply to this item at:

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

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