summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-gadts/pr5689.ml
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-251-1/+1
* Improve type variable name generation and recursive type detection when print...Antal Spector-Zabusky2021-10-151-3/+3
* #8702: fix some polymorphic variant error messages (#8777)Florian Angeletti2019-07-121-1/+2
* Update testsArmaël Guéneau2018-10-191-2/+2
* Refactor [Location.print_loc]; use it in [highlight_dumb] and expect_test.mlArmaël Guéneau2018-07-251-1/+1
* expect-style tests: include the code at the location of error messagesGabriel Scherer2017-12-121-0/+2
* Migrate typing-gadts tests to ocamltestSébastien Hinderer2017-12-081-0/+4
* switch tests/type-gadts to Makefile.expectJacques Garrigue2016-06-131-0/+31
* minor fixes to some testsuite testsGabriel Scherer2014-12-211-1/+1
* Fix PR#5689Jacques Garrigue2012-07-181-0/+74