summaryrefslogtreecommitdiff
path: root/typing/includecore.ml
Commit message (Expand)AuthorAgeFilesLines
* Include kinds in "Their kinds differ" errorcuriousleo2022-09-021-4/+31
* clean up variance lattice and move variance composition to types.mlJacques Garrigue2022-07-261-2/+2
* abstract row_field (#10627)Jacques Garrigue2021-10-221-2/+2
* Force normalization on access to `row_desc` (#10474)Jacques Garrigue2021-09-101-10/+11
* TyposJPR2021-08-261-1/+1
* Fix private polymorphic variant inclusion (#10529)Jacques Garrigue2021-07-261-2/+2
* Merge pull request #10361 from Octachron/semdiff_type_declGabriel Scherer2021-06-251-157/+329
|\
| * diffing_with_keys: switch to a recordoctachron2021-06-231-4/+6
| * Functorized diffing (with improved documentation) (#4)Florian Angeletti2021-06-221-46/+57
| * swaps and movesFlorian Angeletti2021-06-221-77/+93
| * diffing: adjust weight for fields and constructorsoctachron2021-06-221-10/+39
| * diffing for variant definitionsFlorian Angeletti2021-06-221-81/+124
| * diffing for record definitionFlorian Angeletti2021-06-221-87/+158
* | Normalize type_expr nodes on access (#10337)Jacques Garrigue2021-06-241-8/+8
|/
* Add some extra periods to some new error messages for consistencyAntal Spector-Zabusky2021-06-211-4/+4
* Respond to more review for the structured error messages (#10407)Antal Spector-Zabusky2021-06-211-7/+7
* Respond to review for the new structured error messages (#10407)Antal Spector-Zabusky2021-06-211-18/+70
* Use the new structured errors (#10170) for better error messagesAntal Spector-Zabusky2021-06-211-58/+127
* Bug fix: `equal_private` was being used in too many placesAntal Spector-Zabusky2021-06-211-10/+24
* reviewStephen Dolan2021-05-251-22/+20
* review fixesStephen Dolan2021-05-251-22/+41
* Move type_unboxed.unboxed into type_kindStephen Dolan2021-05-251-22/+25
* Address all the excellent reviewer suggestionsAntal Spector-Zabusky2021-05-061-7/+7
* Maintain more structural information in type-checking errorsAntal Spector-Zabusky2021-05-061-112/+258
* Semantic diffings for functor types and applications (#9331)Gabriel Radanne2021-04-071-2/+2
* Add warning for unused labelsLeo White2021-03-221-7/+18
* use uid for usage warningsThomas Refis2020-03-051-8/+5
* Add support for [@@immediate64]Jeremie Dimino2019-09-241-8/+17
* Merge pull request #2127 from lpw25/lookup-errorsThomas Refis2019-08-211-11/+10
|\
| * Refactor environment lookup functionsLeo White2019-08-151-11/+10
* | Rollbacking changes of Constructor_names and Label_names errors messageMekhrubon Turaev2019-08-081-4/+4
* | Printing additional info about types mismatch during compilation error.Mekhrubon Turaev2019-07-301-39/+72
|/
* Improved type hierarchy for type mismatches (#8828)Mekhrubon Turaev2019-07-301-101/+186
* Fix soundness issue in extension constructor inclusionLeo White2019-07-111-14/+16
* Fix #7851 by checking type declaration coherence for recursive modules (#8570)Jacques Garrigue2019-04-191-3/+3
* "Alerts" as a generalization of "deprecated" (#1804)Alain Frisch2018-11-151-3/+3
* more precise extension mismatch error messagesThomas Refis2018-08-091-61/+60
* Whitespace and overlong line fixes.David Allsopp2018-06-141-1/+3
* Fix usage warnings with no mli file (#1358)Leo White2018-03-141-23/+30
* Remove blank line to improve readability.alainfrisch2017-05-151-3/+0
* Support for deprecated class/class types.alainfrisch2017-05-091-0/+7
* Support for deprecated_mutable attribute.alainfrisch2017-05-091-18/+30
* Support for deprecated attribute on constructors.alainfrisch2017-05-091-15/+25
* Move logic from Includemod to Includecore.alainfrisch2017-05-091-1/+9
* Fix PR#7321Jacques Garrigue2017-03-151-0/+3
* add commentJacques Garrigue2016-12-141-1/+2
* Fix PR#7378Jacques Garrigue2016-12-141-4/+4
* GPR#606: add unboxed typesDamien Doligez2016-07-211-1/+15
* More warnings when compiling the compiler.alainfrisch2016-03-151-3/+3
* Fix PR#7160: Type synonym definitions can weaken gadt constructor typesJacques Garrigue2016-03-031-12/+15
View Lorry Controller Status