On Sun, May 27, 2007 at 10:49:41PM +0100, Ian Lynagh wrote:
> On Sun, May 27, 2007 at 02:16:15PM -0700, John Meacham wrote:
> > On Sun, May 27, 2007 at 08:28:25PM -0000, GHC wrote:
> > >
> > > Exporting a module that isn't imported doesn't fail.
> > >
> > > An example is, from rnfail028:
> > > {{{
> > > -- !!! illegal to export a module we haven't imported.
> > > module ShouldFail ( module List ) where
> > > }}}
> >
> > Actually, I don't think this is a bug
>
> The report says, in section 5.2, point 5, last paragraph
>
> It is an error to use module M in an export list unless M is the
> module bearing the export list, or M is imported by at least one
> import declaration (qualified or unqualified).
Ah, must have missed this part. Which would explain why jhc has the same
bug. :)
Purely incidentally, I like this paper on the haskell module system, and
feel the report for haskell' should have a similar formal treatment of
the module system.
http://www.csee.ogi.edu/~diatchki/hsmod/
--
John Meacham - ⑆repetae.net⑆john⑈
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
