X-Comment1: #############################################################
X-Comment2: # uk.ac.glasgow.cs has changed to uk.ac.glasgow.dcs #
X-Comment3: # If this address does not work please ask your mail #
X-Comment4: # administrator to update your NRS & mailer tables. #
X-Comment5: #############################################################
I have been catching up with the superclass debate. I think there
is a consensus that
If a type T is declared to be an instance of a class C
then T must also be explicitly declared to be an instance
of C's superclasses.
Right? Any objections? If not I propose that we add a third bullet
to the list on page 31, namely:
* T must be an instance of each of C's superclasses
Simon
