summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-modules/inclusion_errors.ml
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-251-1/+1
* error messages: use de bruijn indices to disambiguate namesFlorian Angeletti2023-01-021-4/+4
* Printtyp: avoid stack overflow when printing constructors or recordsFlorian Angeletti2022-10-171-0/+93
* Include kinds in "Their kinds differ" errorcuriousleo2022-09-021-2/+2
* Support clever expansion of gadt equations in presence of local module (#10348)Jacques Garrigue2022-07-041-3/+2
* Improve type variable name generation and recursive type detection when print...Antal Spector-Zabusky2021-10-151-4/+4
* Add some extra periods to some new error messages for consistencyAntal Spector-Zabusky2021-06-211-13/+13
* Respond to review for the new structured error messages (#10407)Antal Spector-Zabusky2021-06-211-23/+26
* Use the new structured errors (#10170) for better error messagesAntal Spector-Zabusky2021-06-211-4/+128
* Add more new test cases for module inclusion errorsAntal Spector-Zabusky2021-06-211-0/+352
* Add new test cases for module inclusion errorsAntal Spector-Zabusky2021-06-211-0/+64
* Add tests before improving the internal type error representationMekhrubon Turaev2021-05-061-0/+1174