From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Tom Lord Newsgroups: gmane.lisp.guile.devel Subject: Re: Internal defines Date: Mon, 10 Nov 2003 20:22:51 -0800 (PST) Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Message-ID: <200311110422.UAA23167@morrowfield.regexps.com> References: <3FAEC259.302@dirk-herrmanns-seiten.de> <87ekwf63xu.fsf@raven.i.defaultvalue.org> <200311110311.TAA22963@morrowfield.regexps.com> <3FB05C97.9060101@cs.uvm.edu> NNTP-Posting-Host: deer.gmane.org X-Trace: sea.gmane.org 1068524425 9082 80.91.224.253 (11 Nov 2003 04:20:25 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Tue, 11 Nov 2003 04:20:25 +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 05:20:22 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 1AJQ0s-0001AL-00 for ; Tue, 11 Nov 2003 05:20:22 +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 1AJQxU-00007X-Ex for guile-devel@m.gmane.org; Tue, 11 Nov 2003 00:20:56 -0500 Original-Received: from list by monty-python.gnu.org with tmda-scanned (Exim 4.24) id 1AJQwr-0008Hp-DT for guile-devel@gnu.org; Tue, 11 Nov 2003 00:20:17 -0500 Original-Received: from mail by monty-python.gnu.org with spam-scanned (Exim 4.24) id 1AJQwJ-0007AN-IW for guile-devel@gnu.org; Tue, 11 Nov 2003 00:20:14 -0500 Original-Received: from [199.232.41.8] (helo=mx20.gnu.org) by monty-python.gnu.org with esmtp (TLSv1:DES-CBC3-SHA:168) (Exim 4.24) id 1AJQwJ-0007AK-Bl for guile-devel@gnu.org; Tue, 11 Nov 2003 00:19:43 -0500 Original-Received: from [65.234.195.251] (helo=morrowfield.regexps.com) by mx20.gnu.org with esmtp (Exim 4.24) id 1AJPom-0004Qe-U7 for guile-devel@gnu.org; Mon, 10 Nov 2003 23:07:53 -0500 Original-Received: (from lord@localhost) by morrowfield.regexps.com (8.9.1/8.9.1) id UAA23167; Mon, 10 Nov 2003 20:22:51 -0800 (PST) (envelope-from lord@morrowfield.regexps.com) Original-To: dvanhorn@cs.uvm.edu In-reply-to: <3FB05C97.9060101@cs.uvm.edu> (message from David Van Horn on Mon, 10 Nov 2003 21:50:47 -0600) 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:2992 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.devel:2992 > From: David Van Horn > 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. One way to do that is to add sufficiently to the set of primitive expressions and built-in procedures so that macros can be explained operationally (as a translation into those core elements carried out by an explicit expand-phase that precedes evaluation). If you'll forgive the self-promotion, please watch for the upcoming Pika Scheme announcement on c.l.s. (sometime this month) which does exactly that. In a not unrelated fashion, Pika provides a foundation for module systems. -t _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://mail.gnu.org/mailman/listinfo/guile-devel