From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Andy Wingo Newsgroups: gmane.lisp.guile.devel Subject: Re: VM stack overflow while calling sxml-match within let* or car Date: Sun, 27 Mar 2011 15:04:30 +0200 Message-ID: References: <1300095731.2650.20.camel@Renee-desktop> <87vczlsir5.fsf@gnu.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: dough.gmane.org 1301231077 24805 80.91.229.12 (27 Mar 2011 13:04:37 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sun, 27 Mar 2011 13:04:37 +0000 (UTC) Cc: Jim Bender , guile-devel@gnu.org To: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sun Mar 27 15:04:32 2011 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Q3pdw-0005jZ-CM for guile-devel@m.gmane.org; Sun, 27 Mar 2011 15:04:32 +0200 Original-Received: from localhost ([127.0.0.1]:45021 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Q3pdv-00030H-PO for guile-devel@m.gmane.org; Sun, 27 Mar 2011 09:04:31 -0400 Original-Received: from [140.186.70.92] (port=35599 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Q3pdk-0002zB-AR for guile-devel@gnu.org; Sun, 27 Mar 2011 09:04:21 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Q3pdj-0000oq-BM for guile-devel@gnu.org; Sun, 27 Mar 2011 09:04:20 -0400 Original-Received: from a-pb-sasl-sd.pobox.com ([64.74.157.62]:61749 helo=sasl.smtp.pobox.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Q3pdj-0000oK-8k; Sun, 27 Mar 2011 09:04:19 -0400 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 495AA48DD; Sun, 27 Mar 2011 09:06:02 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; s=sasl; bh=lYnkGPtlYTYZvca1+Ym4vm/cSVc=; b=ORVMrQ TLfSAF9M4qExEjRF6nIX6Jc76dKRunRc7A+I5Gg9nawknosy1sbumrC2k+oeX+bL ndkv5C2v+DuBvfbaElEPzi1smJWqhQfycpT++58jkUpfbADxPnAvPFDbs+7ULKBS 1azDJj1s+5jsSJquAr4+qH96R3sMCjM99Rtd0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; q=dns; s=sasl; b=L+akSKVRlYyibSmRqOxr7Eb4e+WX1dzO MsY5/FqjHcN+FgMo1S9RJLdRIDkI2SzOgmLNL5Z/G9E3itJYrv/7qXxn6x8EBEEp EEuIpctAAzXGohHho0zO0egWvshD+2hpo73tSoRjwNN4EP2MfVAtDrmz7jczKfZI 0S0vpD4xVvI= Original-Received: from a-pb-sasl-sd.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 2051648DB; Sun, 27 Mar 2011 09:05:59 -0400 (EDT) Original-Received: from unquote.localdomain (unknown [90.164.198.39]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTPSA id 51F5448DA; Sun, 27 Mar 2011 09:05:56 -0400 (EDT) In-Reply-To: (Andy Wingo's message of "Sun, 27 Mar 2011 13:56:24 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) X-Pobox-Relay-ID: F5911A70-5872-11E0-85B5-E8AB60295C12-02397024!a-pb-sasl-sd.pobox.com X-detected-operating-system: by eggs.gnu.org: Solaris 10 (beta) X-Received-From: 64.74.157.62 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:12009 Archived-At: On Sun 27 Mar 2011 13:56, Andy Wingo writes: > On Sun 27 Mar 2011 13:30, Andy Wingo writes: > >>> (And Guile crashes upon ,bt.) >> >> I wonder if this indicates some compilation bug. > > Indeed it does; it's a bug in Guile, not sxml-match. > > The following expression exhibits this bug: > > (car > (letrec ((f (lambda () > (call-with-prompt > 'p > (lambda () #t) > (lambda (k) #f))))) > (f))) Fixed in git. Thanks for the amusing bug, Mr. Turing! Andy -- http://wingolog.org/