summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-misc/unique_names_in_unification.ml
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-251-2/+2
* error messages: use de bruijn indices to disambiguate namesFlorian Angeletti2023-01-021-10/+8
* #8610: toplevel printing, consistent deduplicated name for types (#8613)Florian Angeletti2019-04-151-2/+2
* Print end line and valid end character for multi-lines locationsLouis Roché2019-04-081-1/+1
* Update testsArmaël Guéneau2018-10-191-8/+8
* Location: significantly rework the code printing errors and warningsArmaël Guéneau2018-08-081-33/+16
* Refactor [Location.print_loc]; use it in [highlight_dumb] and expect_test.mlArmaël Guéneau2018-07-251-12/+12
* PR#6416 et al.: injective mapping between identifiers and printed names (#1120)Florian Angeletti2018-06-261-0/+104