From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 4131 invoked by alias); 2 Feb 2015 12:14:00 -0000 Mailing-List: contact kawa-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: kawa-owner@sourceware.org Received: (qmail 4116 invoked by uid 89); 2 Feb 2015 12:14:00 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.7 required=5.0 tests=AWL,BAYES_00,SPF_PASS autolearn=ham version=3.3.2 X-HELO: aibo.runbox.com Received: from aibo.runbox.com (HELO aibo.runbox.com) (91.220.196.211) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-SHA encrypted) ESMTPS; Mon, 02 Feb 2015 12:13:54 +0000 Received: from [10.9.9.209] (helo=mailfront04.runbox.com) by bars.runbox.com with esmtp (Exim 4.71) (envelope-from ) id 1YIFsz-0004iq-0v; Mon, 02 Feb 2015 13:13:49 +0100 Received: from 120.204.251.212.customer.cdi.no ([212.251.204.120] helo=toshie.bothner.com) by mailfront04.runbox.com with esmtpsa (uid:757155 ) (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.76) id 1YIFsr-0001bC-R0; Mon, 02 Feb 2015 13:13:41 +0100 Message-ID: <54CF69F5.4030801@bothner.com> Date: Mon, 02 Feb 2015 12:14:00 -0000 From: Per Bothner User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.4.0 MIME-Version: 1.0 To: Seth Alves , kawa@sourceware.org Subject: Re: java.lang.VerifyError exception References: <54A1FDA7.7050200@hungry.com> In-Reply-To: <54A1FDA7.7050200@hungry.com> Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit X-IsSubscribed: yes X-SW-Source: 2015-q1/txt/msg00015.txt.bz2 After many false starts, I have a fix that seems to work. Sorry for the delay - this was the sort of painful problem that encourages procrastination ... On 12/30/2014 02:19 AM, Seth Alves wrote: > Here is a boiled-down snippet of nonsense code (it started as part of the snow zlib package). > > -seth > > $ ./test-kawa.scm > Exception in thread "main" java.lang.VerifyError: Bad local variable type > Exception Details: > Location: > fuh$frame.lambda1loop()Ljava/lang/Object; @13: aload_2 > Reason: > Type top (current frame, locals[2]) is not assignable to reference type > Current Frame: > bci: @13 > flags: { } > locals: { 'fuh$frame', 'fuh$frame0' } > stack: { } > Bytecode: > 0000000: bb00 0459 b700 0859 2ab5 000c 4c2c 1008 > 0000010: b800 124d 2b05 bd00 1459 03b2 001a 5359 > 0000020: 04b2 001e 53b8 0024 b600 28b0 > > at fuh.gunzipGenport(test-kawa.scm:11) > at fuh.apply0(test-kawa.scm:11) > at gnu.expr.ModuleMethod.apply0(ModuleMethod.java:186) > at gnu.expr.ModuleMethod.apply(ModuleMethod.java:160) > at gnu.mapping.CallContext.runUntilDone(CallContext.java:234) > at test$Mnkawa.run(test-kawa.scm:34) > at gnu.expr.ModuleExp.evalModule2(ModuleExp.java:317) > at gnu.expr.CompiledModule.evalModule(CompiledModule.java:42) > at gnu.expr.CompiledModule.evalModule(CompiledModule.java:61) > at kawa.Shell.runFile(Shell.java:538) > at kawa.Shell.runFileOrClass(Shell.java:447) > at kawa.repl.main(repl.java:881) > -- --Per Bothner per@bothner.com http://per.bothner.com/