From 3aea54bffe5c72dc89ef063120c7ed89e54cc7a2 Mon Sep 17 00:00:00 2001
From: depsterr <depsterr@protonmail.com>
Date: Thu, 26 Jan 2023 16:49:17 +0100
Subject: [PATCH] integrate bnfc

---
 lib/Raw/RawSyntax.ml |  2 ++
 lib/Raw/dune         | 14 +++++++++++---
 2 files changed, 13 insertions(+), 3 deletions(-)

diff --git a/lib/Raw/RawSyntax.ml b/lib/Raw/RawSyntax.ml
index 92abd2c..3367528 100644
--- a/lib/Raw/RawSyntax.ml
+++ b/lib/Raw/RawSyntax.ml
@@ -8,6 +8,8 @@ type icit
 type ast
   = Var of var
 
+  | Test of A.exp
+
   | Type
 
   | T0
diff --git a/lib/Raw/dune b/lib/Raw/dune
index f6d34e6..93ed14e 100644
--- a/lib/Raw/dune
+++ b/lib/Raw/dune
@@ -1,5 +1,13 @@
-(ocamllex  "LexImplicitt")
-(ocamlyacc "ParImplicitt")
+(rule
+  (targets AbsImplicitt.ml
+           LexImplicitt.mll
+           ParImplicitt.mly
+           BNFC_Util.ml)
+ (deps implicitt.cf)
+ (action (run bnfc --ocaml %{deps})))
+
+(ocamllex  LexImplicitt)
+(ocamlyacc ParImplicitt)
 
 (env
  (dev
@@ -7,4 +15,4 @@
 
 (library
  (name Raw)
- (modules "AbsImplicitt" "BNFC_Util" "LexImplicitt" "ParImplicitt"))
+ (modules AbsImplicitt BNFC_Util LexImplicitt ParImplicitt RawSyntax))