diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-04-19 03:13:09 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-04-19 03:19:53 +0200 |
| commit | 12d6d60dc10654b60a31dc5bdca765409dd4898f (patch) | |
| tree | 7baefcbf6d5045d95505bda88891be04ae4feab2 /plugins/nsatz | |
| parent | beb3acd2fd3831404f0be2da61d3f28e210e8349 (diff) | |
[toplevel] Fix printing of parsing errors + corner case.
PR #441 and #530 had an interesting interaction creating two bugs:
- #441 stopped emitting feedback for the parser, however #530 changed
the mechanism to print parser errors to the feedback, thus when the
two patches were applied, parsing errors were not printed in
batch_mode.
- Additionally, #530 contains an error: prior to `Stm.init` we must
take care of exceptions `require ()`/etc... otherwise they won't get
printed.
Diffstat (limited to 'plugins/nsatz')
0 files changed, 0 insertions, 0 deletions