Fix #16133 by checking for TypeApplications in rnExpr (!77) · Merge requests · Glasgow Haskell Compiler / GHC

Ryan Scott requested to merge RyanGlScott/ghc:wip/T16133 into master Jan 05, 2019

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.

Fix #16133 by checking for TypeApplications in rnExpr

Merge request reports