From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Arno Peters Newsgroups: gmane.lisp.guile.user Subject: R5RS compliance test Date: Fri, 14 Feb 2003 11:17:36 +0100 Sender: guile-user-bounces+guile-user=m.gmane.org@gnu.org Message-ID: <20030214101736.GA7239@duronbox> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: main.gmane.org 1045217828 30786 80.91.224.249 (14 Feb 2003 10:17:08 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Fri, 14 Feb 2003 10:17:08 +0000 (UTC) Return-path: Original-Received: from monty-python.gnu.org ([199.232.76.173]) by main.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 18jcu1-00080J-00 for ; Fri, 14 Feb 2003 11:17:05 +0100 Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.10.13) id 18jcuQ-0005hO-04 for guile-user@m.gmane.org; Fri, 14 Feb 2003 05:17:30 -0500 Original-Received: from list by monty-python.gnu.org with tmda-scanned (Exim 4.10.13) id 18jcu4-0005gp-00 for guile-user@gnu.org; Fri, 14 Feb 2003 05:17:08 -0500 Original-Received: from mail by monty-python.gnu.org with spam-scanned (Exim 4.10.13) id 18jcu3-0005ge-00 for guile-user@gnu.org; Fri, 14 Feb 2003 05:17:07 -0500 Original-Received: from amsfep15-int.chello.nl ([213.46.243.28]) by monty-python.gnu.org with esmtp (Exim 4.10.13) id 18jcu2-0005ga-00 for guile-user@gnu.org; Fri, 14 Feb 2003 05:17:07 -0500 Original-Received: from duronbox.nosuchnet ([62.163.16.73]) by amsfep15-int.chello.nlESMTP <20030214101705.VHZC2755.amsfep15-int.chello.nl@duronbox.nosuchnet> for ; Fri, 14 Feb 2003 11:17:05 +0100 Original-Received: from arno by duronbox.nosuchnet with local (Exim 3.36 #1 (Debian)) id 18jcuW-0005I6-00 for ; Fri, 14 Feb 2003 11:17:36 +0100 Original-To: guile-user@gnu.org Content-Disposition: inline User-Agent: Mutt/1.5.3i X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1b5 Precedence: list List-Id: General Guile related discussions List-Help: List-Post: List-Subscribe: , List-Archive: List-Unsubscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane.org@gnu.org Xref: main.gmane.org gmane.lisp.guile.user:1652 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.user:1652 On comp.lang.scheme, Scott Miller published a R5RS compliance test. The source is here: http://sisc.sf.net/r5rs_pitfall.scm The results from other Scheme implementations: http://sisc.sf.net/r5rspitresults.html Modifications for Guile: For obvious reasons, I needed to add (use-modules (ice-9 syncase)) to the top of r5rs_pitfall.scm The results for Guile: I ran the test with Guile1.4 in Debian (unstable). The first run gave the following resuls: $ guile -s r5rs_pitfall.scm Failure: 1.1, expected '0', got '1'. Passed: 1.2 Passed: 1.3 ERROR: In expression ((quote 0) (c13 #)): ERROR: Wrong type to apply: 0 After commenting out test 2.1, I got the following results: $ guile -s r5rs_pitfall.scm Failure: 1.1, expected '0', got '1'. Passed: 1.2 Passed: 1.3 Passed: 3.1 Passed: 3.2 Passed: 4.1 Passed: 4.2 Passed: 5.1 Passed: 5.2 Passed: 5.3 Passed: 6.1 Passed: 7.1 Passed: 7.2 Passed: 7.3 Passed: 7.4 Map is not call/cc safe, but probably tail recursive and efficient. There are two failures: tests 1.1 and 2.1. I ran the test also with the CVS HEAD branch (1.7.0), again I had to comment out test 2.1. The test results are identical to guile 1.4 Greetings, -- Arno Peters _______________________________________________ Guile-user mailing list Guile-user@gnu.org http://mail.gnu.org/mailman/listinfo/guile-user