aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/loc.ml
Commit message (Expand)AuthorAge
* Fixing #7100 (lost of main file location in case of Ltac failure in other file).Gravatar Hugo Herbelin2018-04-04
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* [api] Remove 8.7 ML-deprecated functions.Gravatar Emilio Jesus Gallego Arias2017-11-07
* Reporting locations in error messages about notation formats.Gravatar Hugo Herbelin2017-09-18
* Using an algebraic type for distinguishing toplevel input from location in file.Gravatar Hugo Herbelin2017-09-14
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* [location] Cleanup.Gravatar Emilio Jesus Gallego Arias2017-04-25
* [location] Remove `Loc.internal_ghost`Gravatar Emilio Jesus Gallego Arias2017-04-25
* [location] Make location optional in Loc.locatedGravatar Emilio Jesus Gallego Arias2017-04-25
* [location] Remove Loc.ghost.Gravatar Emilio Jesus Gallego Arias2017-04-25
* [location] Switch glob_constr to Loc.locatedGravatar Emilio Jesus Gallego Arias2017-04-24
* [location] Move Glob_term.cases_pattern to located.Gravatar Emilio Jesus Gallego Arias2017-04-24
* [location] Use Loc.located for constr_expr.Gravatar Emilio Jesus Gallego Arias2017-04-24
* [constrexpr] Make patterns use Loc.located for location informationGravatar Emilio Jesus Gallego Arias2017-04-24
* Unify location handling of error functions.Gravatar Emilio Jesus Gallego Arias2016-08-19
* Add file name, line number and beginning of line position to locations.Gravatar Maxime Dénès2016-06-20
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Do not dump a glob reference when its location is ghost. (Fix bug #4469)Gravatar Guillaume Melquiond2015-12-31
* Update headers.Gravatar Maxime Dénès2015-01-12
* Getting rid of Exninfo hacks.Gravatar Pierre-Marie Pédrot2014-12-16
* Removing Exc_located and using the new exception enrichementGravatar ppedrot2013-02-18
* More equality functionsGravatar ppedrot2012-11-25
* Moved Compat to parsing. This permits to break the dependency of theGravatar ppedrot2012-10-04
* Updating headers.Gravatar herbelin2012-08-08
* Added an indirection with respect to Loc in Compat. As many [open Compat]Gravatar ppedrot2012-06-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-18 17:34:01 +0000