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

 
 

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

Submitted by:  tk <huh>
Submitted on:  Sun 09 Jan 2005 03:11:43 PM UTC  
 
Category: Code generationSeverity: 3 - Normal
Item Group: Compile-time exceptionStatus: Fixed
Privacy: PublicAssigned to: Per Bothner <bothner>
Open/Closed: Closed

Add a New Comment(Rich Markup)
   

You are not logged in

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

 

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

I checked in a fix for this.

Per Bothner <bothner>
Project AdministratorIn charge of this item.
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 File(s):
   
   
Comment:
   

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

CC list is empty

 

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 3 latest changes.

Date Changed By Updated Field Previous Value => Replaced By
Fri 18 Mar 2005 07:26:15 PM UTCbothnerStatusNone=>Fixed
  Assigned toNone=>bothner
  Open/ClosedOpen=>Closed

Back to the top


Powered by Savane 3.1-cleanup1