bugKawa - Bugs: bug #11540, verify-error when catching...

 
 

bug #11540: verify-error when catching java.lang.Throwable

Submitter:  tk <huh>
Submitted:  Sun 09 Jan 2005 03:11:43 PM UTC
   
 
Category:  Code generation Severity:  3 - Normal
Item Group:  Compile-time exception Status:  Fixed
Privacy:  Public Assigned to:  bothner
Open/Closed:  Closed
* Mandatory Fields

Add a New Comment Rich Markup
   

Fri 18 Mar 2005 07:26:15 PM UTC, comment #2: 

I checked in a fix for this.

Per Bothner <bothner>
Group administrator
Mon 10 Jan 2005 11:32:58 PM UTC, comment #1: 


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

tk <huh>
Sun 09 Jan 2005 03:11:43 PM UTC, original submission:  


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|#

tk <huh>

 

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

Attach Files:
   
   
Comment:
   

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

CC list is empty

 

There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

Only logged-in users can vote.

 

Follow 3 latest changes.

Date Changed by Updated Field Previous Value => Replaced by
2005-03-18 bothner StatusNone Fixed
    Assigned toNone bothner
    Open/ClosedOpen Closed

Back to the top

Powered by Savane 3.13-4b48.
Corresponding source code