From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Andy Wingo Newsgroups: gmane.lisp.guile.user Subject: Re: [r6rs] expansion bug, probably free-identifier=? related Date: Fri, 29 Apr 2011 16:56:44 +0200 Message-ID: References: <8739n8y7ed.fsf@rapitore.luna> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: dough.gmane.org 1304089021 19075 80.91.229.12 (29 Apr 2011 14:57:01 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 29 Apr 2011 14:57:01 +0000 (UTC) Cc: guile-user@gnu.org To: Marco Maggi Original-X-From: guile-user-bounces+guile-user=m.gmane.org@gnu.org Fri Apr 29 16:56:57 2011 Return-path: Envelope-to: guile-user@m.gmane.org Original-Received: from lists.gnu.org ([140.186.70.17]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1QFp7n-0003M8-17 for guile-user@m.gmane.org; Fri, 29 Apr 2011 16:56:55 +0200 Original-Received: from localhost ([::1]:33351 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1QFp7m-0006sw-L7 for guile-user@m.gmane.org; Fri, 29 Apr 2011 10:56:54 -0400 Original-Received: from eggs.gnu.org ([140.186.70.92]:54906) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1QFp7k-0006sW-6X for guile-user@gnu.org; Fri, 29 Apr 2011 10:56:53 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1QFp7i-0001mD-SM for guile-user@gnu.org; Fri, 29 Apr 2011 10:56:52 -0400 Original-Received: from a-pb-sasl-sd.pobox.com ([64.74.157.62]:33005 helo=sasl.smtp.pobox.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1QFp7i-0001m2-QH for guile-user@gnu.org; Fri, 29 Apr 2011 10:56:50 -0400 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id C293047E7; Fri, 29 Apr 2011 10:58:52 -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=LhlaqkC48IpFZ6a/B4mpMmDTiBI=; b=rYdnjk BA0yz+pwLYRmSv1EvoKsg3caOekRbQSkgzrutuU+ahu0XyZ2ZSoGNMgt4lfVbQLC HOpdtPb8CzbHat9zBrtQs/nVZnJ75uF9QjAhjgc6ax08k8v7yC7V6AmdlM4Pv1Zy bjGZElUmXSGXWy7YN9rzn+N2QA0n1hJVgOl+E= 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=lGNovJwS5up0EKCkSR0RJWZTczhVtgOt ZYNWdVoZatQw/6HsJRW4zgJEIkxJ2Q9gqioea8gUrqpmXSm9HX+2lePWLK/kiJJK QXdgTzyL5Qplp0zuTLOSbUu7XOc4+8dsoHp6m3Md2ffAV0W/yfcvMssn0bZxWBkM Hk0MUH/a8BM= 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 B041247E6; Fri, 29 Apr 2011 10:58:51 -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 E601C47E5; Fri, 29 Apr 2011 10:58:49 -0400 (EDT) In-Reply-To: <8739n8y7ed.fsf@rapitore.luna> (Marco Maggi's message of "Mon, 28 Feb 2011 07:56:10 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) X-Pobox-Relay-ID: 31EC70E2-7271-11E0-8747-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-user@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane.org@gnu.org Original-Sender: guile-user-bounces+guile-user=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.user:8608 Archived-At: Hello Marco, I have a branch pending to fix free-identifier=? in Guile. It will probably go in 2.0.2. However, even with this patch, test-flatt-syntactic.sps still fails because of two things, one difficult and the other even more so: 1) Bug https://savannah.gnu.org/bugs/?31472 -- the introduced "the-parent-rtd" identifier gets resolved relative to the (synrec6) module rather than the module of the expanded form. This will be fixed at some point. 2) Guile does not hygienically introduce toplevel bindings. I would like to fix it, but it will not be fixed in 2.0.x, as it would break ABI. You can work around this one as Guile's own srfi-9 does, if you so wish, by generating a temporary yourself. Regards, Andy -- http://wingolog.org/