From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: "Mikael Djurfeldt" Newsgroups: gmane.lisp.guile.bugs Subject: Re: letrec bug Date: Tue, 28 Oct 2008 22:19:31 +0100 Message-ID: <66e540fe0810281419r4c3ec5e1h46cf8d8fc0621637@mail.gmail.com> References: <20081028202237.M8494@ccrma.Stanford.EDU> Reply-To: mikael@djurfeldt.com NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1225230205 20690 80.91.229.12 (28 Oct 2008 21:43:25 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 28 Oct 2008 21:43:25 +0000 (UTC) Cc: bug-guile@gnu.org To: "Bill Schottstaedt" Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Tue Oct 28 22:44:27 2008 connect(): Connection refused 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 1KuwMP-0008QN-LJ for guile-bugs@m.gmane.org; Tue, 28 Oct 2008 22:44:22 +0100 Original-Received: from localhost ([127.0.0.1]:50295 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1KuwLJ-0001ZN-D2 for guile-bugs@m.gmane.org; Tue, 28 Oct 2008 17:43:13 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1KuwKV-0001Rt-5S for bug-guile@gnu.org; Tue, 28 Oct 2008 17:42:23 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1KuwKU-0001RW-N1 for bug-guile@gnu.org; Tue, 28 Oct 2008 17:42:22 -0400 Original-Received: from [199.232.76.173] (port=33262 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1KuwKU-0001RR-7C for bug-guile@gnu.org; Tue, 28 Oct 2008 17:42:22 -0400 Original-Received: from yw-out-1718.google.com ([74.125.46.152]:13487) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1KuwKU-0004LT-9w for bug-guile@gnu.org; Tue, 28 Oct 2008 17:42:22 -0400 Original-Received: by yw-out-1718.google.com with SMTP id 9so756142ywk.66 for ; Tue, 28 Oct 2008 14:42:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:reply-to :sender:to:subject:cc:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references :x-google-sender-auth; bh=RZQhXuPL8M3VgpNKT3NDMQKtBrV4CkyJfM9y5wblStk=; b=Y6/H5ZzQDyrNCYD+ictju4sI9i4tupMtC+qTg9LeA+B9KKaviaqtQIXUbqZxKxIt/S NdOQTNfHp7ao57nba4B5oXuEgucgldbJJqvw7+/sSJVqkRbddWeOLIFDL14br2jnGRDB AC1bjPnig/docSzv7YoBHBAAN4emp1bxOJ+Pw= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:reply-to:sender:to:subject:cc:in-reply-to :mime-version:content-type:content-transfer-encoding :content-disposition:references:x-google-sender-auth; b=u0zKiNYOR4ht6jqB5U7tHeZ8uai4xSAIQ66B3luGnWBGQ0gT6VOgxc/d2LSRSCqnI2 CNxz3jUXsy9O4Hqv+0Ib0oZDPsNuzOwGrQBV7BdKbRU5hpqalY8euUvjlzWVFZI5MsRd m9ZkUrB0PPybrUum0mxBs2QostoMhT9eSZJYM= Original-Received: by 10.150.156.9 with SMTP id d9mr15070855ybe.38.1225228771628; Tue, 28 Oct 2008 14:19:31 -0700 (PDT) Original-Received: by 10.150.201.18 with HTTP; Tue, 28 Oct 2008 14:19:31 -0700 (PDT) In-Reply-To: <20081028202237.M8494@ccrma.Stanford.EDU> Content-Disposition: inline X-Google-Sender-Auth: dd05816738a2b705 X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6 (newer, 2) 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:4060 Archived-At: 2008/10/28 Bill Schottstaedt : > I believe this shows a bug in letrec: > > guile> (let ((x 1)) (let ((x 32) (y x)) y)) > 1 > guile> (let ((x 1)) (letrec ((x 32) (y x)) y)) > > Backtrace: > In standard input: > 2: 0* (let* ((x 1)) (letrec ((x 32) (y x)) y)) > 2: 1 (letrec ((x 32) (y x)) y) > > standard input:2:14: In expression (letrec (# #) y): > standard input:2:14: Variable used before given a value: x > ABORT: (unbound-variable) Nope. >From R5RS: "One restriction on `letrec' is very important: it must be possible to evaluate each without assigning or referring to the value of any ."