blob: 3a3eb04b011f1580929d4354323da0d54de46c0b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
RnFail055.hs:1:73: Warning:
-XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
RnFail055.hs-boot:1:73: Warning:
-XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
RnFail055.hs-boot:4:1:
Identifier ‛f1’ has conflicting definitions in the module
and its hs-boot file
Main module: f1 :: Int -> Float
Boot file: f1 :: Float -> Int
RnFail055.hs-boot:6:1:
Type constructor ‛S1’ has conflicting definitions in the module
and its hs-boot file
Main module: type S1 a b = (a, b)
Boot file: type S1 a b c = (a, b)
RnFail055.hs-boot:8:1:
Type constructor ‛S2’ has conflicting definitions in the module
and its hs-boot file
Main module: type S2 a b = forall a. (a, b)
Boot file: type S2 a b = forall b. (a, b)
RnFail055.hs-boot:12:1:
Type constructor ‛T1’ has conflicting definitions in the module
and its hs-boot file
Main module: data T1 a b = T1 [b] [a]
Boot file: data T1 a b = T1 [a] [b]
RnFail055.hs-boot:14:1:
Type constructor ‛T2’ has conflicting definitions in the module
and its hs-boot file
Main module: type role T2 representational phantom
data Eq b => T2 a b = T2 a
Boot file: data Eq a => T2 a b = T2 a
RnFail055.hs-boot:16:11:
T3 is exported by the hs-boot file, but not exported by the module
RnFail055.hs-boot:17:12:
T3' is exported by the hs-boot file, but not exported by the module
RnFail055.hs-boot:21:1:
Type constructor ‛T5’ has conflicting definitions in the module
and its hs-boot file
Main module: data T5 a = T5 {field5 :: a}
Boot file: data T5 a = T5 a
RnFail055.hs-boot:23:1:
Type constructor ‛T6’ has conflicting definitions in the module
and its hs-boot file
Main module: data T6 = T6 Int
Boot file: data T6 = T6 !Int
RnFail055.hs-boot:25:1:
Type constructor ‛T7’ has conflicting definitions in the module
and its hs-boot file
Main module: type role T7 phantom
data T7 a where
T7 :: a -> T7 a
Boot file: data T7 a = T7 a
RnFail055.hs-boot:27:22:
RnFail055.m1 is exported by the hs-boot file, but not exported by the module
RnFail055.hs-boot:28:1:
Class ‛C2’ has conflicting definitions in the module
and its hs-boot file
Main module: class C2 a b where
m2 :: a -> b
m2' :: a -> b
Boot file: class C2 a b where
m2 :: a -> b
RnFail055.hs-boot:29:1:
Class ‛C3’ has conflicting definitions in the module
and its hs-boot file
Main module: class (Eq a, Ord a) => C3 a
Boot file: class (Ord a, Eq a) => C3 a
|
