summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-gadts/pr6158.ml
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-251-1/+1
* 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/+10
* Fix PR#6158Jacques Garrigue2013-09-051-0/+9