[Bug-kawa] [bug #46728] java.lang.VerifyError when class that inherits another class is the same name as the file on kawa 2.1

[anonymous]

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

                 Summary:  java.lang.VerifyError when class that inherits
another class is the same name as the file on kawa 2.1
                 Project: Kawa
            Submitted by: None
            Submitted on: Sun 20 Dec 2015 07:39:21 PM UTC
                Category: Code generation
                Severity: 3 - Normal
              Item Group: Run-time exception
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

When I have file

x.scm
(define-simple-class x ()
(q 0)
((*init*) #!void)
((fn) 1))

z.scm
(import (x))
(define-simple-class z (x)
((*init*) #!void)
((fn2) 2))

I compile with
kawa -C x.scm z.scm

java -cp kawa-2.1.jar:../ kawa.repl
(define p (z))

Exception in thread "main" java.lang.VerifyError: class z overrides final
method run.(Lgnu/mapping/CallContext;)V


If I change the z.scm to following
(import (x))
(define-simple-class not-z (x)
((*init*) #!void)
((fn2) 2))

kawa -C x.scm z.scm

java -cp kawa-2.1.jar:../ kawa.repl
(define p (not-z))
p:q => 0





    _______________________________________________________

Reply to this item at:

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

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