Original-Via: uk.ac.nsf; Fri, 25 Oct 91 18:27:51 BST
Original-Sender: [EMAIL PROTECTED]
John Peterson writes:
> import Prelude hiding(Dialogue)
> main _ = error "main"
>
> Actually I'm not sure how this program refers to 'Dialogue' at all.
Well, I quote from the Report (p. 40, line 8):
..., and main must have type Dialogue.
As far as I can understand that means that the compiler must check this
during type checking, but what if Dialogue is hidden?
I hope that all the type synonyms really belong in the Core.
-- Lennart
