about summary refs log tree commit diff
path: root/src/bin
diff options
context:
space:
mode:
Diffstat (limited to 'src/bin')
-rw-r--r--src/bin/dune2
-rw-r--r--src/bin/main.ml4
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 ()