aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/errors.mli
Commit message (Expand)AuthorAge
* Moved fatal_error from Coqtop to Errors and corrected dependencies accordingly.Gravatar Thomas Sibut-Pinote2015-06-25
* The Fail command does not catch uncaught exception anomalies anymore.Gravatar Pierre-Marie Pédrot2015-05-18
* STM: print trace on "anomaly, no safe id attached"Gravatar Enrico Tassi2015-04-21
* Fix some typos in comments.Gravatar Guillaume Melquiond2015-02-23
* Getting rid of Exninfo hacks.Gravatar Pierre-Marie Pédrot2014-12-16
* Checker: simplify a bit its exception handlerGravatar letouzey2013-03-17
* Embedded exns in LtacLocated and EvaluatedError satisfy Errors.noncriticalGravatar letouzey2013-03-14
* Vernac+Toplevel: get rid of Error_in_fileGravatar letouzey2013-03-13
* New function Errors.noncritical for restricting try ... with ...Gravatar letouzey2013-03-12
* Updating the backtrace handling mechanism to accomodate the newGravatar ppedrot2013-02-18
* Actually adding backtrace handling.Gravatar ppedrot2013-01-28
* Uniformization of the "anomaly" command.Gravatar ppedrot2013-01-28
* Added backtrace information to anomaliesGravatar ppedrot2013-01-28
* Added an indirection with respect to Loc in Compat. As many [open Compat]Gravatar ppedrot2012-06-22
* Vernacexpr is now a mli-only file, locality stuff now in locality.mlGravatar letouzey2012-05-29
* Noise for nothingGravatar pboutill2012-03-02
* More work on error handlingGravatar letouzey2011-05-17
* A new mechanism to handle errors.Gravatar aspiwack2011-05-13