Lots of error message wibbling, following the
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail177.stderr
1
2 tcfail177.hs:10:12:
3     Couldn't match expected type `Bool' with actual type `Int'
4     In the return type of a call of `foo'
5     In the expression:
6       foo
7         [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
8     In an equation for `allTests':
9         allTests = foo [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", ....]
10
11 tcfail177.hs:20:13:
12     Couldn't match expected type `Bool' with actual type `[Char]'
13     In the expression: "Two"
14     In the first argument of `foo', namely
15       `[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]'
16     In the expression:
17       foo
18         [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
19
20 tcfail177.hs:20:20:
21     Couldn't match expected type `Bool' with actual type `[Char]'
22     In the expression: "Two"
23     In the first argument of `foo', namely
24       `[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]'
25     In the expression:
26       foo
27         [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
28
29 tcfail177.hs:20:27:
30     Couldn't match expected type `Bool' with actual type `[Char]'
31     In the expression: "Two"
32     In the first argument of `foo', namely
33       `[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]'
34     In the expression:
35       foo
36         [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
37
38 tcfail177.hs:21:13:
39     Couldn't match expected type `Bool' with actual type `[Char]'
40     In the expression: "Two"
41     In the first argument of `foo', namely
42       `[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]'
43     In the expression:
44       foo
45         [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
46
47 tcfail177.hs:21:20:
48     Couldn't match expected type `Bool' with actual type `[Char]'
49     In the expression: "Two"
50     In the first argument of `foo', namely
51       `[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]'
52     In the expression:
53       foo
54         [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
55
56 tcfail177.hs:21:27:
57     Couldn't match expected type `Bool' with actual type `[Char]'
58     In the expression: "Two"
59     In the first argument of `foo', namely
60       `[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]'
61     In the expression:
62       foo
63         [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
64
65 tcfail177.hs:22:13:
66     Couldn't match expected type `Bool' with actual type `[Char]'
67     In the expression: "Two"
68     In the first argument of `foo', namely
69       `[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]'
70     In the expression:
71       foo
72         [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
73
74 tcfail177.hs:22:20:
75     Couldn't match expected type `Bool' with actual type `[Char]'
76     In the expression: "Two"
77     In the first argument of `foo', namely
78       `[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]'
79     In the expression:
80       foo
81         [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
82
83 tcfail177.hs:22:27:
84     Couldn't match expected type `Bool' with actual type `[Char]'
85     In the expression: "Two"
86     In the first argument of `foo', namely
87       `[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]'
88     In the expression:
89       foo
90         [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
91
92 tcfail177.hs:23:13:
93     Couldn't match expected type `Bool' with actual type `[Char]'
94     In the expression: "Two"
95     In the first argument of `foo', namely
96       `[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]'
97     In the expression:
98       foo
99         [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
100
101 tcfail177.hs:23:20:
102     Couldn't match expected type `Bool' with actual type `[Char]'
103     In the expression: "Two"
104     In the first argument of `foo', namely
105       `[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]'
106     In the expression:
107       foo
108         [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
109
110 tcfail177.hs:23:27:
111     Couldn't match expected type `Bool' with actual type `[Char]'
112     In the expression: "Two"
113     In the first argument of `foo', namely
114       `[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]'
115     In the expression:
116       foo
117         [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
118
119 tcfail177.hs:24:13:
120     Couldn't match expected type `Bool' with actual type `[Char]'
121     In the expression: "Two"
122     In the first argument of `foo', namely
123       `[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]'
124     In the expression:
125       foo
126         [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
127
128 tcfail177.hs:24:20:
129     Couldn't match expected type `Bool' with actual type `[Char]'
130     In the expression: "Two"
131     In the first argument of `foo', namely
132       `[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]'
133     In the expression:
134       foo
135         [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
136
137 tcfail177.hs:24:27:
138     Couldn't match expected type `Bool' with actual type `[Char]'
139     In the expression: "Two"
140     In the first argument of `foo', namely
141       `[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]'
142     In the expression:
143       foo
144         [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
145
146 tcfail177.hs:25:13:
147     Couldn't match expected type `Bool' with actual type `[Char]'
148     In the expression: "Two"
149     In the first argument of `foo', namely
150       `[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]'
151     In the expression:
152       foo
153         [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
154
155 tcfail177.hs:25:20:
156     Couldn't match expected type `Bool' with actual type `[Char]'
157     In the expression: "Two"
158     In the first argument of `foo', namely
159       `[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]'
160     In the expression:
161       foo
162         [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]
163
164 tcfail177.hs:25:27:
165     Couldn't match expected type `Bool' with actual type `[Char]'
166     In the expression: "Two"
167     In the first argument of `foo', namely
168       `[a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]'
169     In the expression:
170       foo
171         [a ~?= b, "Three" ~?= "3", "Four" ~?= "4", "Five" ~?= "5", ....]