Skip to content

Skip normalisation for :type in GHCi when type isn't fully instantiated

sheaf requested to merge sheaf/ghc:T20974 into master

This patch skips performing type normalisation when we haven't fully instantiated the type. That is, in tcRnExpr (used only for :type in GHCi), skip normalisation if the result type responds True to isSigmaTy. This implements @simonpj's suggestion from #20974 (comment 403291).

Edited by sheaf

Merge request reports