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 /test-suite/output | |
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 'test-suite/output')
-rw-r--r-- | test-suite/output/UnclosedBlocks.out | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test-suite/output/UnclosedBlocks.out b/test-suite/output/UnclosedBlocks.out index b83e94ad4..31481e84a 100644 --- a/test-suite/output/UnclosedBlocks.out +++ b/test-suite/output/UnclosedBlocks.out @@ -1,3 +1,2 @@ - Error: The section Baz, module type Bar and module Foo need to be closed. |