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