summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-misc/records.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/+1
* Use correct location when reporting non-existent record label prefix (#11630)Nicolás Ojeda Bär2022-11-041-0/+30
* Include kinds in "Their kinds differ" errorcuriousleo2022-09-021-1/+1
* swaps and movesFlorian Angeletti2021-06-221-2/+1
* diffing: adjust weight for fields and constructorsoctachron2021-06-221-2/+6
* diffing for record definitionFlorian Angeletti2021-06-221-7/+5
* Use the new structured errors (#10170) for better error messagesAntal Spector-Zabusky2021-06-211-4/+5
* Give more precise error when disambiguation could not possibly workLeo White2021-06-081-2/+1
* Move type_unboxed.unboxed into type_kindStephen Dolan2021-05-251-5/+7
* Update test reference filesNicolás Ojeda Bär2020-07-211-1/+1
* In `{expr with ...}`, always evaluate `expr` even if all labels are redefined...Jacques Garrigue2020-04-081-0/+11
* Rollbacking changes of Constructor_names and Label_names errors messageMekhrubon Turaev2019-08-081-1/+1
* Printing additional info about types mismatch during compilation error.Mekhrubon Turaev2019-07-301-3/+11
* testsuite: test reexport failuresFlorian Angeletti2019-03-171-0/+83
* Update testsArmaël Guéneau2018-10-191-26/+26
* Refactor [Location.print_loc]; use it in [highlight_dumb] and expect_test.mlArmaël Guéneau2018-07-251-13/+13
* add one testThomas Refis2018-05-251-0/+13
* Fix MPR#7695 (#1541)Jacques Garrigue2017-12-281-0/+15
* expect-style tests: include the code at the location of error messagesGabriel Scherer2017-12-121-0/+22
* Migrate typing-misc tests to ocamltestSébastien Hinderer2017-12-081-0/+4
* merge c545e04, keeping only testJacques Garrigue2016-11-131-3/+3
* Move tests into typing-misc/records.mlTadeu Zagallo2016-11-111-0/+17
* switch typing-misc and typing-modules to Makefile.expectJacques Garrigue2016-06-131-0/+57
* Fix PR#5865Jacques Garrigue2012-12-271-0/+3
* better errors + fix escaping exceptionJacques Garrigue2012-11-081-0/+14
* fix warningsJacques Garrigue2012-10-311-68/+0
* fix warningsJacques Garrigue2012-10-301-2/+17
* clean up and merge the patch disambiguate-with-warning from PR#5759Jacques Garrigue2012-10-291-17/+40
* also support report construction and pattern matchingJacques Garrigue2012-09-211-1/+9
* use types to disambiguate record accessJacques Garrigue2012-09-191-0/+14
* PR#5722: toplevel: print full module path only for first record fieldJacques Garrigue2012-08-141-0/+17
* Fix PR#5073: Wrong location for 'Unbound record field label' errorJacques Garrigue2012-06-131-0/+12