Re: recent summary for basAlgPropos discussion

[Bart Demoen]

Marcin Kowalczyk wrote:

> > I am quite happy with not getting a compile-time error for
> > non-implemented class methods, as long as I get a compile-time error
> > when I try to use a non-implemented class method.
> 
> This is impossible.

Thank you.
In that case I agree with Fergus.

Bart Demoen