[Bug-kawa] [bug #39047] Wrong incompatible type (boolean) with expected int

[Matthieu Vachon]

Follow-up Comment #1, bug #39047 (project kawa):

For this bug, we can reduce the test case to only a scheme file. Here it is:


(module-name <org.kawa.test.wrongincompatiblebool>)
(module-compile-options main: #t)

(define-simple-class <Simple> (<Object>)
  ((create (value :: <int>))
   (format (current-output-port) "Calling create int version with value
[~a]~%" value))

  ((create (value :: <boolean>))
   (format (current-output-port) "Calling create bool version with value
[~a]~%" value)))

(define (main)
  (let ((simple :: <Simple> (make <Simple>)))
    (invoke simple 'create #t)))

(main)


Although a warning is issued, the right method is called. I attached the new
test case.

(file #28182)
    _______________________________________________________

Additional Item Attachment:

File name: wrong-incompatible-bool.scm    Size:0 KB


    _______________________________________________________

Reply to this item at:

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

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