On 06-May-2000, S.D.Mechveliani <[EMAIL PROTECTED]> wrote:
> To my
>
> >> Alfred defined *his* user type T and *his* Set instance for it.
> >> And Charles dislikes this instance.
> >> Why basAlgPropos is guilty?
>
> Marcin Qrczak Kowalczyk <[EMAIL PROTECTED]> writes
>
> > Because it unnecessarily forced him to define a Set instance, and to
> > do it early.
>
> Alfred is not forced to define this Set instance for his T.
> If he skips the key -fadvancedAlgebra,
>
> the compiler has to insert the default one automatically - if it
> finds that the program exploits it.
> Why not assume this, for example?
If the default instance simply defines all methods as bottom, then it
doesn't help; in the scenario that I outlined, Charles will still have
the same problem when he passes `Alfred.T' to `Betty.f'.
--
Fergus Henderson <[EMAIL PROTECTED]> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger [EMAIL PROTECTED] | -- the last words of T. S. Garp.
