#7469: GHC does not report name clashes in export lists
---------------------------------+------------------------------------------
    Reporter:  Feuerbach         |        Owner:                  
        Type:  bug               |       Status:  closed          
    Priority:  normal            |    Component:  Compiler        
     Version:  7.6.1             |   Resolution:  invalid         
    Keywords:                    |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown    
   Blockedby:                    |     Blocking:                  
     Related:                    |  
---------------------------------+------------------------------------------
Changes (by diatchki):

  * status:  new => closed
  * resolution:  => invalid


Comment:

 This is not a bug: exports of the form `module A` have slightly complex
 semantics. They only export entities that are in scope with both a
 qualified and an unqualified name.  In this case `A` is imported
 `qualified`, so there are no unqualified names for its entities and thus
 the `module A` exports nothing, so there is no conflict.  Indeed, if you
 load the program with `-Wall` GHC warns that `export A` exports nothing.

 For the full description take a look at Section 5.2 of the Haskell report
 or the paper "A Formal Specification Of the Haskell 98 Module System".

 Cheers,
 Iavor

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7469#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to