#2436: Bad warning when exporting data families
------------------------+---------------------------------------------------
Reporter: rl | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 6.9 | Severity: normal
Keywords: | Testcase:
Architecture: Unknown | Os: Unknown
------------------------+---------------------------------------------------
{{{
module Foo ( T ) where
data family T a
}}}
{{{
module Bar ( T(..), module Foo ) where
import Foo
data instance T Int = TInt
}}}
GHC issues the following warning:
{{{
Bar.hs:1:20: Warning: `T' is exported by `module Foo' and `T(..)'
}}}
However, that's the only way to export both module Foo and TInt from Bar.
I don't think GHC should warn here.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2436>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
