From 04d62df9fdd42c603fad7bb1b5e3fb49bf8550c1 Mon Sep 17 00:00:00 2001 From: Malte Voos Date: Mon, 17 Jun 2024 17:41:38 +0200 Subject: implement typechecking --- bin/dune | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'bin/dune') diff --git a/bin/dune b/bin/dune index 52ff1d3..2e2f594 100644 --- a/bin/dune +++ b/bin/dune @@ -1,4 +1,5 @@ (executable (public_name toytt) (name main) - (libraries toytt)) + (libraries toytt) + (modes byte exe)) -- cgit 1.4.1