From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Mikael Djurfeldt Newsgroups: gmane.lisp.guile.devel,gmane.lisp.guile.user Subject: Re: GOOPS-based SRFI-35 implementation Date: Thu, 11 Mar 2004 10:38:14 -0500 Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Message-ID: References: <87k7278ak9.fsf@alice.rotty.yi.org> <853c8paphg.fsf@ossau.uklinux.net> <87n06xqx8c.fsf@ivanova.rotty.yi.org> <85llmerxiq.fsf@ossau.uklinux.net> <87r7w3yuem.fsf@ivanova.rotty.yi.org> Reply-To: djurfeldt@nada.kth.se NNTP-Posting-Host: deer.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: sea.gmane.org 1079215718 13690 80.91.224.253 (13 Mar 2004 22:08:38 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Sat, 13 Mar 2004 22:08:38 +0000 (UTC) Cc: Guile Users , djurfeldt@nada.kth.se, guile-devel@gnu.org, Neil Jerram Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sat Mar 13 23:08:30 2004 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 1B2HJ0-0004jX-00 for ; Sat, 13 Mar 2004 23:08:30 +0100 Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.30) id 1B2H1u-0003Vn-8J for guile-devel@m.gmane.org; Sat, 13 Mar 2004 16:50:50 -0500 Original-Received: from list by monty-python.gnu.org with tmda-scanned (Exim 4.30) id 1B2Fne-0000Bd-Om for guile-devel@gnu.org; Sat, 13 Mar 2004 15:32:02 -0500 Original-Received: from mail by monty-python.gnu.org with spam-scanned (Exim 4.30) id 1B1SGu-0001lA-Nl for guile-devel@gnu.org; Thu, 11 Mar 2004 10:39:27 -0500 Original-Received: from [213.212.20.77] (helo=kvast.blakulla.net) by monty-python.gnu.org with esmtp (Exim 4.30) id 1B1SGM-0001aa-Jr; Thu, 11 Mar 2004 10:38:22 -0500 Original-Received: from chunk.mit.edu ([18.42.2.92] helo=chunk ident=Debian-exim) by kvast.blakulla.net with esmtp (Exim 3.36 #1 (Debian)) id 1B1SGF-0002Xk-00; Thu, 11 Mar 2004 16:38:15 +0100 Original-Received: from mdj by chunk with local (Exim 4.30) id 1B1SGE-0006Je-DA; Thu, 11 Mar 2004 10:38:14 -0500 Original-To: Andreas Rottmann In-Reply-To: <87r7w3yuem.fsf@ivanova.rotty.yi.org> (Andreas Rottmann's message of "Mon, 08 Mar 2004 21:07:45 +0100") User-Agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux) X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.4 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:3520 gmane.lisp.guile.user:2939 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.user:2939 Andreas Rottmann writes: > Here, we given your proposed model, we'd get this hierarchy: > > (define-class &c ()) > (define-class &c1 (&c)) > (define-class &c2 (&c)) > (define-class &c3 (&c1 &c2)) ;; Class constructed for v3 > (define-class &c5 (&c2 &c3)) ;; Class constructed for v5 > > This will cause GOOPS to barf: "merge-lists: Inconsistent precedence graph" > > I didn't see an obvious solution to this problem. Well, this is a bug in goops.scm:compute-std-cpl. The solution is to fix the bug. However, this is non-trivial, and I don't have time right now to fix it myself. The algorithm should be the C3 algorithm in http://www.webcom.com/haahr/dylan/linearization-oopsla96.html M _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://mail.gnu.org/mailman/listinfo/guile-devel