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