bugKawa - Bugs: bug #39047, Wrong incompatible type (boolean)...


bug #39047: Wrong incompatible type (boolean) with expected int

Submitted by:  Matthieu Vachon <maoueh>
Submitted on:  Thu May 23 03:32:51 2013  
Category: NoneSeverity: 3 - Normal
Item Group: NoneStatus: Fixed
Privacy: PublicAssigned to: Per Bothner <bothner>
Open/Closed: Closed

Add a New Comment (Rich MarkupRich Markup):

You are not logged in

Please log in, so followups can be emailed to you.


Mon Jun 3 13:38:39 2013, comment #3:

Thanks Per.

Also, I find it really great that you take the time to explain the cause of the problem. It helps me understand more of the internals of Kawa.

Best regards,

Matthieu Vachon <maoueh>
Mon Jun 3 06:17:35 2013, comment #2:

This was somewhat tricky. The problem is Kawa follows the Scheme handling of boolean - any value can be treated as boolean. I.e. any value can be converted to boolean. This confused the logic for comparing types, so I made some changes that I think are cleaner.

Checked in fix, and a testcase based on yours. Thanks!

Per Bothner <bothner>
Project AdministratorIn charge of this item.
Mon May 27 01:20:46 2013, comment #1:

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

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

(file #28182)

Matthieu Vachon <maoueh>
Thu May 23 03:32:51 2013, original submission:

When a method is overloaded with two possibilities, one taking a boolean the other taking an int and the method is called in Kawa by using a boolean literal, Kawa picks the int one an issue a warning saying boolean is incompatible with type int.

Assume the following Java class:

And the following Kawa script:

Kawa will issue the following warning:

Since a boolean literal is used, I would have expected Kawa to pick the boolean version and not issue a warning.

I have attached my two files to this bug report in a zip archive.


Matthieu Vachon <maoueh>


(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach File(s):

Attached Files
file #28182:  wrong-incompatible-bool.scm added by maoueh (487B - application/octet-stream - Same test case as before but only in scheme)
file #28142:  wrong-incompatible-bool.zip added by maoueh (1kB - application/octet-stream - Test case (one java file, one kawa file))


Depends on the following items: None found

Items that depend on this one: None found


Carbon-Copy List
  • -unavailable- added by bothner (Posted a comment)
  • -unavailable- added by maoueh (Submitted the item)

    Do you think this task is very important?
    If so, you can click here to add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.


    Please enter the title of George Orwell's famous dystopian book (it's a date):



    Follow 5 latest changes.

    Date Changed By Updated Field Previous Value => Replaced By
    Mon Jun 3 06:17:35 2013bothnerStatusNone=>Fixed
      Assigned toNone=>bothner
    Mon May 27 01:20:46 2013maouehAttached File-=>Added wrong-incompatible-bool.scm, #28182
    Thu May 23 03:32:51 2013maouehAttached File-=>Added wrong-incompatible-bool.zip, #28142

    Back to the top

    Powered by Savane 3.1-cleanup1