summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-gadts/pr10907.ml
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-251-1/+1
* Merge pull request #10959 from COCTI/fix10907Florian Angeletti2022-02-031-0/+53