From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 1520 invoked by alias); 6 May 2017 18:04:56 -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 801 invoked by uid 89); 6 May 2017 18:04:55 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=0.7 required=5.0 tests=BAYES_20,KAM_INFOUSMEBIZ,RCVD_IN_DNSWL_NONE autolearn=no version=3.3.2 spammy=HTo:U*kawa, H*Ad:U*peter, H*F:U*peter, H*M:info X-HELO: butterfly.ash.relay.mailchannels.net Received: from butterfly.ash.relay.mailchannels.net (HELO butterfly.ash.relay.mailchannels.net) (23.83.222.27) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Sat, 06 May 2017 18:04:53 +0000 X-Sender-Id: hostpapa|x-authuser|peter@peterlane.info Received: from relay.mailchannels.net (localhost [127.0.0.1]) by relay.mailchannels.net (Postfix) with ESMTP id 46B7B1248CD for ; Sat, 6 May 2017 18:04:50 +0000 (UTC) Received: from hp114.hostpapa.com (unknown [100.96.137.229]) (Authenticated sender: hostpapa) by relay.mailchannels.net (Postfix) with ESMTPA id CFB11123C36 for ; Sat, 6 May 2017 18:04:49 +0000 (UTC) X-Sender-Id: hostpapa|x-authuser|peter@peterlane.info Received: from hp114.hostpapa.com (hp114.hostpapa.com [172.20.66.218]) (using TLSv1.2 with cipher DHE-RSA-AES256-GCM-SHA384) by 0.0.0.0:2500 (trex/5.9.2); Sat, 06 May 2017 18:04:50 +0000 X-MC-Relay: Neutral X-MailChannels-SenderId: hostpapa|x-authuser|peter@peterlane.info X-MailChannels-Auth-Id: hostpapa X-Little-Plucky: 721027c314e4e821_1494093890139_1021498164 X-MC-Loop-Signature: 1494093890139:1221625911 X-MC-Ingress-Time: 1494093890139 Received: from host86-177-6-82.range86-177.btcentralplus.com ([86.177.6.82]:35778 helo=[192.168.1.64]) by hp114.hostpapa.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.87) (envelope-from ) id 1d744U-002ZkE-KQ for kawa@sourceware.org; Sat, 06 May 2017 19:04:47 +0100 Subject: Re: limit in number of srfi-64 tests To: kawa@sourceware.org References: <50e14906-2056-8e92-8450-8a27b5012074@peterlane.info> From: Peter Lane Message-ID: Date: Sat, 06 May 2017 18:04:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2.0 MIME-Version: 1.0 In-Reply-To: <50e14906-2056-8e92-8450-8a27b5012074@peterlane.info> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-OutGoing-Spam-Status: No, score=0.6 X-AuthUser: peter@peterlane.info X-IsSubscribed: yes X-SW-Source: 2017-q2/txt/msg00049.txt.bz2 On 06/05/17 12:47, Peter Lane wrote: > I have found what appears to be a limit in the number of tests that can > be used in a srfi 64 test file. Attached is a simple example merely > consisting of multiple (test-equal 1 1) statements. There's a workaround to this (as Per let me know). Use the -f switch and it works (for srfi 64 tests at least, which can be handled line-by-line). $ kawa -f many-tests.sps > > With the 560 tests in the file I get an error: > > $ kawa --version > Kawa 2.4 (git describe: kawa-2.3-30-gdad3755-dirty) > Copyright (C) 2017 Per Bothner > > $ kawa many-tests.sps > Exception in thread "main" java.lang.ClassFormatError: Invalid method > Code length 65548 in class file many-tests > at java.lang.ClassLoader.defineClass1(Native Method) > at java.lang.ClassLoader.defineClass(ClassLoader.java:760) > at java.lang.ClassLoader.defineClass(ClassLoader.java:642) > at gnu.bytecode.ArrayClassLoader.loadClass(ArrayClassLoader.java:127) > at gnu.expr.ModuleExp.evalToClass(ModuleExp.java:133) > at gnu.expr.ModuleExp.evalModule1(ModuleExp.java:245) > at kawa.Shell.compileSource(Shell.java:587) > at kawa.Shell.runFile(Shell.java:555) > at kawa.Shell.runFileOrClass(Shell.java:468) > at kawa.repl.processArgs(repl.java:700) > at kawa.repl.main(repl.java:820) > > If I uncomment one test, it runs fine: > > $ kawa many-tests.sps > %%%% Starting test many tests (Writing full log to "many tests.log") > # of expected passes 559 > > It appears the bytecode output has hit a Java limitation. > -- Peter Lane http://peterlane.info