summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-polyvariants-bugs-2
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-251-13/+31
* Maintain more structural information in type-checking errorsAntal Spector-Zabusky2021-05-061-2/+1
* ocamltest: rename the files variable to readonly_filesSébastien Hinderer2021-04-211-1/+1
* Remove ocamltests filesNicolás Ojeda Bär2019-09-281-1/+0
* Update testsArmaël Guéneau2018-10-191-0/+2
* a type for unification tracesFlorian Angeletti2018-10-171-1/+1
* Fix the typing-polyvariants-bugs-2 testSébastien Hinderer2018-03-282-1/+8
* Migrate the typing-polyvariants-bugs-2 test to ocamltestSébastien Hinderer2018-03-283-26/+13
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* testsuite: general cleanup of makefilesDamien Doligez2013-05-031-1/+4
* whitespace, non-ascii chars, some missing headersDamien Doligez2012-10-171-0/+12
* testsuite: ability run a given test from its own directory.Xavier Clerc2011-06-151-1/+2
* Tests moved from 'testlabl'Xavier Clerc2010-04-074-0/+19