Re: GOOPS-based SRFI-35 implementation

[Mikael Djurfeldt]

Andreas Rottmann <address@hidden> 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