summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-modules/pr5911.ml
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-251-1/+1
* typing/oprint: [minor] improve printing of empty signaturesGabriel Scherer2019-09-031-3/+2
* Migrate typing-modules tests to ocamltestSébastien Hinderer2017-12-081-0/+4
* switch typing-misc and typing-modules to Makefile.expectJacques Garrigue2016-06-131-1/+11
* Fix PR#5911: substituting in submodules should not be allowedJacques Garrigue2013-01-291-0/+14