Lots of error message wibbling, following the
[ghc.git] / testsuite / tests / typecheck / should_fail / T5573a.stderr
1
2 T5573a.hs:11:16:
3     Couldn't match kind `ArgKind' against `(#)'
4     Kind incompatibility when matching types:
5       t0 :: ArgKind
6       (# t0, t1 #) :: (#)
7     In the expression: (# True, False #)
8     In the expression: (# x, (# True, False #) #)
9
10 T5573a.hs:14:6:
11     Couldn't match kind `ArgKind' against `(#)'
12     Kind incompatibility when matching types:
13       t0 :: ArgKind
14       (# t0, t1 #) :: (#)
15     In the pattern: (# x, y #)
16     In an equation for `foo3': foo3 (# x, y #) = x