blob: 366fae4bb33665a0e9616cb3eb83364b300d8ff4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
<no location info>: warning:
Cannot eta expand ‘coerce’
The following type does not have a fixed runtime representation:
• a :: TYPE k
Substitution: [TCvSubst
In scope: InScope {a q}
Type env: []
Co env: []]
in coerce BAD 1
<no location info>: warning:
Cannot eta expand ‘coerce’
The following type does not have a fixed runtime representation:
• a :: TYPE q
Substitution: [TCvSubst
In scope: InScope {a q}
Type env: []
Co env: []]
in coerce BAD 2
|
