summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-modules/pr7851.ml
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-251-1/+1
* Respond to review for the new structured error messages (#10407)Antal Spector-Zabusky2021-06-211-2/+2
* Use the new structured errors (#10170) for better error messagesAntal Spector-Zabusky2021-06-211-4/+5
* Improve usage warnings for recursive modulesLeo White2020-04-181-4/+4
* Printing additional info about types mismatch during compilation error.Mekhrubon Turaev2019-07-301-2/+10
* Improved type hierarchy for type mismatches (#8828)Mekhrubon Turaev2019-07-301-2/+2
* Fix #7851 by checking type declaration coherence for recursive modules (#8570)Jacques Garrigue2019-04-191-0/+79