mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Massimo Fioravanti
4dc2e92782
`DocumentError`s are the inteded way of propagating errors from the pipeline to the frontend when a location is required to inform the user of the error whereabouts.