diff options
author | Malte Voos <git@mal.tc> | 2024-06-24 00:24:24 +0200 |
---|---|---|
committer | Malte Voos <git@mal.tc> | 2024-06-24 00:24:24 +0200 |
commit | b34ebf3fe3ecaf292be873d231dd54c80f16ad07 (patch) | |
tree | 92e51250cf692fef97e7db310d244d1e3e7112a3 /src/reporter | |
parent | 5d227bcd0055d02e1d49a3dcd27e80a756923d5b (diff) | |
download | toytt-b34ebf3fe3ecaf292be873d231dd54c80f16ad07.tar.gz toytt-b34ebf3fe3ecaf292be873d231dd54c80f16ad07.zip |
rename: Reporter -> Error
Diffstat (limited to 'src/reporter')
-rw-r--r-- | src/reporter/Reporter.ml | 40 | ||||
-rw-r--r-- | src/reporter/dune | 4 |
2 files changed, 0 insertions, 44 deletions
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 diff --git a/src/reporter/dune b/src/reporter/dune deleted file mode 100644 index ab0f04a..0000000 --- a/src/reporter/dune +++ /dev/null @@ -1,4 +0,0 @@ -(library - (name Reporter) - (public_name toytt.reporter) - (libraries asai toytt.ident)) |