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: #############################################################
Mail seems to be ultra-flakey at the moment. The copy I got back of this
message contained only the first 3 lines. So in case that happened to
everyone, here's the message again. Very sorry if you get 2 copies.
Simon
=============
Comments on John's comments.
| Type synonyms (in interfaces)
| ~~~~~~~~~~~~~
| Proposed: synomyms may (but need not) appear in interface type signatures;
| but if they do then the closure rule means that the synonym must be in scope
