blob: a0eb6a6916e550c55a90f00378337ffca25d0144 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
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
Cannot unify ‘R’ with the type variable ‘c0’
because it is not a concrete ‘RuntimeRep’.
• 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’
|
