Original-Via: uk.ac.nsf; Tue, 5 Nov 91 03:07:23 GMT
Original-Sender: [EMAIL PROTECTED]
I just sent an errata list to Will Partain, including the following:
>2) Nowhere does the Report say that if a type is an instance of a class
>then it must also be an instance of all that class's superclasses.
It occurs to me that, while the Report should not be silent, there is more
than one option:
Either
a) If an instance declaration is given for a type T and class C, instance
declarations must also be given for T and all the superclasses of C.
b) If an instance declaration is given for a type T and class C, T is
automatically an instance of all the superclasses of C, although instance
declarations may be given for T and any superclasses of C for the purpose of
overriding defaults.
Which of these is better?
--brian
Brian Boutel,
Usually [EMAIL PROTECTED], but currently [EMAIL PROTECTED]
Phone (203) 432 1289
