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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to