summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-recmod
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-2524-110/+201
* Fix #11150: avoid recomputation in Typedecl.check_wellfoundedJacques Garrigue2023-01-173-5/+2
* check_well_founded: give expansions traces in error messagesGabriel Scherer2022-12-268-7/+23
* Prohibit using classes through recursive modulesLeo White2022-12-061-13/+8
* Add tests for using classes through recursive modulesLeo White2022-12-061-0/+32
* stop using single letter in warning settingsoctachron2021-03-1521-21/+21
* Fix recursive module initialisation that does not terminate (#9497)Mark Shinwell2020-04-242-0/+39
* Improve usage warnings for recursive modulesLeo White2020-04-1811-24/+29
* reworded errors for non-regular structural typesFlorian Angeletti2019-10-305-5/+34
* Remove ocamltests filesNicolás Ojeda Bär2019-09-281-22/+0
* typing/oprint: [minor] improve printing of empty signaturesGabriel Scherer2019-09-031-1/+1
* Print end line and valid end character for multi-lines locationsLouis Roché2019-04-081-1/+1
* Update the testsArmaël Guéneau2018-10-191-3/+3
* Update testsArmaël Guéneau2018-10-1912-2/+27
* Deprecate Pervasives (#1605)Jérémie Dimino2018-08-271-1/+1
* Do not allow recursive modules in `with module` (#1626)Leo White2018-08-025-25/+19
* Migrate the typing-recmod tests to ocamltestSébastien Hinderer2018-03-1835-18/+213
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* everything works except camlp4Jacques Garrigue2013-10-011-2/+5
* whitespace, non-ascii chars, some missing headersDamien Doligez2012-10-171-0/+12
* clean up TABs and whitespaceDamien Doligez2012-07-309-21/+15
* testsuite: ability run a given test from its own directory.Xavier Clerc2011-06-151-2/+3
* Tests moved to 'typing-recmod'Xavier Clerc2010-04-0724-0/+894