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?
(one could think of other way-outs).
> No dummy instances, neither user-defined or compiler-generated.
> They are not needed. If some library needs them, fix the library.
Some snobs need some classes in standard.
And some person pretends not to allow these classes at all, even as
compiler-generated, even only when the compiler detects their
formal usage, even if they are smallest:
> If some library needs them, fix the library.
Maybe, it is better to say
"if some person prohibits them, fix the person" ?
------------------
Sergey Mechveliani
[EMAIL PROTECTED]
