diff options
Diffstat (limited to 'src/reporting_basic.mli')
| -rw-r--r-- | src/reporting_basic.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/reporting_basic.mli b/src/reporting_basic.mli index 462d2394..7362d44c 100644 --- a/src/reporting_basic.mli +++ b/src/reporting_basic.mli @@ -85,6 +85,7 @@ type error = | Err_syntax_locn of Parse_ast.l * string | Err_lex of Lexing.position * string | Err_type of Parse_ast.l * string + | Err_type_dual of Parse_ast.l * Parse_ast.l * string exception Fatal_error of error @@ -100,6 +101,9 @@ val err_unreachable : Parse_ast.l -> string -> exn (** [err_typ l m] is an abreviatiation for [Fatal_error (Err_type (l, m))] *) val err_typ : Parse_ast.l -> string -> exn +(** [err_typ_dual l1 l2 m] is an abreviatiation for [Fatal_error (Err_type_dual (l1, l2, m))] *) +val err_typ_dual : Parse_ast.l -> Parse_ast.l -> string -> exn + (** Report error should only be used by main to print the error in the end. Everywhere else, raising a [Fatal_error] exception is recommended. *) val report_error : error -> 'a |