From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Neil Jerram Newsgroups: gmane.lisp.guile.user Subject: Re: case syntax and symbols Date: Tue, 22 Mar 2005 07:21:58 +0000 Message-ID: <423FC796.4010303@ossau.uklinux.net> References: <1111445850.6034.15.camel@vandvndr.physics.uiuc.edu> <87is3k1oxe.fsf@zagadka.de> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Trace: sea.gmane.org 1111478558 9230 80.91.229.2 (22 Mar 2005 08:02:38 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Tue, 22 Mar 2005 08:02:38 +0000 (UTC) Cc: guile-user@gnu.org Original-X-From: guile-user-bounces+guile-user=m.gmane.org@gnu.org Tue Mar 22 09:02:37 2005 Original-Received: from lists.gnu.org ([199.232.76.165]) by ciao.gmane.org with esmtp (Exim 4.43) id 1DDeLN-000787-2Y for guile-user@m.gmane.org; Tue, 22 Mar 2005 09:02:29 +0100 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1DDecc-0003dD-QI for guile-user@m.gmane.org; Tue, 22 Mar 2005 03:20:18 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1DDecI-0003Xo-4i for guile-user@gnu.org; Tue, 22 Mar 2005 03:19:58 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1DDecH-0003XV-7e for guile-user@gnu.org; Tue, 22 Mar 2005 03:19:57 -0500 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1DDeYG-0002cJ-2g for guile-user@gnu.org; Tue, 22 Mar 2005 03:15:48 -0500 Original-Received: from [80.84.72.33] (helo=mail3.uklinux.net) by monty-python.gnu.org with esmtp (Exim 4.34) id 1DDdjJ-000147-Py for guile-user@gnu.org; Tue, 22 Mar 2005 02:23:10 -0500 Original-Received: from laruns (host81-130-100-35.in-addr.btopenworld.com [81.130.100.35]) by mail3.uklinux.net (Postfix) with ESMTP id 67471409FC3; Tue, 22 Mar 2005 07:23:07 +0000 (UTC) Original-Received: from [127.0.0.1] (laruns [127.0.0.1]) by laruns (Postfix) with ESMTP id 5312D6F6D8; Tue, 22 Mar 2005 07:21:59 +0000 (GMT) User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.5) Gecko/20050105 Debian/1.7.5-1 X-Accept-Language: en Original-To: Marius Vollmer In-Reply-To: <87is3k1oxe.fsf@zagadka.de> X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-user-bounces+guile-user=m.gmane.org@gnu.org Errors-To: guile-user-bounces+guile-user=m.gmane.org@gnu.org X-MailScanner-To: guile-user@m.gmane.org Xref: news.gmane.org gmane.lisp.guile.user:4300 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.user:4300 Marius Vollmer wrote: > > It is a bit tricky. The syntax 'x is short for (quote x). This > expansion is done by the reader without looking at the context. So, > what the evaluator really sees is > > (case 'x > ((quote x) #t) > (else #f)) > > This is indeed in the form required by R5RS, although probably only by > accident. As expected, the following also evaluates to true: > > (case 'quote > ('x #t) > (else #f)) > => #t > > Also (and don't try this at home kids): > > (define 'x (* x x)) > '2 > => 4 And presumably (or in my view) this is all fine, except for the last example, where Guile should signal an error or at least give a warning. Right? Neil _______________________________________________ Guile-user mailing list Guile-user@gnu.org http://lists.gnu.org/mailman/listinfo/guile-user