hi,
sorry for the double post yesterday, thomas had some sort of a problem
sending mail to the list, so i sent the message instead, but i guess
eventually both messages ended up being posted.
Simon Peyton-Jones wrote:
So I am happy to adopt your interpretation, but I'd like to clarify
the wor
Thomas, Iavor,
Thanks for your message.
| Are you saying that you think the report doesn't fully define the
| meaning of the module system, or just that difficult to understand and
| needs to be clarified?
The former, and hence it ought to be clarified. But after contemplating
your message, you
> The meaning of "module M" in export lists is rather subtle, and the
> above reformulation (or the one-word change) seems to make a subtle
> change to it. It is not just a clarification. Is that what
> you intend?!
It depends, I guess, on your interpretation of the report as it stands.
It wasn'
The call for papers for RTA'03 might
be relevant for the readers of the
Haskell lists since papers on applications
of rewriting are explicitly invited.
***
**
**
Hi,
Simon Peyton-Jones wrote:
Folks
Another minor H98 glitch.
Are you saying that you think the report doesn't fully define the
meaning of the module system, or just that difficult to understand and
needs to be clarified?
Consider this:
| > > module D (module Char) where
| > > { import q
