From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Neil Jerram Newsgroups: gmane.lisp.guile.bugs Subject: Re: procedure-source inconsistency Date: Mon, 13 Aug 2007 19:34:14 +0100 Message-ID: <87d4xr2sih.fsf@ossau.uklinux.net> References: <46BCD215.5050205@mit.edu> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: sea.gmane.org 1187030069 21038 80.91.229.12 (13 Aug 2007 18:34:29 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Mon, 13 Aug 2007 18:34:29 +0000 (UTC) Cc: bug-guile@gnu.org To: Eric Eisner Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Mon Aug 13 20:34:23 2007 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1IKek8-0001W0-VV for guile-bugs@m.gmane.org; Mon, 13 Aug 2007 20:34:21 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1IKek8-0005h7-Fl for guile-bugs@m.gmane.org; Mon, 13 Aug 2007 14:34:20 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1IKek5-0005gg-TM for bug-guile@gnu.org; Mon, 13 Aug 2007 14:34:17 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1IKek5-0005gA-AC for bug-guile@gnu.org; Mon, 13 Aug 2007 14:34:17 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1IKek5-0005g2-7y for bug-guile@gnu.org; Mon, 13 Aug 2007 14:34:17 -0400 Original-Received: from mail3.uklinux.net ([80.84.72.33]) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1IKek4-0001gk-Si for bug-guile@gnu.org; Mon, 13 Aug 2007 14:34:17 -0400 Original-Received: from arudy (host86-145-176-36.range86-145.btcentralplus.com [86.145.176.36]) by mail3.uklinux.net (Postfix) with ESMTP id A798D40A47C; Mon, 13 Aug 2007 18:34:15 +0000 (UTC) Original-Received: from laruns (unknown [192.168.0.5]) by arudy (Postfix) with ESMTP id 3C60F38009; Mon, 13 Aug 2007 19:34:15 +0100 (BST) In-Reply-To: <46BCD215.5050205@mit.edu> (Eric Eisner's message of "Fri, 10 Aug 2007 17:01:09 -0400") User-Agent: Gnus/5.110006 (No Gnus v0.6) Emacs/21.4 (gnu/linux) X-Detected-Kernel: Linux 2.4-2.6 X-BeenThere: bug-guile@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.bugs:3557 Archived-At: Eric Eisner writes: > Hello, > > The built-in 'procedure-source' changes its output in procedures calling 'let' after the procedure in is applied. For example "(define (f) (let ((x 3)) x)) (procedure-source f)" returns '(lambda () (let ((x 3)) x)) > But "(begin (f) (procedure-source f))" returns '(lambda () (let* ((x 3)) x)) > When we were using procedure-source to store a procedure to file, it was not correctly compared to a newly created identical procedure because a let had been transformed to a let*. In summary, the problem here is that procedure-source is not consistent for the same function when called at different times. > > I'm running guile 1.8.1 on Debian Etch, linux 2.6.18. Does it help if you do (read-enable 'copy) before loading the code that you are concerned about? Regards, Neil _______________________________________________ Bug-guile mailing list Bug-guile@gnu.org http://lists.gnu.org/mailman/listinfo/bug-guile