EPA: Incorrect locations for UserTyVar with '@'
In T13343.hs, the location for the @
is not within the span of the surrounding UserTyVar
.
type Bad @v = (forall (v1 :: RuntimeRep) (a1 :: TYPE v). a1) :: TYPE v
In T13343.hs, the location for the @
is not within the span of the surrounding UserTyVar
.
type Bad @v = (forall (v1 :: RuntimeRep) (a1 :: TYPE v). a1) :: TYPE v