blob: 7f5c4f1ca76ddfebd20e6e1e8e80f8659cb21ad8 (
plain)
1
2
3
4
5
6
7
8
9
10
|
RepPolyInferPatSyn.hs:22:16: error: [GHC-55287]
• The pattern synonym argument pattern
does not have a fixed runtime representation.
Its type is:
T :: TYPE R
• When checking that the pattern signature: T
fits the type of its context: T
In the pattern: a :: T
In the declaration for pattern synonym ‘P’
|
