summaryrefslogtreecommitdiff
path: root/typing/types.ml
Commit message (Expand)AuthorAgeFilesLines
* clty_ty -> clty_hash_typeHyunggyu Jang2022-11-101-1/+1
* Remove hash type encodingHyunggyu Jang2022-11-091-0/+1
* clean up variance lattice and move variance composition to types.mlJacques Garrigue2022-07-261-13/+47
* Fix #11101 by making `occur ty ty` succeed (#11109)Jacques Garrigue2022-03-151-0/+2
* Merge pull request #10825 from gasche/shape-strong-call-by-needFlorian Angeletti2022-01-201-0/+9
* Update privacy when methods are overridden. Fixes #10781.Leo White2021-11-181-1/+5
* typechecker, #10762: restrict redo in unify_row_fieldFlorian Angeletti2021-11-151-0/+5
* Shapes: Add Shape module with terms definitions and utility functionsUlysse Gérard2021-11-091-49/+1
* abstract row_field (#10627)Jacques Garrigue2021-10-221-36/+103
* commentsJacques Garrigue2021-10-181-3/+3
* use internal GADTs to ensure that Cunknown and FKprivate do not leakJacques Garrigue2021-10-181-31/+31
* make field_kind and commutable abstract typesTakafumi Saikawa2021-10-181-20/+81
* Force normalization on access to `row_desc` (#10474)Jacques Garrigue2021-09-101-1/+66
* Remove unused csig_inher fieldLeo White2021-07-151-2/+1
* Rename ConcrLeo White2021-07-151-3/+4
* Treat class_signature more like type_exprThomas Refis2021-07-141-15/+13
* Represent ancestor variables more directlyLeo White2021-07-131-1/+1
* Give more precise errors for virtual methodsLeo White2021-07-131-2/+7
* Change representation of class typesLeo White2021-07-131-7/+7
* Remove unused cstr_normal field from the constructor_description type (#10470)Nicolas Chataing2021-06-241-1/+0
* Normalize type_expr nodes on access (#10337)Jacques Garrigue2021-06-241-8/+224
* Move type_unboxed.unboxed into type_kindStephen Dolan2021-05-251-13/+6
* Refactor type_descriptions in the typing envNicolas Chataing2021-05-071-4/+6
* unify field name and type on TpackageEduardoRFS2021-04-211-1/+1
* fix for a row-arity mismatch in pattern-matching compilation (#10295)Gabriel Scherer2021-03-191-3/+8
* Make Tsubst directly retain two arguments, instead of nesting a Ttuple (#10174)Takafumi Saikawa2021-02-011-1/+1
* Make type_expr private (#9994)Jacques Garrigue2020-12-141-0/+6
* Mark datatypes as injective in recursive module approximations (#10029)Jacques Garrigue2020-11-201-2/+3
* Fix #9721: Injectivity and recursive modules (#9727)Jacques Garrigue2020-07-071-2/+4
* Uid.reinitThomas Refis2020-03-051-3/+5
* Types.Uid: include IdentifiableThomas Refis2020-03-051-0/+18
* use uid for usage warningsThomas Refis2020-03-051-0/+4
* Add a unique id to every signature itemThomas Refis2020-03-051-8/+48
* add separability signatures in type declarationsGabriel Scherer2020-01-281-0/+1
* typedecl_separability: interfaces and basic definitions, implementations missingRodolphe Lepigre2020-01-281-0/+26
* a better representation for modules with no name (#8908)Thomas Refis2019-10-091-1/+5
* Add support for [@@immediate64]Jeremie Dimino2019-09-241-1/+1
* Refactor environment lookup functionsLeo White2019-08-151-5/+0
* #8702: fix some polymorphic variant error messages (#8777)Florian Angeletti2019-07-121-2/+3
* Extend `open` to arbritrary module expressions in structures and toRunhang Li2018-11-261-7/+32
* Remove positions from pathsLeo White2018-11-211-6/+6
* add Types.Variance.eqGabriel Scherer2018-11-181-0/+1
* always associate a scope to a type (previously it was optional)Thomas Refis2018-10-051-2/+2
* Just some tbl things. (#1699)Gabriel Radanne2018-07-231-4/+2
* Whitespace and overlong line fixes.David Allsopp2018-06-141-2/+2
* Re-implement the hint indicating missing "rec" keywordsArmaël Guéneau2018-05-061-1/+5
* Revert "Merge pull request #1472 from Armael/improved-error-letrec"Damien Doligez2018-04-091-5/+1
* slight representation changeThomas Refis2018-02-271-1/+2
* add a scope field to type_exprThomas Refis2018-02-271-0/+1
* Extensible types in pattern matching. (#1459)Luc Maranget2017-11-211-0/+4
View Lorry Controller Status