diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2018-04-05 18:41:30 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2018-05-02 22:25:44 +0200 |
commit | 07432c05d3c814ae694f4b817be5e1589b8202ff (patch) | |
tree | e08529d454a12b8abc15c040abdfc9cc610b8660 /plugins/btauto | |
parent | aae89bce1ca7c1a21b7eef345050dff5a9e88748 (diff) |
Making explicit that errors happen in one of five executation phases.
The five phases are command line interpretation, initialization,
prelude loading, rcfile loading, and sentence interpretation (only the
two latters are located).
We then parameterize the feedback handler with the given execution
phase, so as to possibly annotate the message with information
pertaining to the phase.
Diffstat (limited to 'plugins/btauto')
0 files changed, 0 insertions, 0 deletions