summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-misc/disambiguate_principality.ml
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-251-1/+1
* update testsuite (2)Gabriel Scherer2023-02-231-0/+22
* update testsuiteGabriel Scherer2023-02-231-0/+7
* Update test reference filesNicolás Ojeda Bär2020-07-211-29/+29
* pattern aliases do not ignore type constraints (#1655)Thomas Refis2020-07-091-6/+0
* type_cases: rely on levels to enforce principality (#1931)Thomas Refis2020-07-081-8/+60
* Print end line and valid end character for multi-lines locationsLouis Roché2019-04-081-2/+2
* Update the testsArmaël Guéneau2018-10-191-2/+2
* Update testsArmaël Guéneau2018-10-191-66/+66
* tests: extend disambiguation tests to constructorsThomas Refis2018-07-261-0/+235
* Refactor [Location.print_loc]; use it in [highlight_dumb] and expect_test.mlArmaël Guéneau2018-07-251-17/+17
* do not spuriously warnThomas Refis2018-03-151-18/+0
* add a bunch of testsThomas Refis2018-03-151-0/+301