feat(compiler)!: Re-implement Grain parser (#1033)

.github/workflows/ci.yml

@@ -64,6 +64,10 @@ jobs:
         run: |
           yarn compiler test
 
+      - name: Check parser error messages exhaustiveness
+        run: |
+          yarn compiler parser:check-errors
+
       # Formatting lint last because building is more important
       - name: Run formatting lint
         run: |

.gitignore

@@ -31,6 +31,9 @@ js-runner/dist
 _esy/
 pkg/
 
+# Autogenerated .messages file from Menhir
+*.messages.generated
+
 # The grainc.exe binary is copied to the CLI directory during build
 cli/bin/grainc.exe
 cli/bin/grainc_js.bc.js

compiler/dune-project

@@ -1,6 +1,7 @@
 (lang dune 2.3)
 (name grain)
 (version 0.4.6)
+(using menhir 2.0)
 
 ; Flip this to `true` when we want to generate opam files again
 (generate_opam_files false)
@@ -22,7 +23,6 @@
     (dune-build-info (>= 2.0))
     (ppx_sexp_conv (>= 0.14.0))
     (sexplib (>= 0.14.0))
-    (grain_dypgen (= 0.1))
     (cmdliner (>= 1.0.2))
     (grain_utils (>= 0))
     (grain_parsing (>= 0))
@@ -40,7 +40,6 @@
     (dune-build-info (>= 2.0))
     (ppx_sexp_conv (>= 0.14.0))
     (sexplib (>= 0.14.0))
-    (grain_dypgen (= 0.1))
     (binaryen (= 0.9.1))
     (cmdliner (>= 1.0.2))
     (grain (>= 0))))
@@ -84,7 +83,6 @@
     (reason (>= 3.6.0))
     (ppx_sexp_conv (>= 0.14.0))
     (sexplib (>= 0.14.0))
-    (grain_dypgen (= 0.1))
     (cmdliner (>= 1.0.2))
     (binaryen (= 0.9.1))
     (grain_utils (>= 0))
@@ -97,7 +95,6 @@
     (reason (>= 3.6.0))
     (ppx_sexp_conv (>= 0.14.0))
     (sexplib (>= 0.14.0))
-    (grain_dypgen (= 0.1))
     (cmdliner (>= 1.0.2))
     (grain_utils (>= 0))
     (grain_parsing (>= 0))
@@ -110,7 +107,7 @@
     (reason (>= 3.6.0))
     (ppx_sexp_conv (>= 0.14.0))
     (sexplib (>= 0.14.0))
-    (grain_dypgen (= 0.1))
+    (menhir (= 20211125))
     (cmdliner (>= 1.0.2))
     (utf8 (>= 0.0.0))
     (ppx_deriving_yojson (>= 3.5.2))
@@ -124,7 +121,6 @@
     (reason (>= 3.6.0))
     (ppx_sexp_conv (>= 0.14.0))
     (sexplib (>= 0.14.0))
-    (grain_dypgen (= 0.1))
     (ocamlgraph (>= 2.0.0))
     (cmdliner (>= 1.0.2))
     (ppx_deriving_yojson (>= 3.5.2))
@@ -139,7 +135,6 @@
     (reason (>= 3.6.0))
     (ppx_sexp_conv (>= 0.14.0))
     (sexplib (>= 0.14.0))
-    (grain_dypgen (= 0.1))
     (fp (>= 0.0.0))
     (fs (>= 0.0.0))
     (cmdliner (>= 1.0.2))))

compiler/esy.json

@@ -34,7 +34,7 @@
     "@opam/dune-configurator": ">= 2.0.0",
     "@opam/fp": "0.0.1",
     "@opam/fs": "0.0.2",
-    "@opam/grain_dypgen": "0.2",
+    "@opam/menhir": "20211125",
     "@opam/ocamlgraph": ">= 2.0.0",
     "@opam/ppx_deriving_cmdliner": ">= 0.6.0",
     "@opam/ppx_deriving_yojson": ">= 3.5.2",