summaryrefslogtreecommitdiff
path: root/typing
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #9269 from Octachron/fix_annotGabriel Scherer2020-01-303-6/+7
* Merge pull request #9261 from lthls/rec_check_ignore_fixGabriel Scherer2020-01-271-2/+2
* Merge pull request #9185 from hhugo/fix-unused-openFlorian Angeletti2020-01-101-1/+3
|\
| * Fix error messageHugo Heuzard2019-12-161-1/+1
| * fix spurious 'unused open' with classHugo Heuzard2019-12-151-0/+1
| * fix spurious 'unused open' with polymorphic variantHugo Heuzard2019-12-151-0/+1
* | Merge pull request #9212 from kit-ty-kate/fix-dynlinkGabriel Scherer2020-01-091-1/+2
|\ \
| * | Fix access to C symbols when using DynlinkKate2019-12-261-1/+2
| |/
* | Fix the "Wrong file naming" error messageKate2019-12-311-1/+1
|/
* fix typo in name + improve style in type_pat (#9161)Jacques Garrigue2019-12-041-2/+2
* missing fixes of #9154Jacques Garrigue2019-12-021-1/+2
* Fix exhaustivity of GADTs coming from incomplete unification (#9154)Jacques Garrigue2019-12-021-41/+37
* Merge pull request #9030 from gasche/refactor-type_patGabriel Scherer2019-10-182-96/+265
|\
| * typecore: more explanations on the non-locality of type_pat search with GADTsGabriel Scherer2019-10-181-0/+30
| * typecore: another documentation pass (we are converging)Gabriel Scherer2019-10-181-54/+65
| * typecore: the documentation of Backtrack_or was wrongGabriel Scherer2019-10-181-2/+2
| * typecore: refine documentation for type_pat some moreFlorian Angeletti2019-10-182-38/+50
| * typecore: change documentation of type_pat and add documentation to ParmatchJacques Garrigue2019-10-182-127/+98
| * typecore: a proper datatype for type_pat modesGabriel Scherer2019-10-181-91/+236
* | Improve errors for first-class modules (#8903)Leo White2019-10-181-26/+84
|/
* Merge pull request #8860 from Octachron/safer_type_expr_printerFlorian Angeletti2019-10-176-19/+24
|\
| * Avoid duplicated mark_loopsFlorian Angeletti2019-10-176-22/+23
| * make Printtyp.type_expr safer to useFlorian Angeletti2019-10-161-2/+6
* | Fix #7636 using expansion for vanishing parameters (#9040)Jacques Garrigue2019-10-161-1/+11
|/
* Make check-typo happySébastien Hinderer2019-10-151-2/+2
* Warn about unused functor parameters (#8891)Thomas Refis2019-10-143-13/+33
* Merge pull request #8651 from proux01/printf-hGabriel Scherer2019-10-141-1/+2
|\
| * Add printf `%#F` to output floats in hexadecimal OCaml constantsPierre Roux2019-09-261-1/+2
* | Merge pull request #9023 from Octachron/only_raise_need_backtrack_inside_orGabriel Scherer2019-10-101-24/+29
|\ \
| * | typecore: raise Need_backtrack => Inside_orFlorian Angeletti2019-10-081-18/+18
| * | find_valid_alternativesFlorian Angeletti2019-10-081-10/+15
* | | a better representation for modules with no name (#8908)Thomas Refis2019-10-0922-268/+492
* | | update typing/TODO.mdGabriel Scherer2019-10-081-0/+25
* | | fix issue #8792 and replace log_type by set_type_desc in Btype (#9018)Jacques Garrigue2019-10-055-18/+20
* | | remove disambiguation for constructor map (#9017)Jacques Garrigue2019-10-041-6/+5
* | | Allow compiling ocamldoc with -principal (#8955)Jacques Garrigue2019-09-301-3/+7
|/ /
* | [minor] clarify the implementation of Typedtree.pat_bound_idents_fullGabriel Scherer2019-09-254-31/+31
|/
* Merge pull request #8968 from gasche/refactor-pattern-traversalsGabriel Scherer2019-09-245-45/+56
|\
| * refactor the generic pattern traversal functionsGabriel Scherer2019-09-245-45/+56
* | Add header to typedecl_unboxed.mliJeremie Dimino2019-09-241-0/+16
* | Add support for [@@immediate64]Jeremie Dimino2019-09-2421-96/+234
|/
* typecore: fix a small bug in type_patGabriel Scherer2019-09-211-2/+2
* Merge pull request #8827 from gasche/revert-numeric-operators-hintFlorian Angeletti2019-09-192-65/+7
* typing/oprint: linear implementation of the functor printing heuristicGabriel Scherer2019-09-041-10/+13
* typing/oprint: improve printing of functor argumentsGabriel Scherer2019-09-041-7/+37
* typing/oprint: rework printing of functor argumentsGabriel Scherer2019-09-031-26/+32
* typing/oprint: [minor] improve printing of empty signaturesGabriel Scherer2019-09-031-1/+5
* Merge pull request #8906 from Octachron/functor_arrow_associativityFlorian Angeletti2019-09-021-6/+9
|\
| * Print parentheses in (A->B)->CFlorian Angeletti2019-09-021-6/+9
* | Merge pull request #8904 from Octachron/break_for_functor_argsFlorian Angeletti2019-08-301-2/+2
|\ \
View Lorry Controller Status