[Bug-kawa] [bug #16515] Overriding a method with incompatible return types should result in compile-time error

[Per Bothner]

Follow-up Comment #2, bug #16515 (project kawa):

We now get a warning:

/tmp/foo.scm:2:3: warning - cannot convert literal (of type java.lang.String)
to long

But if you add an explicit return type:

(define-simple-class <MySchemeClass> (<java.util.Date>)
  ((getTime) :: String
   "a string")) 

you silently get an invalid override.

Now that Java 5 supports co-variant return types we should support those -
and check when the return type is incompatible.

    _______________________________________________________

Reply to this item at:

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

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