Testsuite: tabs -> spaces [skip ci]
[ghc.git] / testsuite / tests / patsyn / should_fail / T11667.stderr
1
2 T11667.hs:12:22: error:
3     • Could not deduce (Num a) arising from the literal ‘42’
4       from the context: Eq a
5         bound by the signature for pattern synonym ‘Pat1’
6         at T11667.hs:12:9-12
7       Possible fix:
8         add (Num a) to the "required" context of
9           the signature for pattern synonym ‘Pat1’
10     • In the pattern: 42
11       In the pattern: Just 42
12       In the declaration for pattern synonym ‘Pat1’
13
14 T11667.hs:18:28: error:
15     • Couldn't match type ‘b’ with ‘Bool’
16         arising from the "provided" constraints claimed by
17           the signature of ‘Pat2’
18       ‘b’ is a rigid type variable bound by
19         the signature for pattern synonym ‘Pat2’ at T11667.hs:17:17-50
20     • In the declaration for pattern synonym ‘Pat2’
21     • Relevant bindings include y :: b (bound at T11667.hs:18:21)
22
23 T11667.hs:24:24: error:
24     • No instance for (Show a)
25         arising from the "provided" constraints claimed by
26           the signature of ‘Pat3’
27       In other words, a successful match on the pattern
28         Just x
29       does not provide the constraint (Show a)
30     • In the declaration for pattern synonym ‘Pat3’
31
32 T11667.hs:31:16: error:
33     • Could not deduce (Num a) arising from a use of ‘MkS’
34       from the context: (Eq a, Show a)
35         bound by the signature for pattern synonym ‘Pat4’
36         at T11667.hs:31:1-21
37       Possible fix:
38         add (Num a) to the "required" context of
39           the signature for pattern synonym ‘Pat4’
40     • In the expression: MkS 42
41       In an equation for ‘Pat4’: Pat4 = MkS 42