From 8d40541003736d5319ec981278338e8c8c66daf6 Mon Sep 17 00:00:00 2001
From: Malte Voos <git@mal.tc>
Date: Sun, 23 Jun 2024 01:36:48 +0200
Subject: keep track of bound names everywhere to be able to output names
 instead of de bruijn indices

---
 bin/main.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bin/main.ml')

diff --git a/bin/main.ml b/bin/main.ml
index ec5c4d2..afae47c 100644
--- a/bin/main.ml
+++ b/bin/main.ml
@@ -18,7 +18,7 @@ let rec repl () =
   let ast = parse input in
   let (tp, tm) = Elab.infer_toplevel ast in
   let value = Eval.eval ~env:Emp tm in
-  Format.printf "%a : %a\n%!" Syntax.Pretty.pp (Quote.quote ~size:0 value) Syntax.Pretty.pp (Quote.quote ~size:0 tp);
+  Format.printf "%a : %a\n%!" Syntax.Pretty.pp (Quote.quote ~size:0 value, Emp) Syntax.Pretty.pp (Quote.quote ~size:0 tp, Emp);
   repl ()
 
 let () =
-- 
cgit 1.4.1