GHC.Tc.Types.ErrCtxt
type ErrCtxt = (Bool, TidyEnv -> ZonkM (TidyEnv, SDoc)) Source #
Additional context to include in an error message, e.g. "In the type signature ...", "In the ambiguity check for ...", etc.