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 -> ShowS
then it is illegal since the closure rule is violated.
If, on the other hand, it says
showChar :: Char -> String -> String
then it is legal.
Unfortunately the interface files are not given for the Prelude(s)
so it is impossible to tell.
-- Lennart