Marcin 'Qrczak' Kowalczyk
30 Aug 2001 08:39:26 GMT
Thu, 30 Aug 2001 00:56:25 -0700, Simon Peyton-Jones <email@example.com> pisze:
> As you gather your wits for ICFP, you may like to consider the following
> nice point (thanks to the OGI folk) in the Haskell 98 Report. Is
> the following legal? And if so, what is exported?
> | module M(module M) where
> | import A as M
Legal. Exported is everything defined in this module and everything
exported from A. Unless there are name conflicts, when it's an error.
Now let's see if it agrees with your proposal:
> The second paragraph is unchanged. The first paragraph encapsulates
> rather neatly what we want. It answers questions like the one I opened
> with (answer: all local defns and everything imported from A is
Yes! I like your formulation.
__("< Marcin Kowalczyk * firstname.lastname@example.org http://qrczak.ids.net.pl/
^^ SYGNATURA ZASTĘPCZA