[GHC] #1384: Exporting a module that isn't imported doesn't fail

[John Meacham]

On Sun, May 27, 2007 at 08:28:25PM -0000, GHC wrote:
> #1384: Exporting a module that isn't imported doesn't fail
> ------------------------+---------------------------------------------------
>   Reporter:  igloo      |          Owner:         
>       Type:  bug        |         Status:  new    
>   Priority:  high       |      Milestone:  6.8    
>  Component:  Compiler   |        Version:  6.6.1  
>   Severity:  normal     |       Keywords:         
> Difficulty:  Unknown    |             Os:  Unknown
>   Testcase:  rnfail028  |   Architecture:  Unknown
> ------------------------+---------------------------------------------------
> 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, 'module Foo' in the export list
is defined to export all names in scope which are of both in scope under
the names 'Foo.bar' and 'bar' and both names refer to the same entity.

There is no particular reason this set can't be empty.

though, it certainly could be warning-worthy.

        John

-- 
John Meacham - ⑆repetae.net⑆john⑈
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs at haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs