summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-poly/pr9603.ml
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-251-1/+1
* Maintain more structural information in type-checking errorsAntal Spector-Zabusky2021-05-061-4/+1
* type_cases: rely on levels to enforce principality (#1931)Thomas Refis2020-07-081-12/+0
* Fix the polymorphic recursion problem of #9603 (#9617)Jacques Garrigue2020-06-021-0/+48