From 1b6fc912bfad5a2b0e047835f6778137e4aabe5b Mon Sep 17 00:00:00 2001
From: Malte Voos <git@mal.tc>
Date: Sun, 30 Jun 2024 21:31:53 +0200
Subject: improve error messages

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

(limited to 'src/bin')

diff --git a/src/bin/main.ml b/src/bin/main.ml
index 1c466ea..e1be039 100644
--- a/src/bin/main.ml
+++ b/src/bin/main.ml
@@ -11,7 +11,7 @@ let ep input =
 let rec repl () =
   match LNoise.linenoise "toytt> " with
   | Some input -> 
-    Error.run ~emit:Term.display ~fatal:Term.display (fun () -> ep input);
+    Error.run ~emit:(Term.display ~show_backtrace:false) ~fatal:(Term.display ~show_backtrace:false) (fun () -> ep input);
     let _ = LNoise.history_add input in
     repl ()
   | None -> repl ()
-- 
cgit 1.4.1