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