summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-extensions/extensions.ml
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-251-1/+1
* Print out type variables that cannot be deducedStefan Muenzel2023-02-141-0/+14
* Use the new structured errors (#10170) for better error messagesAntal Spector-Zabusky2021-06-211-8/+8
* typing: fix the scope of extension constructor declarationsGabriel Scherer2020-11-231-0/+24
* compilerlibs: expose parsers for 'Longident.t'sFlorian Angeletti2020-01-091-0/+13
* 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
* Better error message for private constructors of extensible types (#8579)Guillaume Bury2019-04-041-22/+321
* Add paths for built-in types (#1876)yallop2018-11-081-4/+6
* Migrate typing-extensions tests to ocamltestNicolas Ojeda Bar2017-12-051-0/+4
* Add private extensible variantsLeo White2017-09-111-6/+14
* Ensure testsuite works with OCAMLRUNPARAM=bDavid Allsopp2017-06-161-0/+2
* Use the extension_constructor type in ObjJeremie Dimino2015-11-271-7/+10
* whitespace cleanup, cut long lines, add some missing headersDamien Doligez2015-09-111-2/+4
* PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-041-0/+321
View Lorry Controller Status