Ticket #2436 (new bug)

Opened 5 months ago

Last modified 3 weeks ago

Bad warning when exporting data families

Reported by: rl Assigned to: chak
Priority: normal Milestone: 6.10 branch
Component: Compiler Version: 6.9
Severity: normal Keywords:
Cc: Difficulty: Unknown
Test Case: Operating System: Unknown/Multiple
Architecture: Unknown/Multiple

Description 

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.

Change History

07/12/08 21:26:17 changed by chak

  • owner set to chak.

07/20/08 13:31:54 changed by igloo

  • difficulty set to Unknown.
  • milestone set to 6.10.1.

09/30/08 08:37:35 changed by simonmar

  • architecture changed from Unknown to Unknown/Multiple.

09/30/08 08:51:53 changed by simonmar

  • os changed from Unknown to Unknown/Multiple.

11/11/08 09:24:08 changed by igloo

  • milestone changed from 6.10.1 to 6.10 branch.