summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-gadts/pr7269.ml
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-251-1/+1
* update testsuite (2)Gabriel Scherer2023-02-231-0/+3
* Update test reference filesNicolás Ojeda Bär2020-07-211-3/+3
* Update testsArmaël Guéneau2018-10-191-6/+6
* Refactor [Location.print_loc]; use it in [highlight_dumb] and expect_test.mlArmaël Guéneau2018-07-251-3/+3
* expect-style tests: include the code at the location of error messagesGabriel Scherer2017-12-121-0/+6
* Migrate typing-gadts tests to ocamltestSébastien Hinderer2017-12-081-0/+4
* fix whitespace, long lines, headersDamien Doligez2016-08-011-2/+2
* Warnings: "value" -> "case" for pattern examplesoctachron2016-07-011-3/+3
* switch tests/type-gadts to Makefile.expectJacques Garrigue2016-06-131-0/+40
* Fix PR#7269 again, cancelling previous fixJacques Garrigue2016-06-031-4/+28
* Fix PR#7269Jacques Garrigue2016-06-021-0/+7