Re: generic * and 0

2006/12/1, Kevin Ryde <user42 <at> zip.com.au>:
> SZAVAI Gyula <szgyg <at> ludens.elte.hu> writes:
> >
> > (use-modules (oop goops))
> > (define-class <c> ())
> > (define-method (* a (b <c>)) #t)
> > (* 0 (make <c>))
> > ==> 0
>
> Thanks, that's a bug.

Are you sure?

If you want to use an operator which is common for numbers and <c>:s,
why don't you want to use a common zero?  If you don't, the behavior
of the operator will be inconsistent.

If one still don't want 0 as zero (in the abstract sense), maybe one
should use another name for the operator, or, tie a different generic
to the name "*".

M

_______________________________________________
Bug-guile mailing list
Bug-guile <at> gnu.org
http://lists.gnu.org/mailman/listinfo/bug-guile