Andre W B Furtado awfurtado@homelink.com.br writes:

Suppose I have a labelled type 'A' defined like the following one:

module Test ( A (b) )

where

data A = A { b :: Int, c :: Int }

I am exporting only 'A(b)', so why the following code "can see" 'c' ?

.... Hi, I'm guessing you're using the current release of Hugs. It doesn't implement the Haskell98 module system really, but the upcoming release does, making your code snippet behave as expected (from a H98 POV.) hth --sigbjorn