summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-extensions
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-255-5/+5
* update testsuite (2)Gabriel Scherer2023-02-232-0/+4
* Print out type variables that cannot be deducedStefan Muenzel2023-02-141-0/+14
* Include kinds in "Their kinds differ" errorcuriousleo2022-09-021-2/+2
* Add some extra periods to some new error messages for consistencyAntal Spector-Zabusky2021-06-211-1/+1
* Respond to review for the new structured error messages (#10407)Antal Spector-Zabusky2021-06-211-1/+1
* Use the new structured errors (#10170) for better error messagesAntal Spector-Zabusky2021-06-212-9/+10
* tweak error message for unknown constructors or fieldsoctachron2021-04-271-8/+8
* typing: fix the scope of extension constructor declarationsGabriel Scherer2020-11-231-0/+24
* Update test reference filesNicolás Ojeda Bär2020-07-212-4/+4
* disambiguation for extension constructorsoctachron2020-04-031-0/+248
* compilerlibs: expose parsers for 'Longident.t'sFlorian Angeletti2020-01-091-0/+13
* Remove ocamltests filesNicolás Ojeda Bär2019-09-281-4/+0
* reseting context in constructors and labels methods before printingMekhrubon Turaev2019-07-301-2/+2
* added tests for printing type TvarsMekhrubon Turaev2019-07-301-0/+27
* Printing additional info about types mismatch during compilation error.Mekhrubon Turaev2019-07-301-3/+15
* Improved type hierarchy for type mismatches (#8828)Mekhrubon Turaev2019-07-301-3/+3
* Fix soundness issue in extension constructor inclusionLeo White2019-07-111-1/+14
* Add more extension constructor testsLeo White2019-07-111-0/+60
* Print end line and valid end character for multi-lines locationsLouis Roché2019-04-081-1/+1
* Better error message for private constructors of extensible types (#8579)Guillaume Bury2019-04-044-297/+547
* Fixing typos in various files (#2246)Fourchaux2019-02-131-1/+1
* Add paths for built-in types (#1876)yallop2018-11-081-4/+6
* s/string_of_int/Int.to_string/gDaniel Bünzli2018-11-071-1/+1
* Update the testsArmaël Guéneau2018-10-191-2/+2
* Update testsArmaël Guéneau2018-10-192-52/+52
* Refactor [Location.print_loc]; use it in [highlight_dumb] and expect_test.mlArmaël Guéneau2018-07-252-25/+25
* Migrate typing-extensions tests to ocamltestNicolas Ojeda Bar2017-12-0513-239/+252
* Add private extensible variantsLeo White2017-09-116-35/+83
* Ensure testsuite works with OCAMLRUNPARAM=bDavid Allsopp2017-06-164-0/+6
* Fix PR#7330Jacques Garrigue2016-10-072-0/+19
* PR#7315: refine some error locations (#736)Gabriel Scherer2016-08-041-2/+2
* Warnings: "value" -> "case" for pattern examplesoctachron2016-07-011-2/+2
* Use the extension_constructor type in ObjJeremie Dimino2015-11-272-9/+14
* whitespace cleanup, cut long lines, add some missing headersDamien Doligez2015-09-115-10/+12
* For PR#6897Jacques Garrigue2015-06-231-3/+14
* Fix PR#6897 as suggested by AlainJacques Garrigue2015-06-171-0/+8
* GPR#159: Better locations for structure/signature itemsDamien Doligez2015-05-041-6/+6
* PR#6466: use "extensible variant" rather than "open" types in error messageGabriel Scherer2014-12-211-1/+1
* merge branch 4.02 from release 4.02.0 to release 4.02.1Damien Doligez2014-10-151-1/+3
* apply patch for PR#6420: Bad error message for non-exhaustive matching on ext...Jacques Garrigue2014-05-142-0/+16
* PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-049-0/+915
View Lorry Controller Status