Start work on Hmc.Grammar

jasone · Sep 29, 2024 · ac3fba6 · ac3fba6
1 parent 84e1578
commit ac3fba6
Show file tree

Hide file tree

Showing 3 changed files with 25 additions and 0 deletions.
diff --git a/bootstrap/src/hmc/Grammar.hmh b/bootstrap/src/hmc/Grammar.hmh
@@ -0,0 +1,9 @@
+open Basis
+open! Basis.Rudiments
+
+type token_and = {source: Source.Slice.t}
+
+include hocc
+    token AND "and" of token_and
+
+    start S ::= epsilon
diff --git a/bootstrap/src/hmc/Grammar.hmhi b/bootstrap/src/hmc/Grammar.hmhi
@@ -0,0 +1,6 @@
+open Basis
+open! Basis.Rudiments
+
+type token_and = {source: Source.Slice.t}
+
+include hocc
diff --git a/bootstrap/src/hmc/dune b/bootstrap/src/hmc/dune
@@ -4,3 +4,13 @@
  (libraries Basis)
  (synopsis "Hemlock bootstrap compiler library")
  )
+
+; This rule calls an out-of-tree `hocc`, because the in-tree one depends on `Hmc`.
+(rule
+ (deps
+  (glob_files Grammar.hmh*))
+ (targets Grammar.mli Grammar.ml)
+ (action
+  (with-accepted-exit-codes
+   (or 0 1)
+   (system "hocc -v -a ielr1 -ml -s Grammar"))))