summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-misc-bugs
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-254-17/+33
* printtyp: remove spurious space in error tracesFlorian Angeletti2023-01-021-1/+1
* stop using single letter in warning settingsoctachron2021-03-153-3/+3
* typedecl: use the new Separability implementation, remove old codeRodolphe Lepigre2020-01-281-0/+19
* Remove ocamltests filesNicolás Ojeda Bär2019-09-281-3/+0
* Update testsArmaël Guéneau2018-10-192-0/+4
* Migrate the typing-modules-bugs tests to ocamltestSébastien Hinderer2018-03-181-1/+1
* Migrate the typing-misc-bugs tests to ocamltestSébastien Hinderer2018-03-187-17/+33
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* clean up whitespace and cut long linesDamien Doligez2016-02-171-4/+4
* add test for regression in commit 9229b1 (fix of PR#6980)Jacques Garrigue2015-12-011-0/+94
* Fix PR#6946Jacques Garrigue2015-11-301-0/+2
* Fix PR#6303Jacques Garrigue2014-01-232-0/+17