diff options
author | Malte Voos <git@mal.tc> | 2024-06-30 21:31:53 +0200 |
---|---|---|
committer | Malte Voos <git@mal.tc> | 2024-06-30 21:31:53 +0200 |
commit | 1b6fc912bfad5a2b0e047835f6778137e4aabe5b (patch) | |
tree | d8e2e26461a6e09e21e0f135d80308acf40dcf10 /src/bin/main.ml | |
parent | fab70aaf2947ff1369757355fbf11437c6db35ff (diff) | |
download | toytt-1b6fc912bfad5a2b0e047835f6778137e4aabe5b.tar.gz toytt-1b6fc912bfad5a2b0e047835f6778137e4aabe5b.zip |
improve error messages
Diffstat (limited to 'src/bin/main.ml')
-rw-r--r-- | src/bin/main.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 () |