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