From b34ebf3fe3ecaf292be873d231dd54c80f16ad07 Mon Sep 17 00:00:00 2001
From: Malte Voos <git@mal.tc>
Date: Mon, 24 Jun 2024 00:24:24 +0200
Subject: rename: Reporter -> Error

---
 src/reporter/Reporter.ml | 40 ----------------------------------------
 1 file changed, 40 deletions(-)
 delete mode 100644 src/reporter/Reporter.ml

(limited to 'src/reporter/Reporter.ml')

diff --git a/src/reporter/Reporter.ml b/src/reporter/Reporter.ml
deleted file mode 100644
index ee04c23..0000000
--- a/src/reporter/Reporter.ml
+++ /dev/null
@@ -1,40 +0,0 @@
-module Message =
-struct
-  type t =
-    | IllegalCharacter
-    | SyntaxError
-    | UnboundVariable
-    | IllTyped
-    | CannotInferType
-    | Bug
-
-  let default_severity : t -> Asai.Diagnostic.severity =
-    function
-    | IllegalCharacter -> Error
-    | SyntaxError -> Error
-    | UnboundVariable -> Error
-    | IllTyped -> Error
-    | CannotInferType -> Error
-    | Bug -> Bug
-
-  let short_code : t -> string =
-    function
-    (* parser errors *)
-    | IllegalCharacter -> "E101"
-    | SyntaxError -> "E102"
-    (* elaboration errors *)
-    | UnboundVariable -> "E201"
-    | IllTyped -> "E202"
-    | CannotInferType -> "E202"
-    (* misc *)
-    | Bug -> "E900"
-end
-
-include Asai.Reporter.Make(Message)
-
-let illegal_character ~loc char = fatalf ~loc IllegalCharacter "illegal character '%s'" (Char.escaped char)
-let syntax_error ~loc = fatalf ~loc SyntaxError "syntax error"
-let unbound_variable id = fatalf UnboundVariable "unbound variable '%a'" Ident.pp id
-let expected_universe fmt x = fatalf IllTyped "expected a universe but got %a" fmt x
-
-let bug msg = fatalf Bug msg
-- 
cgit 1.4.1