summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-gadts/pr10348.ml
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-251-1/+1
* Support clever expansion of gadt equations in presence of local module (#10348)Jacques Garrigue2022-07-041-0/+50