blob: 68e043bc5058aba5a8ae8adb4d3b027fa163a6d1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
module ShouldFail where
import qualified Mod180_B as Mod180_A
import Mod180_B (T)
import Mod180_A (x)
z :: T
z = x
-- fiendishly, this error message must mention Mod180_A.T (the type
-- of x), but in the current scope, Mod180_A.T means something different:
-- due to the 'import .. as' above, Mod180_A.T actually refers to Mod180_B.T.
-- GHC should notice this and use a fully qualified name "main:Mod180_A.T"
-- in the error message.
|
