Testsuite: tabs -> spaces [skip ci]
[ghc.git] / testsuite / tests / patsyn / should_fail / T10873.stderr
1
2 T10873.hs:6:24: error:
3     • No instance for (Show a)
4         arising from the "provided" constraints claimed by
5           the signature of ‘Pat1’
6       In other words, a successful match on the pattern
7         Just x
8       does not provide the constraint (Show a)
9     • In the declaration for pattern synonym ‘Pat1’
10
11 T10873.hs:10:23: error:
12     • Could not deduce (Show a)
13         arising from the "provided" constraints claimed by
14           the signature of ‘Pat2’
15       from the context: Ord a
16         bound by a pattern with constructor:
17                    MkT :: forall a. Ord a => a -> T a,
18                  in a pattern synonym declaration
19         at T10873.hs:10:19-23
20       In other words, a successful match on the pattern
21         MkT x
22       does not provide the constraint (Show a)
23     • In the declaration for pattern synonym ‘Pat2’