[Bug-kawa] [bug #15151] (slot-ref obj 'class) gives different result than (invoke obj 'getClass)

[Per Bothner]

Update of bug #15151 (project kawa):

                  Status:                    None => Fixed                  
             Assigned to:                    None => bothner                
             Open/Closed:                    Open => Closed                 

    _______________________________________________________

Follow-up Comment #1:

Oops.  The intent of the code is to handle (CLASS:.class),
and (static-field CLASS 'class).  But it doesn't work for
for non-static field accesses.  It does happen to work
in apply, when we know the actual type, but not compile.

It might be reasonable to suppress the translation of
(field OBJECT 'class) -> (invoke OBJECT 'getClass)
since I'm not sure "class" should be considered a
"property" of the OBJECT, in teh JavaBean sense.

I checked in the patch and a test-case.  The tricky
part was actually the test-case, because it triggered
a completely unrelated bug that I felt compelled to fix.
    _______________________________________________________

Additional Item Attachment:

File name: class-slot.patch               Size:0 KB
Patch
<http://savannah.gnu.org/bugs/download.php?item_id=15151&item_file_id=3164>

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?func=detailitem&item_id=15151>

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