From c2fdbf2eb9bac4d92258eda5da3249cd2ef07e55 Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Mon, 25 Sep 2023 10:28:06 +0200 Subject: Added a type checker --- bin/dune | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'bin/dune') diff --git a/bin/dune b/bin/dune index 36f9b41..697402f 100644 --- a/bin/dune +++ b/bin/dune @@ -3,4 +3,9 @@ (name main) (libraries qsp_syntax - qsp_parser)) + qsp_parser) + + (preprocess (pps + ppx_deriving.show + ppx_deriving.eq ))) + -- cgit v1.2.3