[Bug-kawa] [bug #36973] poor overload resolution when boxing numerics

[Per Bothner]

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

                 Summary: poor overload resolution when boxing numerics
                 Project: Kawa
            Submitted by: bothner
            Submitted on: Fri 27 Jul 2012 06:19:15 AM GMT
                Category: Type declaration and inference
                Severity: 3 - Normal
              Item Group: Bad diagnostic
                  Status: Confirmed
                 Privacy: Public
             Assigned to: bothner
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

(define-simple-class ContentValues ()
  ((put s::java.lang.String d::java.lang.Double) ::void #!void)
  ((put s::java.lang.String l::java.lang.Long) ::void #!void)
  ((put s::java.lang.String f::java.lang.Float) ::void #!void))

(define (foo cv::ContentValues s::java.lang.String l::long)
  (cv:put s l))

reports:

tmp/a2.scm:7:3: warning - more than one definitely applicable method `put' in
ContentValues
  candidate: void ContentValues.put(java.lang.String,java.lang.Float)
  candidate: void ContentValues.put(java.lang.String,java.lang.Long)
  candidate: void ContentValues.put(java.lang.String,java.lang.Double)

It should choose put(java.lang.String,java.lang.Long).




    _______________________________________________________

Reply to this item at:

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

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