Skip to content

EPA: Incorrect locations for UserTyVar with '@'

Alan Zimmerman requested to merge wip/az/T23887-binders into master

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

Widen it so it is captured.

Closes #23887 (closed)

Merge request reports