import-hidden symbol is still re-exported

[j.waldmann]

In the following, I get different behaviour with ghc-7.0.4 and ghc-7.2.2:

module I ( module Text.ParserCombinators.Parsec ) where
import Text.ParserCombinators.Parsec hiding ( State )

module U where
import I
x = undefined :: State () ()

with ghc-7.0.4, I get the expected

ghc-7.0.4 --make U -package parsec-3.1.2
[2 of 2] Compiling U                ( U.hs, U.o )

U.hs:4:18: Not in scope: type constructor or class `State'

while ghc-7.2.2, it compiles. Is this a feature?

[simonpj]

I think this is a bug 7.2, but is not a bug in 7.4 or HEAD. Do you agree? Assuming so, I'm closing as won't-fix because we won't fix 7.2-only bugs now that we are releasing 7.4. Pls re-open if you think it's wrong in 7.4.

Simon

[simonmar]

Simon: do you know if we have a test for this?

[simonpj]

We haven't. I'll add one.