From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Han-Wen Nienhuys Newsgroups: gmane.lisp.guile.devel Subject: segfault in CVS HEAD Date: Sun, 13 Jun 2004 00:26:21 +0200 Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Message-ID: <16587.33549.810826.520050@localhost.localdomain> References: <16587.29122.106192.358092@localhost.localdomain> <16587.29243.149983.991579@localhost.localdomain> Reply-To: hanwen@xs4all.nl NNTP-Posting-Host: deer.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: sea.gmane.org 1087079214 18299 80.91.224.253 (12 Jun 2004 22:26:54 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Sat, 12 Jun 2004 22:26:54 +0000 (UTC) Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sun Jun 13 00:26:44 2004 Return-path: Original-Received: from lists.gnu.org ([199.232.76.165]) by deer.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 1BZGxY-0004Wz-00 for ; Sun, 13 Jun 2004 00:26:44 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.33) id 1BZGyM-0006Iy-EM for guile-devel@m.gmane.org; Sat, 12 Jun 2004 18:27:34 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.33) id 1BZGyF-0006It-Cn for guile-devel@gnu.org; Sat, 12 Jun 2004 18:27:27 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.33) id 1BZGyD-0006Ih-Tr for guile-devel@gnu.org; Sat, 12 Jun 2004 18:27:27 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.33) id 1BZGyD-0006Ie-RI for guile-devel@gnu.org; Sat, 12 Jun 2004 18:27:25 -0400 Original-Received: from [213.84.26.127] (helo=localhost.localdomain) by monty-python.gnu.org with esmtp (TLSv1:DES-CBC3-SHA:168) (Exim 4.34) id 1BZGxD-0003ph-36 for guile-devel@gnu.org; Sat, 12 Jun 2004 18:26:23 -0400 Original-Received: from localhost.localdomain.byrd.xs4all.nl (byrd [127.0.0.1]) by localhost.localdomain (8.12.11/8.12.11) with ESMTP id i5CMQMkG017861; Sun, 13 Jun 2004 00:26:22 +0200 Original-To: guile-devel@gnu.org, dirk@dirk-herrmanns-seiten.de, jantien@xs4all.nl In-Reply-To: <16587.29243.149983.991579@localhost.localdomain> X-Mailer: VM 7.14 under Emacs 21.3.1 X-yoursite-MailScanner-Information: Please contact the ISP for more information X-yoursite-MailScanner: Found to be clean X-MailScanner-From: hanwen@xs4all.nl X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.4 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: main.gmane.org gmane.lisp.guile.devel:3793 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.devel:3793 hanwen@xs4all.nl writes: > hanwen@xs4all.nl writes: > > byrd:~/usr/src/guile/libguile$ cat t.scm > > (defiaine blub (cons (quote (1 . 2)) 2)) > > > > > > for some reason, GUILE unmemoizes the procedure during print; of > > course, the expression is not memoized, since evaluation stops after > > "defiaine". I've seen similar problems with invocations of > > procedure-source on valid code. > > example: > > byrd:~/usr/src/guile/libguile$ cat t.scm > (define (blub) (cons (quote (1 . 2)) 2)) > (display (procedure-source blub)) > byrd:~/usr/src/guile/libguile$ guile --debug t.scm > Segmentatie fout > byrd:~/usr/src/guile/libguile$ guile t.scm > Segmentatie fout I've implemented a kludge in CVS: the for loop now has a SCM_CONSP as the condition. It produces incorrect output in the example that I sent, but at least it doesn't crash. BTW, why are vectors quoted in the unmemoize output? from unmemoize_expression(): else if (SCM_VECTORP (expr)) { return scm_list_2 (scm_sym_quote, expr); } -- Han-Wen Nienhuys | hanwen@xs4all.nl | http://www.xs4all.nl/~hanwen _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://lists.gnu.org/mailman/listinfo/guile-devel