From bd9d82035b21c8b0695c18208827c184785398af Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Fri, 22 Sep 2023 14:12:14 +0200
Subject: first commit

---
 lib/generate_errors.sh | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100755 lib/generate_errors.sh

(limited to 'lib/generate_errors.sh')

diff --git a/lib/generate_errors.sh b/lib/generate_errors.sh
new file mode 100755
index 0000000..3cff769
--- /dev/null
+++ b/lib/generate_errors.sh
@@ -0,0 +1,8 @@
+#!/bin/sh
+
+# Generate the error file with the helper messages. This script is required
+# when the syntax is modified because menhir will change the state number and
+# we need to make it match with the comment in the messages.
+
+menhir --list-errors *.mly --base parser.mly > all_errors
+menhir --merge-errors expression_parser.messages --merge-errors all_errors *.mly --base parser.mly > expression_parser.messages_new
-- 
cgit v1.2.3