diff options
| author | Jon French | 2018-08-28 18:15:54 +0100 |
|---|---|---|
| committer | Jon French | 2018-08-28 18:16:01 +0100 |
| commit | 6ae76dbd77ae0af0db606263b0c2d62daed74202 (patch) | |
| tree | 112f74f3038a1b1d35b3ff27d833c95c76869a23 /src/reporting_basic.mli | |
| parent | 9232814ed220cff16e6cac808f327b326f2e2f2c (diff) | |
add __POS__ argument to Err_unreachable for better error reporting
Diffstat (limited to 'src/reporting_basic.mli')
| -rw-r--r-- | src/reporting_basic.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/reporting_basic.mli b/src/reporting_basic.mli index d2978389..39ac32f0 100644 --- a/src/reporting_basic.mli +++ b/src/reporting_basic.mli @@ -80,7 +80,7 @@ type error = (** Unreachable errors should never be thrown. It means that some code was excuted that the programmer thought of as unreachable *) - | Err_unreachable of Parse_ast.l * string + | Err_unreachable of Parse_ast.l * (string * int * int * int) * string (** [Err_todo] indicates that some feature is unimplemented; it should be built using [err_todo]. *) | Err_todo of Parse_ast.l * string @@ -99,8 +99,8 @@ val err_todo : Parse_ast.l -> string -> exn (** [err_general l m] is an abreviatiation for [Fatal_error (Err_general (b, l, m))] *) val err_general : Parse_ast.l -> string -> exn -(** [err_unreachable l m] is an abreviatiation for [Fatal_error (Err_unreachable (b, l, m))] *) -val err_unreachable : Parse_ast.l -> string -> exn +(** [err_unreachable l __POS__ m] is an abreviatiation for [Fatal_error (Err_unreachable (l, __POS__, m))] *) +val err_unreachable : Parse_ast.l -> (string * int * int * int) -> string -> exn (** [err_typ l m] is an abreviatiation for [Fatal_error (Err_type (l, m))] *) val err_typ : Parse_ast.l -> string -> exn |