summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-modules
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-2540-48/+50
* Print the type variable that cannot be generalized (#12051)Stefan Muenzel2023-03-271-0/+23
* (self)review: ensure that Change = Insert + DeleteFlorian Angeletti2023-03-161-0/+44
* testsuite: remove currently irrelevant testFlorian Angeletti2023-03-161-28/+3
* Fix #12061: don't be too optimistic with functorsFlorian Angeletti2023-03-161-9/+218
* update testsuite (2)Gabriel Scherer2023-02-231-0/+1
* #11450: struct end might be really a structureFlorian Angeletti2023-02-201-0/+51
* Add syntax for generative functor application (#11984)Richard Eisenberg2023-02-121-2/+18
* Fix #11150: avoid recomputation in Typedecl.check_wellfoundedJacques Garrigue2023-01-172-4/+2
* Optimise "include struct ... end" in more cases (#11134)Stephen Dolan2023-01-132-0/+69
* Merge pull request #11515 from Octachron/debruijn_printed_nameFlorian Angeletti2023-01-033-24/+24
|\
| * error messages: use de bruijn indices to disambiguate namesFlorian Angeletti2023-01-023-24/+24
* | rename the type of the accumulator of fold functions to 'accValentin Gatien-Baron2023-01-022-5/+5
* | Add short syntax for generative functor types: () -> ... (#11694)Jeremy Yallop2023-01-021-4/+4
|/
* check_well_founded: give expansions traces in error messagesGabriel Scherer2022-12-262-9/+30
* Fix bug in `Mtype.strengthen_lazy` causing spurious typing errors (#11776)Chris Casinghino2022-12-011-0/+44
* Ensure that types from packed modules are always generalised (#11732)Stephen Dolan2022-11-171-0/+42
* Add hash, seeded_hash to Int, Char, Bool, Float, Int32, Int64, Nativeint (#11...Nicolás Ojeda Bär2022-10-271-0/+8
* Printtyp: avoid stack overflow when printing constructors or recordsFlorian Angeletti2022-10-171-0/+93
* Set and Map API improvements (#11410)Daniel Bünzli2022-10-012-70/+75
* Include kinds in "Their kinds differ" errorcuriousleo2022-09-021-2/+2
* Do not elide the whole module type error message (#11416)Florian Angeletti2022-07-201-0/+93
* Support clever expansion of gadt equations in presence of local module (#10348)Jacques Garrigue2022-07-041-3/+2
* Limit stack size before running this testXavier Leroy2022-05-181-0/+1
* Remove deprecated functions (#10867)Nicolás Ojeda Bär2022-01-121-8/+0
* Improve type variable name generation and recursive type detection when print...Antal Spector-Zabusky2021-10-151-4/+4
* Add more merge constraint testsLeo White2021-09-231-0/+174
* Strengthen module types to aliasesStephen Dolan2021-09-061-19/+5
* Fix private polymorphic variant inclusion (#10529)Jacques Garrigue2021-07-261-0/+31
* swaps and movesFlorian Angeletti2021-06-222-4/+303
* more testsFlorian Angeletti2021-06-222-0/+259
* diffing for variant definitionsFlorian Angeletti2021-06-221-1/+6
* diffing for record definitionFlorian Angeletti2021-06-221-4/+18
* Add some extra periods to some new error messages for consistencyAntal Spector-Zabusky2021-06-211-13/+13
* Respond to review for the new structured error messages (#10407)Antal Spector-Zabusky2021-06-214-28/+32
* Use the new structured errors (#10170) for better error messagesAntal Spector-Zabusky2021-06-2113-40/+174
* Add more new test cases for module inclusion errorsAntal Spector-Zabusky2021-06-212-0/+369
* Add new test cases for module inclusion errorsAntal Spector-Zabusky2021-06-212-0/+108
* Check row_more in nondep_type_recLeo White2021-06-141-1/+1
* Add another nondep testLeo White2021-06-141-0/+12
* Merge pull request #10401 from Octachron/signature_group_2Gabriel Scherer2021-05-121-0/+52
|\
| * bugfix: with constraints and #row componentoctachron2021-05-071-0/+21
| * with constraint: ignore ghost componentsoctachron2021-05-061-0/+31
* | Add tests before improving the internal type error representationMekhrubon Turaev2021-05-061-0/+1174
|/
* fix printing of nested recursive definitionsFlorian Angeletti2021-04-221-2/+2
* Merge pull request #10219 from Octachron/printtyp_explicit_syntactic_groupsGabriel Scherer2021-04-201-1/+1
|\
| * split print_signature in three phasesFlorian Angeletti2021-02-121-1/+1
* | Semantic diffings for functor types and applications (#9331)Gabriel Radanne2021-04-076-26/+1745
* | Fix #10298: Incorrect propagation of type equalities in functor application (...Jacques Garrigue2021-03-292-0/+35
* | review: error messageoctachron2021-02-251-3/+4
View Lorry Controller Status