Agda.TypeChecking.Errors

prettyError

tcErrString

prettyTCWarnings

tcWarningsToError

applyFlagsToTCWarnings