diff options
| author | Gaëtan Gilbert | 2019-07-08 13:07:30 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-07-08 13:07:30 +0200 |
| commit | a5e4dd7faa23abd4a4ebe093076484d090a8a47e (patch) | |
| tree | e0de245adb468dc3fe95d9108be749f010457365 /lib/cErrors.mli | |
| parent | 5ecfe31f9d900c6053531f2cb713035407009ba7 (diff) | |
| parent | 07abf9818a6b47bb2c2bd0a8201da9743a0c10b6 (diff) | |
Merge PR #9686: [error] Remove special error printing pre-processing
Reviewed-by: SkySkimmer
Diffstat (limited to 'lib/cErrors.mli')
| -rw-r--r-- | lib/cErrors.mli | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/cErrors.mli b/lib/cErrors.mli index 8580622095..100dcd0b22 100644 --- a/lib/cErrors.mli +++ b/lib/cErrors.mli @@ -86,3 +86,10 @@ val iprint_no_report : Exninfo.iexn -> Pp.t Typical example: [Sys.Break], [Assert_failure], [Anomaly] ... *) val noncritical : exn -> bool + +(** Register a printer for errors carrying additional information on + exceptions. This method is fragile and should be considered + deprecated *) +val register_additional_error_info + : (Exninfo.info -> (Pp.t option Loc.located) option) + -> unit |