diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-18 10:03:03 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-18 10:03:03 +0100 |
commit | 1e26e3d26fa06c38f712ff4a2554de76212d38ab (patch) | |
tree | ad679bea11d8b7a3e4e6fa6c4e5aa4efda9462ed /cparser/Cerrors.mli | |
parent | e2919da34ac8105b22e116a6b687a6f544b05142 (diff) | |
download | compcert-1e26e3d26fa06c38f712ff4a2554de76212d38ab.tar.gz compcert-1e26e3d26fa06c38f712ff4a2554de76212d38ab.zip |
More comments and improvements for unknown loc.
More functions are now documented. Furthermore compcert now prints
"ccomp:" instead of nothing for unknown locations.
Bug 19872
Diffstat (limited to 'cparser/Cerrors.mli')
-rw-r--r-- | cparser/Cerrors.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/Cerrors.mli b/cparser/Cerrors.mli index b2350db6..816b12b6 100644 --- a/cparser/Cerrors.mli +++ b/cparser/Cerrors.mli @@ -72,6 +72,7 @@ val warning_options : (Commandline.pattern * Commandline.action) list (** List of all options for diagnostics *) val raise_on_errors : unit -> unit +(** Raise [Abort] if an error was encountered *) val crash: exn -> unit (** Report the backtrace of the last exception and exit *) |