From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Neil Jerram Newsgroups: gmane.lisp.guile.devel Subject: Re: new-model.text, please comment Date: 13 Sep 2002 19:53:05 +0100 Sender: guile-devel-admin@gnu.org Message-ID: References: <871y80tn9r.fsf@zagadka.ping.de> NNTP-Posting-Host: localhost.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: main.gmane.org 1031953560 1461 127.0.0.1 (13 Sep 2002 21:46:00 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Fri, 13 Sep 2002 21:46:00 +0000 (UTC) Cc: guile-devel@gnu.org Return-path: Original-Received: from monty-python.gnu.org ([199.232.76.173]) by main.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 17pyGC-0000N4-00 for ; Fri, 13 Sep 2002 23:45:56 +0200 Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.10) id 17pyGN-000760-00; Fri, 13 Sep 2002 17:46:07 -0400 Original-Received: from list by monty-python.gnu.org with tmda-scanned (Exim 4.10) id 17pyFU-0006jt-00 for guile-devel@gnu.org; Fri, 13 Sep 2002 17:45:12 -0400 Original-Received: from mail by monty-python.gnu.org with spam-scanned (Exim 4.10) id 17pyFS-0006fm-00 for guile-devel@gnu.org; Fri, 13 Sep 2002 17:45:12 -0400 Original-Received: from mail.uklinux.net ([80.84.72.21] helo=s1.uklinux.net) by monty-python.gnu.org with esmtp (Exim 4.10) id 17pyFS-0006fM-00 for guile-devel@gnu.org; Fri, 13 Sep 2002 17:45:10 -0400 Original-Received: from portalet.ossau.uklinux.net (ppp-0-203.lond-a-3.access.uk.tiscali.com [80.225.212.203]) by s1.uklinux.net (8.11.6/8.11.6) with ESMTP id g8DLj6h26751; Fri, 13 Sep 2002 22:45:07 +0100 Original-Received: from laruns.ossau.uklinux.net.ossau.uklinux.net (laruns.ossau.uklinux.net [192.168.1.3]) by portalet.ossau.uklinux.net (Postfix on SuSE Linux 7.2 (i386)) with ESMTP id 363B016FA; Fri, 13 Sep 2002 19:58:43 +0000 (GMT) Original-To: Marius Vollmer In-Reply-To: <871y80tn9r.fsf@zagadka.ping.de> Original-Lines: 47 User-Agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/20.7 Errors-To: guile-devel-admin@gnu.org X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.0.11 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: Developers list for Guile, the GNU extensibility library List-Unsubscribe: , List-Archive: Xref: main.gmane.org gmane.lisp.guile.devel:1340 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.devel:1340 >>>>> "Marius" == Marius Vollmer writes: Marius> guile/workbook/compilation/new-model.text Marius> Please have a look and comment on it. Here are my few thoughts. I don't have much experience or expertise in this area, so feel free to explain the obvious to me if that's what I've asked for :-) Marius> The output of the compiler is not specified. Also, Marius> execution of languages other than Scheme is not Marius> considered. It is assumed that additional languages are Marius> first translated to Scheme (or whatever variant of Scheme Marius> we offer) and then compiled normally." High level thought -- is all of this new thinking necessary? Are we unnecessarily ignoring useful stuff that has already been worked through on other projects? Marius> A module contains a set of bindings, and a binding is a Marius> pair consisting of a symbol and another object. The other Marius> object in a binding can be a macro transformer or a Marius> variable. Marius> When a module is created, the set of bindings is empty. Marius> You can add bindings to the set, but you can not remove Marius> them. Existing bindings can not be changed. There can be Marius> at most one binding with a given symbol. So it is impossible to change an existing macro definition? Marius> During compilation of a file that defines a module, that Marius> module is partially constructed (via code executed by Marius> eval-case). The constructed module is made the current Marius> module, but it is not registered in the system. Requests Marius> for a module with the name of the module-being-compiled Marius> will not find the partially constructed module. When the Marius> compiler wants to follow a :module-ref statement with an Marius> explicit name, it must check whether that name refers to Marius> the partially constructed current module. Don't understand the point here. What are you trying to say by "will not find the partially constructed module"? Regards, Neil _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://mail.gnu.org/mailman/listinfo/guile-devel