summaryrefslogtreecommitdiff
path: root/typing/typemod.ml
Commit message (Expand)AuthorAgeFilesLines
* Print the type variable that cannot be generalized (#12051)Stefan Muenzel2023-03-271-18/+57
* #11450: struct end might be really a structureFlorian Angeletti2023-02-201-1/+1
* error messages: use submsgs for signature avoidanceFlorian Angeletti2023-02-161-14/+20
* signature avoidance: simplified identifier disambiguationFlorian Angeletti2023-02-161-10/+17
* Merge pull request #11912 from goldfirere/refactor-univarsFlorian Angeletti2023-02-151-1/+1
|\
| * Encapsulate functions that work with tyvarsRichard Eisenberg2023-02-031-1/+1
* | Add syntax for generative functor application (#11984)Richard Eisenberg2023-02-121-48/+84
|/
* with_local_type_variable_scopeJacques Garrigue2022-12-281-1/+1
* update as suggested by @gascheJacques Garrigue2022-12-281-1/+2
* rename wrap_def -> with_local_level, etc.Takafumi Saikawa2022-12-271-2/+2
* Introduce wrapper functions for level management ([Ctype.wrap_def], etc)Takafumi Saikawa2022-12-271-14/+14
* Ensure that types from packed modules are always generalised (#11732)Stephen Dolan2022-11-171-1/+3
* Encode extra types within pathHyunggyu Jang2022-11-111-3/+3
* Add explicit constructors to Path.t for inline record typesLeo White2022-11-111-1/+3
* Remove hash type encodingHyunggyu Jang2022-11-091-15/+4
* clean up variance lattice and move variance composition to types.mlJacques Garrigue2022-07-261-1/+1
* change wrap_constraint to wrap_constraint_package to clarifyJacques Garrigue2022-06-221-2/+2
* Fix #10768Jacques Garrigue2022-06-221-3/+8
* Remove uses of ;; from the codebaseSébastien Hinderer2022-02-251-2/+0
* Implement a -cmi-file option for ocamlc and ocamloptSébastien Hinderer2022-02-111-7/+11
* Remove configuration options --disable-force-safe-string and DEFAULT_STRING=u...Kate2022-02-011-8/+3
* Merge pull request #10825 from gasche/shape-strong-call-by-needFlorian Angeletti2022-01-201-0/+3
* Shapes: Store shapes in CMT* filesUlysse Gérard2021-11-091-6/+6
* Shapes: Compute shapes during type checkingUlysse Gérard2021-11-091-164/+320
* Shapes: Add Shape module with terms definitions and utility functionsUlysse Gérard2021-11-091-32/+1
* Don't repeat environment entries in Typemod.check_type_declLeo White2021-09-231-18/+34
* Style changesStephen Dolan2021-09-071-23/+22
* Add Env.find_strengthened_moduleStephen Dolan2021-09-061-18/+20
* Lazy Env.lookup_modtype and Env.lookup_moduleStephen Dolan2021-09-061-6/+7
* Treat class_signature more like type_exprThomas Refis2021-07-141-23/+18
* Normalize type_expr nodes on access (#10337)Jacques Garrigue2021-06-241-5/+5
* Move type_unboxed.unboxed into type_kindStephen Dolan2021-05-251-1/+1
* Merge pull request #10405 from trefis/subst-locsGabriel Scherer2021-05-121-3/+6
|\
| * update locations for destructive substitutionsThomas Refis2021-05-101-3/+6
* | signature_group review: more symmetric interfaceoctachron2021-05-121-1/+1
* | review: with_constraints delete or replace one itemFlorian Angeletti2021-05-111-9/+10
* | bugfix: with constraints and #row componentoctachron2021-05-071-15/+14
* | with constraint: ignore ghost componentsoctachron2021-05-061-61/+64
* | include shadow all items in a group:octachron2021-05-061-23/+58
* | [refactoring] Typemod.simplify: use List.filter_map for readabilityGabriel Scherer2021-05-061-4/+4
|/
* unify field name and type on TpackageEduardoRFS2021-04-211-36/+32
* Labellize Typedecl.transl_with_constraintsFlorian Angeletti2021-04-141-2/+2
* Semantic diffings for functor types and applications (#9331)Gabriel Radanne2021-04-071-129/+188
* added warning for missing mli interface fileAnukriti122021-03-311-0/+2
* Fix #10298: Incorrect propagation of type equalities in functor application (...Jacques Garrigue2021-03-291-1/+1
* compiler interface: deprecate single letter warningoctachron2021-03-151-1/+1
* review: merge_constraints remove recursive knotoctachron2021-02-251-30/+50
* review: lift check_modtype callsoctachron2021-02-251-12/+13
* review: add a parsetree invariantoctachron2021-02-251-1/+3
* review: begin...end for a thenoctachron2021-02-251-13/+14
View Lorry Controller Status