Track specified/invisible more carefully.
[ghc.git] / testsuite / tests / rename / should_fail / rnfail055.stderr
1
2 RnFail055.hs:1:73: warning:
3     -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
4
5 RnFail055.hs-boot:1:73: warning:
6     -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
7
8 RnFail055.hs-boot:4:1: error:
9     Identifier ‘f1’ has conflicting definitions in the module
10     and its hs-boot file
11     Main module: f1 :: Int -> Float
12     Boot file:   f1 :: Float -> Int
13     The two types are different
14
15 RnFail055.hs-boot:6:1: error:
16     Type constructor ‘S1’ has conflicting definitions in the module
17     and its hs-boot file
18     Main module: type S1 a b = (a, b)
19     Boot file:   type S1 a b c = (a, b)
20     The types have different kinds
21
22 RnFail055.hs-boot:8:1: error:
23     Type constructor ‘S2’ has conflicting definitions in the module
24     and its hs-boot file
25     Main module: type S2 a b = forall a1. (a1, b)
26     Boot file:   type S2 a b = forall b1. (a, b1)
27     The roles do not match.
28     Roles on abstract types default to ‘representational’ in boot files.
29
30 RnFail055.hs-boot:12:1: error:
31     Type constructor ‘T1’ has conflicting definitions in the module
32     and its hs-boot file
33     Main module: data T1 a b = T1 [b] [a]
34     Boot file:   data T1 a b = T1 [a] [b]
35     The constructors do not match: The types for ‘T1’ differ
36
37 RnFail055.hs-boot:14:1: error:
38     Type constructor ‘T2’ has conflicting definitions in the module
39     and its hs-boot file
40     Main module: type role T2 representational nominal
41                  data Eq b => T2 a b = T2 a
42     Boot file:   type role T2 nominal phantom
43                  data Eq a => T2 a b = T2 a
44     The roles do not match.
45     Roles on abstract types default to ‘representational’ in boot files.
46     The datatype contexts do not match
47
48 RnFail055.hs-boot:16:11: error:
49     ‘T3’ is exported by the hs-boot file, but not exported by the module
50
51 RnFail055.hs-boot:17:12: error:
52     ‘T3'’ is exported by the hs-boot file, but not exported by the module
53
54 RnFail055.hs-boot:21:1: error:
55     Type constructor ‘T5’ has conflicting definitions in the module
56     and its hs-boot file
57     Main module: data T5 a = T5 {field5 :: a}
58     Boot file:   data T5 a = T5 a
59     The constructors do not match:
60       The record label lists for ‘T5’ differ
61
62 RnFail055.hs-boot:23:1: error:
63     Type constructor ‘T6’ has conflicting definitions in the module
64     and its hs-boot file
65     Main module: data T6 = T6 Int
66     Boot file:   data T6 = T6 !Int
67     The constructors do not match:
68       The strictness annotations for ‘T6’ differ
69
70 RnFail055.hs-boot:25:1: error:
71     Type constructor ‘T7’ has conflicting definitions in the module
72     and its hs-boot file
73     Main module: type role T7 phantom
74                  data T7 a where
75                    T7 :: a1 -> T7 a
76     Boot file:   data T7 a where
77                    T7 :: a -> T7 a
78     The roles do not match.
79     Roles on abstract types default to ‘representational’ in boot files.
80     The constructors do not match: The types for ‘T7’ differ
81
82 RnFail055.hs-boot:27:22: error:
83     ‘RnFail055.m1’ is exported by the hs-boot file, but not exported by the module
84
85 RnFail055.hs-boot:28:1: error:
86     Class ‘C2’ has conflicting definitions in the module
87     and its hs-boot file
88     Main module: class C2 a b where
89                    m2 :: a -> b
90                    m2' :: a -> b
91                    {-# MINIMAL m2, m2' #-}
92     Boot file:   class C2 a b where
93                    m2 :: a -> b
94                    {-# MINIMAL m2 #-}
95     The methods do not match: There are different numbers of methods
96
97 RnFail055.hs-boot:29:1: error:
98     Class ‘C3’ has conflicting definitions in the module
99     and its hs-boot file
100     Main module: class (Eq a, Ord a) => C3 a
101     Boot file:   class (Ord a, Eq a) => C3 a
102     The class constraints do not match