#2436: Bad warning when exporting data families
---------------------------------+------------------------------------------
Reporter: rl | Owner: chak
Type: bug | Status: new
Priority: low | Milestone: 7.2.1
Component: Compiler | Version: 6.9
Keywords: | Testcase:
Blockedby: | Difficulty: Unknown
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Changes (by rl):
* failure: => None/Unknown
Comment:
Here is another related example:
{{{
module Foo(C(..),T(..)) where
class C a where
data T a
instance C Int where
data T Int = TInt Int
}}}
Again, GHC warns about T being exported twice but unless I'm mistaken,
there is no other way of exporting the constructor `TInt`.
Should this be assigned a higher priority now that type families are quite
well supported and this makes writing warning-free code impossible in some
cases?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2436#comment:11>
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
