Original-Via: uk.ac.ox.prg; Sun, 15 Dec 91 17:11:26 GMT
***SYNTAX ONLY***
I was quite suprised to see `atype' in the syntax for expression type
signatures in Kevin's proposal:
| exp -> exp(0,n) [ :: [ context => ] atype]
Then I looked at the current Haskell report and
Original-Via: uk.ac.nsf; Sun, 15 Dec 91 05:18:50 GMT
What about this (sorry to keep complaining):
module M where
import Prelude hiding (ShowS)
...
Is it legal? Well, that depends what the interface file
for Prelude looks like. If it says (e.g.)
showChar :: Char
