From 54065bb1d08ff0e75ec2165543daa467dd4f207f Mon Sep 17 00:00:00 2001 From: Jeremy Yallop Date: Tue, 31 May 2016 20:20:46 +0100 Subject: Add an -e option to ocamlyacc to reject grammars with conflicts. --- yacc/mkpar.c | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'yacc/mkpar.c') diff --git a/yacc/mkpar.c b/yacc/mkpar.c index 79b2f928bd..8064f5b3b1 100644 --- a/yacc/mkpar.c +++ b/yacc/mkpar.c @@ -47,7 +47,11 @@ void make_parser(void) find_final_state(); remove_conflicts(); unused_rules(); - if (SRtotal + RRtotal > 0) total_conflicts(); + if (SRtotal + RRtotal > 0) { + total_conflicts(); + if (eflag) + forbidden_conflicts(); + } defreds(); } -- cgit v1.2.1