Skip to content

EPA: AnnAt missing for type application in patterns

Alan Zimmerman requested to merge wip/az/T19850 into master

Ensure that the exact print annotations accurately record the @ for code like

tyApp :: Con k a -> Proxy a
tyApp (Con @kx @ax (x :: Proxy ax)) = x :: Proxy (ax :: kx)

Closes #19850 (closed)

Merge request reports