blob: b85e0be15ee4ea18b884286871f24208e01bfe5f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
RepPolyInferPatBind.hs:21:1: error: [GHC-55287]
The binder ‘x’ does not have a fixed runtime representation.
Its type is:
T :: TYPE R
RepPolyInferPatBind.hs:21:2: error: [GHC-55287]
• The pattern binding 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: x :: T
In a pattern binding: (x :: T) = x
|
