Agda.TypeChecking.Errors

prettyError

prettyWarning

tcErrString

prettyTCWarnings'

prettyTCWarnings

tcWarningsToError

applyFlagsToTCWarnings

dropTopLevelModule

stringTCErr

sayWhen