Make isTauTy detect higher-rank contexts (!3201) · Merge requests · Glasgow Haskell Compiler / GHC

Ryan Scott requested to merge wip/T18127 into master May 03, 2020

Previously, isTauTy would only detect higher-rank foralls, not higher-rank contexts, which led to some minor bugs observed in #18127 (closed). Easily fixed by adding a case for (FunTy InvisArg _ _).

Fixes #18127 (closed).

Make isTauTy detect higher-rank contexts

Merge request reports