summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-warnings/records.ml
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-251-2/+2
* update testsuite (2)Gabriel Scherer2023-02-231-0/+21
* update testsuiteGabriel Scherer2023-02-231-0/+38
* tweak error message for unknown constructors or fieldsoctachron2021-04-271-5/+5
* stop using single letter in warning settingsoctachron2021-03-151-1/+1
* Update test reference filesNicolás Ojeda Bär2020-07-211-59/+59
* type_cases: rely on levels to enforce principality (#1931)Thomas Refis2020-07-081-19/+27
* Fix #8747: incorrect principality warning on functional updates of records (#...Jacques Garrigue2020-06-281-0/+56
* disambiguation: improve the API of NameChoice.disambiguateGabriel Scherer2020-03-071-0/+24
* Update testsArmaël Guéneau2018-10-191-118/+118
* switch tests/typing-warnings/records.ml to expect testThomas Refis2018-07-261-2/+464
* Migrate tests/typing-warnings tests to ocamltestSébastien Hinderer2018-01-171-0/+6
* whitespace cleanup, cut long lines, add some missing headersDamien Doligez2015-09-111-1/+1
* Fix PR#6235 + keep typing of pattern cases independent in principal modeJacques Garrigue2013-11-131-0/+20
* #5980: a different warning for shadowing labels/constructors and for other ki...Alain Frisch2013-06-181-0/+20
* Fix PR#6004Jacques Garrigue2013-05-041-0/+11
* Improve message for warning 40Jacques Garrigue2013-04-261-0/+1
* add spellchecking for Wrong_nameJacques Garrigue2012-11-011-0/+7
* keep longident in Typecore.Wrong_nameJacques Garrigue2012-10-311-0/+4
* fix warningsJacques Garrigue2012-10-311-0/+117
View Lorry Controller Status