Skip to content

GitLab

Fix #16133 by checking for TypeApplications in rnExpr

Closed Ryan Scott requested to merge RyanGlScott/ghc:wip/T16133 into master

We had a validity check, typeAppErr, for visible kind applications (in rnHsTyKi), but didn't extend the same treatment to visible type applications (in rnExpr). Easily fixed by also invoking typeAppErr from rnExpr.

Fixes https://ghc.haskell.org/trac/ghc/ticket/16133.