[Haskell-cafe] Module visibility of data type constructors

[Slavomir Kaslev]

Hello. I have a simple question for data type constructors visibility.
Take a look:

module Foo (Bar) where
data Bar = Bar

In ghc this allows me to use Bar, the type constructor, in another
module, although it shouldn't be visible outside Foo. On the other
hand, if I change Bar's definition as:

data Bar = Baz

Baz isn't visible outside Foo.

Is this the correct behavior or is it bug in ghc?

Cheers.

-- 
Slavomir Kaslev