From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: David Van Horn Newsgroups: gmane.lisp.guile.devel Subject: Re: Internal defines Date: Mon, 10 Nov 2003 21:50:47 -0600 Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Message-ID: <3FB05C97.9060101@cs.uvm.edu> References: <3FAEC259.302@dirk-herrmanns-seiten.de> <87ekwf63xu.fsf@raven.i.defaultvalue.org> <200311110311.TAA22963@morrowfield.regexps.com> NNTP-Posting-Host: deer.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: sea.gmane.org 1068523020 7173 80.91.224.253 (11 Nov 2003 03:57:00 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Tue, 11 Nov 2003 03:57:00 +0000 (UTC) Cc: mvo@zagadka.de, guile-devel@gnu.org, rlb@defaultvalue.org Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Tue Nov 11 04:56:56 2003 Return-path: Original-Received: from monty-python.gnu.org ([199.232.76.173]) by deer.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 1AJPeC-0000Gy-00 for ; Tue, 11 Nov 2003 04:56:56 +0100 Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.24) id 1AJQXq-0004eV-Ti for guile-devel@m.gmane.org; Mon, 10 Nov 2003 23:54:26 -0500 Original-Received: from list by monty-python.gnu.org with tmda-scanned (Exim 4.24) id 1AJQXZ-0004ao-QL for guile-devel@gnu.org; Mon, 10 Nov 2003 23:54:09 -0500 Original-Received: from mail by monty-python.gnu.org with spam-scanned (Exim 4.24) id 1AJQWG-0004Ce-Vo for guile-devel@gnu.org; Mon, 10 Nov 2003 23:53:20 -0500 Original-Received: from [132.198.101.184] (helo=badger.uvm.edu) by monty-python.gnu.org with esmtp (TLSv1:DES-CBC3-SHA:168) (Exim 4.24) id 1AJQVs-0003x8-B3 for guile-devel@gnu.org; Mon, 10 Nov 2003 23:52:24 -0500 Original-Received: from cs.uvm.edu (pool-64-222-81-86.burl.east.verizon.net [64.222.81.86]) (authenticated bits=0) by badger.uvm.edu (8.12.10/8.12.10) with ESMTP id hAB3olm6018888 (version=TLSv1/SSLv3 cipher=RC4-MD5 bits=128 verify=NO); Mon, 10 Nov 2003 22:50:49 -0500 User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.3) Gecko/20030312 X-Accept-Language: en-us, en Original-To: Tom Lord In-Reply-To: <200311110311.TAA22963@morrowfield.regexps.com> X-Enigmail-Version: 0.74.3.0 X-Enigmail-Supports: pgp-inline, pgp-mime X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.2 Precedence: list List-Id: Developers list for Guile, the GNU extensibility library List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: main.gmane.org gmane.lisp.guile.devel:2991 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.devel:2991 Tom Lord wrote: > But I think it is crystal clear (once the subtleties understodd) that if the > [R5RS] denotational semantics do not support [R5RS] 5.3 then the > denotational semantics have a bug. The denotational semantics given by R5RS are for primitive expressions and selected built-in procedures of the language that the macro system must transform programs into; it makes no sense for the DS to make mention of macros and their errors. The fact that there is no formal semantics for the syntax transformation language is sad and would be a welcome addition to R6RS, IMO. -d _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://mail.gnu.org/mailman/listinfo/guile-devel