blob: 47274d0cc64fad7bd66fb3d1a63cdfa602df412b (
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: <InScope = {a q}
IdSubst = []
TvSubst = []
CvSubst = []>
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: <InScope = {a q}
IdSubst = []
TvSubst = []
CvSubst = []>
in coerce BAD 2
|
