Agda.TypeChecking.Errors
prettyError
tcErrString
prettyTCWarnings
tcWarningsToError
applyFlagsToTCWarnings