bcc6c5eff50a7babea647475147b00da0c00edcd
[ghc.git] / testsuite / tests / ghci / scripts / Defer02.stderr
1 \r
2 ..\..\typecheck\should_run\Defer01.hs:11:40: warning: [-Wdeferred-type-errors (in -Wdefault)]\r
3     • Couldn't match type ‘Char’ with ‘[Char]’\r
4       Expected type: String\r
5         Actual type: Char\r
6     • In the first argument of ‘putStr’, namely ‘','’\r
7       In the second argument of ‘(>>)’, namely ‘putStr ','’\r
8       In the expression: putStr "Hello World" >> putStr ','\r
9 \r
10 ..\..\typecheck\should_run\Defer01.hs:14:5: warning: [-Wdeferred-type-errors (in -Wdefault)]\r
11     • Couldn't match expected type ‘Int’ with actual type ‘Char’\r
12     • In the expression: 'p'\r
13       In an equation for ‘a’: a = 'p'\r
14 \r
15 ..\..\typecheck\should_run\Defer01.hs:18:7: warning: [-Wdeferred-type-errors (in -Wdefault)]\r
16     • No instance for (Eq B) arising from a use of ‘==’\r
17     • In the expression: x == x\r
18       In an equation for ‘b’: b x = x == x\r
19 \r
20 ..\..\typecheck\should_run\Defer01.hs:25:1: warning: [-Woverlapping-patterns (in -Wdefault)]\r
21     Pattern match has inaccessible right hand side\r
22     In an equation for ‘c’: c (C2 x) = ...\r
23 \r
24 ..\..\typecheck\should_run\Defer01.hs:25:4: warning: [-Wdeferred-type-errors (in -Wdefault)]\r
25     • Couldn't match type ‘Int’ with ‘Bool’\r
26       Inaccessible code in\r
27         a pattern with constructor: C2 :: Bool -> C Bool,\r
28         in an equation for ‘c’\r
29     • In the pattern: C2 x\r
30       In an equation for ‘c’: c (C2 x) = True\r
31 \r
32 ..\..\typecheck\should_run\Defer01.hs:28:5: warning: [-Wdeferred-type-errors (in -Wdefault)]\r
33     • No instance for (Num (a -> a)) arising from the literal ‘1’\r
34         (maybe you haven't applied a function to enough arguments?)\r
35     • In the expression: 1\r
36       In an equation for ‘d’: d = 1\r
37 \r
38 ..\..\typecheck\should_run\Defer01.hs:31:5: warning: [-Wdeferred-type-errors (in -Wdefault)]\r
39     • Couldn't match expected type ‘Char -> t’ with actual type ‘Char’\r
40     • The function ‘e’ is applied to one argument,\r
41       but its type ‘Char’ has none\r
42       In the expression: e 'q'\r
43       In an equation for ‘f’: f = e 'q'\r
44     • Relevant bindings include\r
45         f :: t (bound at ..\..\typecheck\should_run\Defer01.hs:31:1)\r
46 \r
47 ..\..\typecheck\should_run\Defer01.hs:34:8: warning: [-Wdeferred-type-errors (in -Wdefault)]\r
48     • Couldn't match expected type ‘Char’ with actual type ‘a’\r
49       ‘a’ is a rigid type variable bound by\r
50         the type signature for:\r
51           h :: forall a. a -> (Char, Char)\r
52         at ..\..\typecheck\should_run\Defer01.hs:33:1-21\r
53     • In the expression: x\r
54       In the expression: (x, 'c')\r
55       In an equation for ‘h’: h x = (x, 'c')\r
56     • Relevant bindings include\r
57         x :: a (bound at ..\..\typecheck\should_run\Defer01.hs:34:3)\r
58         h :: a -> (Char, Char)\r
59           (bound at ..\..\typecheck\should_run\Defer01.hs:34:1)\r
60 \r
61 ..\..\typecheck\should_run\Defer01.hs:39:17: warning: [-Wdeferred-type-errors (in -Wdefault)]\r
62     • Couldn't match expected type ‘Bool’ with actual type ‘T a’\r
63     • In the first argument of ‘not’, namely ‘(K a)’\r
64       In the expression: (not (K a))\r
65       In the expression: seq (not (K a)) ()\r
66     • Relevant bindings include\r
67         a :: a (bound at ..\..\typecheck\should_run\Defer01.hs:39:3)\r
68         i :: a -> () (bound at ..\..\typecheck\should_run\Defer01.hs:39:1)\r
69 \r
70 ..\..\typecheck\should_run\Defer01.hs:43:5: warning: [-Wdeferred-type-errors (in -Wdefault)]\r
71     • No instance for (MyClass a1) arising from a use of ‘myOp’\r
72     • In the expression: myOp 23\r
73       In an equation for ‘j’: j = myOp 23\r
74 \r
75 ..\..\typecheck\should_run\Defer01.hs:43:10: warning: [-Wdeferred-type-errors (in -Wdefault)]\r
76     • Ambiguous type variable ‘a1’ arising from the literal ‘23’\r
77       prevents the constraint ‘(Num a1)’ from being solved.\r
78       Probable fix: use a type annotation to specify what ‘a1’ should be.\r
79       These potential instances exist:\r
80         instance Num Integer -- Defined in ‘GHC.Num’\r
81         instance Num Double -- Defined in ‘GHC.Float’\r
82         instance Num Float -- Defined in ‘GHC.Float’\r
83         ...plus two others\r
84         (use -fprint-potential-instances to see them all)\r
85     • In the first argument of ‘myOp’, namely ‘23’\r
86       In the expression: myOp 23\r
87       In an equation for ‘j’: j = myOp 23\r
88 \r
89 ..\..\typecheck\should_run\Defer01.hs:45:1: warning: [-Wdeferred-type-errors (in -Wdefault)]\r
90     Couldn't match type ‘Int’ with ‘Bool’\r
91     Inaccessible code in\r
92       the type signature for:\r
93         k :: Int ~ Bool => Int -> Bool\r
94 \r
95 ..\..\typecheck\should_run\Defer01.hs:45:6: warning: [-Wdeferred-type-errors (in -Wdefault)]\r
96     • Couldn't match type ‘Int’ with ‘Bool’\r
97       Inaccessible code in\r
98         the type signature for:\r
99           k :: Int ~ Bool => Int -> Bool\r
100     • In the ambiguity check for ‘k’\r
101       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
102       In the type signature: k :: (Int ~ Bool) => Int -> Bool\r
103 \r
104 ..\..\typecheck\should_run\Defer01.hs:46:1: warning: [-Woverlapping-patterns (in -Wdefault)]\r
105     Pattern match is redundant\r
106     In an equation for ‘k’: k x = ...\r
107 \r
108 ..\..\typecheck\should_run\Defer01.hs:49:5: warning: [-Wdeferred-type-errors (in -Wdefault)]\r
109     • Couldn't match expected type ‘IO a0’\r
110                   with actual type ‘Char -> IO ()’\r
111     • Probable cause: ‘putChar’ is applied to too few arguments\r
112       In the first argument of ‘(>>)’, namely ‘putChar’\r
113       In the expression: putChar >> putChar 'p'\r
114       In an equation for ‘l’: l = putChar >> putChar 'p'\r
115 *** Exception: ..\..\typecheck\should_run\Defer01.hs:11:40: error:\r
116     • Couldn't match type ‘Char’ with ‘[Char]’\r
117       Expected type: String\r
118         Actual type: Char\r
119     • In the first argument of ‘putStr’, namely ‘','’\r
120       In the second argument of ‘(>>)’, namely ‘putStr ','’\r
121       In the expression: putStr "Hello World" >> putStr ','\r
122 (deferred type error)\r
123 *** Exception: ..\..\typecheck\should_run\Defer01.hs:14:5: error:\r
124     • Couldn't match expected type ‘Int’ with actual type ‘Char’\r
125     • In the expression: 'p'\r
126       In an equation for ‘a’: a = 'p'\r
127 (deferred type error)\r
128 *** Exception: ..\..\typecheck\should_run\Defer01.hs:18:7: error:\r
129     • No instance for (Eq B) arising from a use of ‘==’\r
130     • In the expression: x == x\r
131       In an equation for ‘b’: b x = x == x\r
132 (deferred type error)\r
133 \r
134 <interactive>:7:11: error:\r
135     • Couldn't match type ‘Bool’ with ‘Int’\r
136       Expected type: C Int\r
137         Actual type: C Bool\r
138     • In the first argument of ‘c’, namely ‘(C2 True)’\r
139       In the first argument of ‘print’, namely ‘(c (C2 True))’\r
140       In the expression: print (c (C2 True))\r
141 *** Exception: ..\..\typecheck\should_run\Defer01.hs:28:5: error:\r
142     • No instance for (Num (a -> a)) arising from the literal ‘1’\r
143         (maybe you haven't applied a function to enough arguments?)\r
144     • In the expression: 1\r
145       In an equation for ‘d’: d = 1\r
146 (deferred type error)\r
147 *** Exception: ..\..\typecheck\should_run\Defer01.hs:31:5: error:\r
148     • Couldn't match expected type ‘Char -> t’ with actual type ‘Char’\r
149     • The function ‘e’ is applied to one argument,\r
150       but its type ‘Char’ has none\r
151       In the expression: e 'q'\r
152       In an equation for ‘f’: f = e 'q'\r
153     • Relevant bindings include\r
154         f :: t (bound at ..\..\typecheck\should_run\Defer01.hs:31:1)\r
155 (deferred type error)\r
156 *** Exception: ..\..\typecheck\should_run\Defer01.hs:34:8: error:\r
157     • Couldn't match expected type ‘Char’ with actual type ‘a’\r
158       ‘a’ is a rigid type variable bound by\r
159         the type signature for:\r
160           h :: forall a. a -> (Char, Char)\r
161         at ..\..\typecheck\should_run\Defer01.hs:33:1-21\r
162     • In the expression: x\r
163       In the expression: (x, 'c')\r
164       In an equation for ‘h’: h x = (x, 'c')\r
165     • Relevant bindings include\r
166         x :: a (bound at ..\..\typecheck\should_run\Defer01.hs:34:3)\r
167         h :: a -> (Char, Char)\r
168           (bound at ..\..\typecheck\should_run\Defer01.hs:34:1)\r
169 (deferred type error)\r
170 *** Exception: ..\..\typecheck\should_run\Defer01.hs:39:17: error:\r
171     • Couldn't match expected type ‘Bool’ with actual type ‘T a’\r
172     • In the first argument of ‘not’, namely ‘(K a)’\r
173       In the expression: (not (K a))\r
174       In the expression: seq (not (K a)) ()\r
175     • Relevant bindings include\r
176         a :: a (bound at ..\..\typecheck\should_run\Defer01.hs:39:3)\r
177         i :: a -> () (bound at ..\..\typecheck\should_run\Defer01.hs:39:1)\r
178 (deferred type error)\r
179 *** Exception: ..\..\typecheck\should_run\Defer01.hs:43:5: error:\r
180     • No instance for (MyClass a1) arising from a use of ‘myOp’\r
181     • In the expression: myOp 23\r
182       In an equation for ‘j’: j = myOp 23\r
183 (deferred type error)\r
184 \r
185 <interactive>:13:8: error:\r
186     • Couldn't match type ‘Int’ with ‘Bool’ arising from a use of ‘k’\r
187     • In the first argument of ‘print’, namely ‘(k 2)’\r
188       In the expression: print (k 2)\r
189       In an equation for ‘it’: it = print (k 2)\r
190 *** Exception: ..\..\typecheck\should_run\Defer01.hs:49:5: error:\r
191     • Couldn't match expected type ‘IO a0’\r
192                   with actual type ‘Char -> IO ()’\r
193     • Probable cause: ‘putChar’ is applied to too few arguments\r
194       In the first argument of ‘(>>)’, namely ‘putChar’\r
195       In the expression: putChar >> putChar 'p'\r
196       In an equation for ‘l’: l = putChar >> putChar 'p'\r
197 (deferred type error)\r