From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Dirk Herrmann Newsgroups: gmane.lisp.guile.devel Subject: Re: bug in syncase Date: Sun, 24 Nov 2002 11:33:56 +0100 (CET) Sender: guile-devel-admin@gnu.org Message-ID: References: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: main.gmane.org 1038133948 24215 80.91.224.249 (24 Nov 2002 10:32:28 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Sun, 24 Nov 2002 10:32:28 +0000 (UTC) Cc: Guile Development 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 18Fu3v-0006IR-00 for ; Sun, 24 Nov 2002 11:32:27 +0100 Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.10) id 18Fu5X-0004je-00; Sun, 24 Nov 2002 05:34:07 -0500 Original-Received: from list by monty-python.gnu.org with tmda-scanned (Exim 4.10) id 18Fu5R-0004gz-00 for guile-devel@gnu.org; Sun, 24 Nov 2002 05:34:01 -0500 Original-Received: from mail by monty-python.gnu.org with spam-scanned (Exim 4.10) id 18Fu5P-0004dV-00 for guile-devel@gnu.org; Sun, 24 Nov 2002 05:34:00 -0500 Original-Received: from sallust.ida.ing.tu-bs.de ([134.169.132.52]) by monty-python.gnu.org with esmtp (Exim 4.10) id 18Fu5O-0004a5-00 for guile-devel@gnu.org; Sun, 24 Nov 2002 05:33:58 -0500 Original-Received: from localhost (dirk@localhost) by sallust.ida.ing.tu-bs.de (8.9.3+Sun/8.9.1) with ESMTP id LAA28136; Sun, 24 Nov 2002 11:33:56 +0100 (CET) Original-To: Neil Jerram In-Reply-To: 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:1749 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.devel:1749 On 24 Nov 2002, Neil Jerram wrote: > >>>>> "Dirk" == Dirk Herrmann writes: > > Dirk> There is a mechanism in scheme that allows to prevent > Dirk> memoization: eval. If it is correct that emacs does not > Dirk> perform memoization, then it might be that the whole concept > Dirk> of the @fop memoization is wrong. Could you check whether > Dirk> it is possible to achieve emacs' behaviour by replacing the > Dirk> @fop solution by a solution based on eval (or some elisp > Dirk> equivalent of this)? I would postpone working on @fop until > Dirk> this is solved - there are still enough other things to do > Dirk> for me :-) > > Is this a blocking problem for you? If it isn't, I'd say that we > don't particularly have to solve this problem now. It is only > relevant in the pathological scenario where a symbol previously > defined as a function becomes a macro, and vice versa, so it's a low > priority bug. (For example, much lower priority than the odd > behaviour of array?.) It is not currently blocking _me_ but it will block the integration of my changes as soon as they are completed. And, since issues like the one above lead to questioning very basic assumptions (see your question about detection of redefinition and rememoization below), it is better to get answers quickly. > - I dislike explicit uses of eval, so would prefer not to have to use > such an approach. If there is a solution that works with separate memoization, I don't mind. Maybe one could change the elisp translation code that it does re-translation itself, without support for such code in the evaluator? > - Looking at the analogous example in Scheme, have we agreed > (definitively) that Guile should _not_ detect the redefinition and > rememoize accordingly? As far as I have understood things, yes: All our current discussions go towards the direction, that if you want that changed bindings will have effect on already loaded code, you will have to reload that code. This IMO also covers the fact of redefinitions of macros etc. Best regards Dirk Herrmann _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://mail.gnu.org/mailman/listinfo/guile-devel