Idris.Error
iucheck
showErr
report
idrisCatch
setAndReport
ifail
ierror
tclift
tcliftAt
tctry
getErrSpan
warnDisamb