summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-core-bugs
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-255-7/+7
* Preserve integer literal formatting in type hintcuriousleo2022-07-141-0/+53
* tweak error message for unknown constructors or fieldsoctachron2021-04-271-2/+2
* preserve expected-type explanation after "let () = ... in"Gabriel Scherer2021-01-041-0/+11
* type_cases: rely on levels to enforce principality (#1931)Thomas Refis2020-07-081-6/+0
* Remove ocamltests filesNicolás Ojeda Bär2019-09-281-5/+0
* Merge pull request #8827 from gasche/revert-numeric-operators-hintFlorian Angeletti2019-09-192-80/+0
* Clean up int literal hint (#2313)Jules Aguillon2019-04-112-12/+12
* TestsJules Aguillon2019-03-112-0/+80
* Implements on patternsJules Aguillon2019-03-081-1/+20
* Add hint on int literals where expecting int32 or int64 literalJules Aguillon2019-03-082-0/+134
* Remove unnecessary executable bit from sources (#2270)David Allsopp2019-02-281-0/+0
* Merge pull request #2109 from nojb/spellchecking_disambiguationArmaël Guéneau2018-11-052-0/+23
|\
| * Add testNicolás Ojeda Bär2018-11-052-0/+23
* | Update testsArmaël Guéneau2018-10-193-52/+52
|/
* Location: significantly rework the code printing errors and warningsArmaël Guéneau2018-08-081-2/+1
* Refactor [Location.print_loc]; use it in [highlight_dumb] and expect_test.mlArmaël Guéneau2018-07-253-26/+26
* Add an explanation for the expected type of when-clausesArmaël Guéneau2018-07-041-0/+13
* Minor rewordingArmaël Guéneau2018-05-061-4/+4
* Add a breakable space to the "missing rec" hint messageArmaël Guéneau2018-05-061-4/+8
* Only add ghost bindings when the definition is a syntactic functionArmaël Guéneau2018-05-061-0/+12
* Reword the "missing rec hint" to be less assertiveArmaël Guéneau2018-05-061-4/+4
* Allow spellchecking in case of missing rec hintArmaël Guéneau2018-05-061-6/+19
* Merge together the several tests for the "missing rec hint"Armaël Guéneau2018-05-065-46/+39
* Re-implement the hint indicating missing "rec" keywordsArmaël Guéneau2018-05-064-0/+46
* Revert "Merge pull request #1472 from Armael/improved-error-letrec"Damien Doligez2018-04-094-46/+0
* Add testsArmaël Guéneau2017-12-213-0/+179
* expect-style tests: include the code at the location of error messagesGabriel Scherer2017-12-124-0/+16
* Migrate typing-core-bugs tests to ocamltestSébastien Hinderer2017-12-086-19/+21
* Add testsArmaël Guéneau2017-12-022-0/+58
* Add tests filescharguer2017-11-174-0/+43
View Lorry Controller Status