| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Make the user_err header an optional parameter. |  Emilio Jesus Gallego Arias | 2016-08-19 |
| | | | | | Suggested by @ppedrot | ||
| * | Remove errorlabstrm in favor of user_err | Emilio Jesus Gallego Arias | 2016-08-19 |
| | | | | | | | | As noted by @ppedrot, the first is redundant. The patch is basically a renaming. We didn't make the component optional yet, but this could happen in a future patch. | ||
| * | Unify location handling of error functions. | Emilio Jesus Gallego Arias | 2016-08-19 |
| | | | | | | | | | | | | | | | In some cases prior to this patch, there were two cases for the same error function, one taking a location, the other not. We unify them by using an option parameter, in the line with recent changes in warnings and feedback. This implies a bit of clean up in some places, but more importantly, is the preparation for subsequent patches making `Loc.location` opaque, change that could be use to improve modularity and allow a more functional implementation strategy --- for example --- of the beautifier. | ||
| * | errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib ↵ |  Pierre Letouzey | 2016-07-03 |
| module) For the moment, there is an Error module in compilers-lib/ocamlbytecomp.cm(x)a | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |