diff options
Diffstat (limited to 'src/bin')
| -rw-r--r-- | src/bin/dune | 2 | ||||
| -rw-r--r-- | src/bin/main.ml | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/bin/dune b/src/bin/dune index 980d799..f11979a 100644 --- a/src/bin/dune +++ b/src/bin/dune @@ -7,5 +7,5 @@ toytt.elaborator toytt.nbe toytt.parser - toytt.reporter + toytt.error )) diff --git a/src/bin/main.ml b/src/bin/main.ml index f762d26..1c466ea 100644 --- a/src/bin/main.ml +++ b/src/bin/main.ml @@ -1,4 +1,4 @@ -module Term = Asai.Tty.Make(Reporter.Message) +module Term = Asai.Tty.Make(Error.Message) let ep input = let ast = Parser.parse_expr input in @@ -11,7 +11,7 @@ let ep input = let rec repl () = match LNoise.linenoise "toytt> " with | Some input -> - Reporter.run ~emit:Term.display ~fatal:Term.display (fun () -> ep input); + Error.run ~emit:Term.display ~fatal:Term.display (fun () -> ep input); let _ = LNoise.history_add input in repl () | None -> repl () |