aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/errors.ml
Commit message (Expand)AuthorAge
* Canary testing absence of generic equality for KerNamesGravatar Pierre-Marie Pédrot2014-03-05
* Remove some dead-code (thanks to ocaml warnings)Gravatar Pierre Letouzey2014-03-05
* Printing any backtrace in debug mode, not only anomalies.Gravatar ppedrot2013-08-10
* Embedded exns in LtacLocated and EvaluatedError satisfy Errors.noncriticalGravatar letouzey2013-03-14
* Made the backtrace type opaqueGravatar ppedrot2013-03-13
* Vernac+Toplevel: get rid of Error_in_fileGravatar letouzey2013-03-13
* Restrict (try...with...) to avoid catching critical exn (part 8)Gravatar 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