Skip to content

Fix #16133 by checking for TypeApplications in rnExpr

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.

Merge request reports