Commit a7d4fa08 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Replaced one use of [Error.signal] with [Error.error]

for greater simplicity. Added one negative test case.
parent 18f0265d
* Fix all uses of Error.signal/Error.exit
by making sure all uses of signal are followed with a call to exit
and by avoiding global state.
Make sure --strict (grammar_warning) works.
Make sure --explain --strict creates a .conflicts file.
* Incremental API: expose a function `lookahead` of type `'a env -> token option`.
* Do not host the .tar.gz archive on yquem. Look into gitlab.inria.fr.
......
......@@ -101,8 +101,7 @@ let normalize_producers (producers : early_producers) : producer list =
let override pos o1 o2 =
match o1, o2 with
| Some _, Some _ ->
Error.signal [ pos ] "this production carries two %%prec declarations.";
o2
Error.error [ pos ] "this production carries two %%prec declarations."
| None, Some _ ->
o2
| _, None ->
......
File "two-prec.mly", line 10, characters 2-15:
Error: this production carries two %prec declarations.
%token A B
%start<unit> main
%left foo
%left bar
%%
main:
A B %prec foo {} %prec bar
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment