summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-gadts/pr5906.ml
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-251-1/+1
* update testsuiteGabriel Scherer2023-02-231-0/+1
* Update test reference filesNicolás Ojeda Bär2020-07-211-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-191-5/+5
* 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/+5
* Migrate typing-gadts tests to ocamltestSébastien Hinderer2017-12-081-0/+4
* Warnings: "value" -> "case" for pattern examplesoctachron2016-07-011-1/+1
* switch tests/type-gadts to Makefile.expectJacques Garrigue2016-06-131-0/+15
* whitespace cleanup, cut long lines, add some missing headersDamien Doligez2015-09-111-1/+2
* Fix PR#5906Jacques Garrigue2013-01-251-0/+17
View Lorry Controller Status