[Bug-kawa] [bugs #11540] verify-error when catching java.lang.Throwable

[tk]

This is an automated notification sent by Savannah.
It relates to:
                bugs #11540, project Kawa

==============================================================================
 LATEST MODIFICATIONS of bugs #11540:
==============================================================================

               Posted by: tk <huh>
               Posted on: 2005-01-10 23:32 (GMT)
    _______________________________________________________

Follow-up Comment:


hmm, I can no longer reproduce this, so I'm guessing it may have been a
spurious error due to incomplete recompilation of dependencies -- we can
withdraw it as a non-problem.



thanks again for the quick fixes to #11491 and #11508

==============================================================================
 OVERVIEW of bugs #11540:
==============================================================================

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

                 Summary: verify-error when catching java.lang.Throwable
                 Project: Kawa
            Submitted by: huh
            Submitted on: Sun 01/09/2005 at 15:11
                Category: Code generation
                Severity: 5 - Average
              Item Group: Compile-time exception
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open

    _______________________________________________________




following broke in cvs version of 1/9/04

many thanks for your quick response to #11508



$ cat bar.scm

(define (cf src dst)

  (try-catch

   (compile-file src dst)

   (e <java.lang.Throwable>

      (begin

        (invoke e 'printStackTrace)

        (error "compile")))))

$ CLASSPATH=../kawa-1.7.91.jar:`jars ../lib` rlwrap java kawa.repl

#|kawa:1|# (load"bar.scm")

java.lang.VerifyError: (class: atInteractiveLevel$2, method: cf signature:

(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;) Incompatible
object

argument for function call

        at java.lang.Class.getDeclaredFields0(Native Method)

        at java.lang.Class.privateGetDeclaredFields(Class.java:1522)

        at java.lang.Class.getDeclaredField(Class.java:1214)

        at gnu.expr.ModuleExp.evalToClass(ModuleExp.java:133)

        at gnu.expr.ModuleExp.evalModule(ModuleExp.java:187)

        at kawa.Shell.run(Shell.java:231)

        at kawa.standard.load.loadSource(load.java:156)

        at kawa.standard.load.loadSource(load.java:126)

        at kawa.standard.load.apply(load.java:226)

        at kawa.standard.load.apply2(load.java:194)

        at kawa.standard.load.apply1(load.java:184)

        at gnu.mapping.Procedure.apply(Procedure.java:133)

        at gnu.mapping.Procedure.apply(Procedure.java:115)

        at gnu.mapping.CallContext.runUntilDone(CallContext.java:237)

        at gnu.expr.ModuleExp.evalModule(ModuleExp.java:247)

        at kawa.Shell.run(Shell.java:231)

        at kawa.Shell.run(Shell.java:177)

        at kawa.Shell.run(Shell.java:164)

        at kawa.Shell.run(Shell.java:151)

        at kawa.repl.main(repl.java:672)

#|kawa:2|# 

 

$ cat bar2.scm

(define (cf src dst)

  (try-catch

   (compile-file src dst)

   (e <java.lang.Exception>

      (begin

        (invoke e 'printStackTrace)

        (error "compile")))))

$ fg

CLASSPATH=../kawa-1.7.91.jar:`jars ../lib` rlwrap java kawa.repl

#|kawa:2|# (load"bar2.scm")

#|kawa:3|# 



    _______________________________________________________

Follow-up Comments:


-------------------------------------------------------
Date: Mon 01/10/2005 at 23:32       By: tk <huh>


hmm, I can no longer reproduce this, so I'm guessing it may have been a
spurious error due to incomplete recompilation of dependencies -- we can
withdraw it as a non-problem.



thanks again for the quick fixes to #11491 and #11508








==============================================================================

This item URL is:
  <http://savannah.gnu.org/bugs/?func=detailitem&item_id=11540>

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