diff options
| author | Kathy Gray | 2013-08-08 15:35:06 +0100 |
|---|---|---|
| committer | Kathy Gray | 2013-08-08 15:35:06 +0100 |
| commit | d174f6ec333a8a959ed610781326ca4d125e3c89 (patch) | |
| tree | 435c754658bc0a08c24c7d5f0e7fdd7440fc6ce6 /src/_build | |
| parent | c349ec8fa9d4f7125b2652d880619c2821531e50 (diff) | |
More forms converting from parse_ast to ast; also removed some annot aux homs for terms that only need locations and not full annotations
Diffstat (limited to 'src/_build')
| -rw-r--r-- | src/_build/reporting_basic.ml | 2 | ||||
| -rw-r--r-- | src/_build/reporting_basic.mli | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/src/_build/reporting_basic.ml b/src/_build/reporting_basic.ml index a0d53ab0..b3880598 100644 --- a/src/_build/reporting_basic.ml +++ b/src/_build/reporting_basic.ml @@ -162,7 +162,7 @@ exception Fatal_error of error let err_todo l m = Fatal_error (Err_todo (l, m)) let err_unreachable l m = Fatal_error (Err_unreachable (l, m)) let err_general l m = Fatal_error (Err_general (l, m)) - +let err_typ l m = Fatal_error (Err_type (l,m)) let report_error e = let (m1, verb_pos, pos_l, m2) = dest_err e in diff --git a/src/_build/reporting_basic.mli b/src/_build/reporting_basic.mli index 8074695b..462d2394 100644 --- a/src/_build/reporting_basic.mli +++ b/src/_build/reporting_basic.mli @@ -97,6 +97,9 @@ 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_typ l m] is an abreviatiation for [Fatal_error (Err_type (l, m))] *) +val err_typ : 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 |