From mboxrd@z Thu Jan  1 00:00:00 1970
Path: main.gmane.org!not-for-mail
From: Mikael Djurfeldt <mdj@kvast.blakulla.net>
Newsgroups: gmane.lisp.guile.devel
Subject: Re: goops and memoization
Date: Sun, 24 Nov 2002 11:32:32 -0500
Sender: guile-devel-admin@gnu.org
Message-ID: <xy7adjz6i8v.fsf@linnaeus.i-did-not-set--mail-host-address--so-tickle-me>
References: <Pine.GSO.4.05.10211201833410.18410-100000@sallust.ida.ing.tu-bs.de>
	<xy7of8j4nx8.fsf@linnaeus.i-did-not-set--mail-host-address--so-tickle-me>
	<xy7lm3n4n4d.fsf@linnaeus.i-did-not-set--mail-host-address--so-tickle-me>
	<m33cpu8oub.fsf@laruns.ossau.uklinux.net>
	<xy7lm3m2yz2.fsf@linnaeus.i-did-not-set--mail-host-address--so-tickle-me>
	<xy7isyq2yqn.fsf@linnaeus.i-did-not-set--mail-host-address--so-tickle-me>
	<m37kf35moo.fsf@laruns.ossau.uklinux.net>
Reply-To: djurfeldt@nada.kth.se
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: main.gmane.org 1038155646 2782 80.91.224.249 (24 Nov 2002 16:34:06 GMT)
X-Complaints-To: usenet@main.gmane.org
NNTP-Posting-Date: Sun, 24 Nov 2002 16:34:06 +0000 (UTC)
Cc: djurfeldt@nada.kth.se,  Dirk Herrmann <dirk@sallust.ida.ing.tu-bs.de>,
	  guile-devel@gnu.org
Return-path: <guile-devel-admin@gnu.org>
Original-Received: from monty-python.gnu.org ([199.232.76.173])
	by main.gmane.org with esmtp (Exim 3.35 #1 (Debian))
	id 18Fzhs-0000ij-00
	for <guile-devel@m.gmane.org>; Sun, 24 Nov 2002 17:34:04 +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 18Fzgz-0004EU-00; Sun, 24 Nov 2002 11:33:09 -0500
Original-Received: from list by monty-python.gnu.org with tmda-scanned (Exim 4.10)
	id 18Fzgp-0003sY-00
	for guile-devel@gnu.org; Sun, 24 Nov 2002 11:32:59 -0500
Original-Received: from mail by monty-python.gnu.org with spam-scanned (Exim 4.10)
	id 18Fzgn-0003pm-00
	for guile-devel@gnu.org; Sun, 24 Nov 2002 11:32:58 -0500
Original-Received: from kvast.blakulla.net ([213.212.20.77])
	by monty-python.gnu.org with esmtp (Exim 4.10)
	id 18Fzgm-0003ph-00
	for guile-devel@gnu.org; Sun, 24 Nov 2002 11:32:56 -0500
Original-Received: from linnaeus ([18.42.2.46])
	by kvast.blakulla.net with esmtp (Exim 3.36 #1 (Debian))
	id 18FzgW-0000Cx-00; Sun, 24 Nov 2002 17:32:40 +0100
Original-Received: from mdj by linnaeus with local (Exim 3.36 #1 (Debian))
	id 18FzgT-0004LG-00; Sun, 24 Nov 2002 11:32:37 -0500
Original-To: Neil Jerram <neil@ossau.uklinux.net>
Original-Cc: djurfeldt@nada.kth.se
In-Reply-To: <m37kf35moo.fsf@laruns.ossau.uklinux.net> (Neil Jerram's
 message of "24 Nov 2002 09:41:59 +0000")
User-Agent: Gnus/5.090008 (Oort Gnus v0.08) Emacs/21.2 (i386-pc-linux-gnu)
Errors-To: guile-devel-admin@gnu.org
X-BeenThere: guile-devel@gnu.org
X-Mailman-Version: 2.0.11
Precedence: bulk
List-Help: <mailto:guile-devel-request@gnu.org?subject=help>
List-Post: <mailto:guile-devel@gnu.org>
List-Subscribe: <http://mail.gnu.org/mailman/listinfo/guile-devel>,
	<mailto:guile-devel-request@gnu.org?subject=subscribe>
List-Id: Developers list for Guile,
	the GNU extensibility library <guile-devel.gnu.org>
List-Unsubscribe: <http://mail.gnu.org/mailman/listinfo/guile-devel>,
	<mailto:guile-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://mail.gnu.org/pipermail/guile-devel/>
Xref: main.gmane.org gmane.lisp.guile.devel:1753
X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.devel:1753

Neil Jerram <neil@ossau.uklinux.net> writes:

> I'm not proposing to pursue the method-definition-time approach.  Out
> of interest, however, are there any hard cases that don't rely on
> multiple inheritance?

Yes.  Consider:

(define-method (foo (x <top>) (y <top>)) 'top)
(define-method (foo (x <real>) (y <integer>)) 'middle)
(define-method (foo (x <integer>) (y <integer>)) (next-method))
(foo 1 1) --> middle
(foo 1.0 1.0) --> top

Best regards,
Mikael


_______________________________________________
Guile-devel mailing list
Guile-devel@gnu.org
http://mail.gnu.org/mailman/listinfo/guile-devel