From 53543d6c517a71819023d3c9eeb4a9a6a419d0c9 Mon Sep 17 00:00:00 2001
From: Hendrik van Antwerpen <hendrikvanantwerpen@github.com>
Date: Wed, 27 Oct 2021 17:00:30 +0200
Subject: [PATCH] Add a CI step that checks whether the generated files are
 up-to-date.

---
 .github/workflows/build.yml  |  5 +++++
 script/check-generated-files | 13 +++++++++++++
 2 files changed, 18 insertions(+)
 create mode 100755 script/check-generated-files

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index aeb629c3f..1f3194e7b 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -25,5 +25,10 @@ jobs:
       - name: Install dependencies
         run: npm install
 
+      - name: Build and check generated files
+        run: |
+          npm run build
+          script/check-generated-files
+
       - name: Test corpus & parse examples
         run: npm test
diff --git a/script/check-generated-files b/script/check-generated-files
new file mode 100755
index 000000000..dff20d01a
--- /dev/null
+++ b/script/check-generated-files
@@ -0,0 +1,13 @@
+#!/usr/bin/env bash
+
+set -eu
+
+if ! git diff-index --quiet HEAD -- {tsx,typescript}/src/; then
+    cat 1>&2 <<EOF
+Generated files in the working tree are inconsistent with HEAD.
+Make sure to commit generated files in {tsx,typescript}/src/ when the grammar changes.
+EOF
+    exit 1
+fi
+
+exit 0