Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | New script language for ocamltest (#12185) | Damien Doligez | 2023-04-25 | 1 | -2/+2 |
* | error messages: use de bruijn indices to disambiguate names | Florian Angeletti | 2023-01-02 | 1 | -10/+8 |
* | #8610: toplevel printing, consistent deduplicated name for types (#8613) | Florian Angeletti | 2019-04-15 | 1 | -2/+2 |
* | Print end line and valid end character for multi-lines locations | Louis Roché | 2019-04-08 | 1 | -1/+1 |
* | Update tests | Armaël Guéneau | 2018-10-19 | 1 | -8/+8 |
* | Location: significantly rework the code printing errors and warnings | Armaël Guéneau | 2018-08-08 | 1 | -33/+16 |
* | Refactor [Location.print_loc]; use it in [highlight_dumb] and expect_test.ml | Armaël Guéneau | 2018-07-25 | 1 | -12/+12 |
* | PR#6416 et al.: injective mapping between identifiers and printed names (#1120) | Florian Angeletti | 2018-06-26 | 1 | -0/+104 |