summaryrefslogtreecommitdiff
path: root/typing/typetexp.ml
Commit message (Expand)AuthorAgeFilesLines
* [internal refactor] minor tweaking (#9792)Hongbo Zhang2020-07-261-8/+1
* pattern aliases do not ignore type constraints (#1655)Thomas Refis2020-07-091-1/+9
* Merge pull request #9185 from hhugo/fix-unused-openFlorian Angeletti2020-01-101-1/+3
* Avoid duplicated mark_loopsFlorian Angeletti2019-10-171-3/+0
* fix issue #8792 and replace log_type by set_type_desc in Btype (#9018)Jacques Garrigue2019-10-051-2/+2
* Refactor environment lookup functionsLeo White2019-08-151-269/+8
* #8702: fix some polymorphic variant error messages (#8777)Florian Angeletti2019-07-121-5/+6
* Use newtype names as the underlying variable names (#2277)Matthew Ryan2019-03-261-2/+5
* Remove positions from pathsLeo White2018-11-211-5/+5
* "Alerts" as a generalization of "deprecated" (#1804)Alain Frisch2018-11-151-6/+6
* Move variable printer to Pprintastalainfrisch2018-11-061-2/+2
* Fix printing of type variables with a quote on 2nd characteralainfrisch2018-11-061-3/+3
* a type for unification tracesFlorian Angeletti2018-10-171-10/+10
* improved messages after reviewFlorian Angeletti2018-10-121-3/+6
* rewording for "constructor has no type" errorFlorian Angeletti2018-10-121-1/+4
* Merge pull request #1903 from gasche/add-locations-to-all-attributed-nodesGabriel Scherer2018-08-221-8/+18
|\
| * parsetree.{row,object}_field: move attributes in the wrapper recordGabriel Scherer2018-08-201-9/+11
| * parsetree: make sure that all nodes that store attributes also store a locationGabriel Scherer2018-08-201-3/+11
* | restore type_variableFlorian Angeletti2018-08-221-0/+6
* | contextualization for unbound type variable errorFlorian Angeletti2018-08-221-10/+5
* | Expanded error message for universal quantification failure (#1993)Florian Angeletti2018-08-201-5/+9
|/
* Location: significantly rework the code printing errors and warningsArmaël Guéneau2018-08-081-1/+1
* Just some tbl things. (#1699)Gabriel Radanne2018-07-231-22/+25
* New attempt at fixing MPR#7726 (#1676)Jacques Garrigue2018-07-131-0/+6
* PR#6416 et al.: injective mapping between identifiers and printed names (#1120)Florian Angeletti2018-06-261-2/+2
* Whitespace and overlong line fixes.David Allsopp2018-06-141-1/+2
* Minor rewordingArmaël Guéneau2018-05-061-1/+1
* Add a breakable space to the "missing rec" hint messageArmaël Guéneau2018-05-061-2/+3
* Reword the "missing rec hint" to be less assertiveArmaël Guéneau2018-05-061-2/+2
* Allow spellchecking in case of missing rec hintArmaël Guéneau2018-05-061-0/+10
* Fix fold_values in presence of ghost identifiersArmaël Guéneau2018-05-061-1/+10
* Fix MPR#7751 (#1657)Jacques Garrigue2018-03-271-2/+2
* we don't need an env to take instances anymoreThomas Refis2018-02-271-9/+5
* report nice errors for applicative functors in all casesValentin Gatien-Baron2017-12-121-25/+39
* reject the use of generative functors as applicative (MPR#7611)Valentin Gatien-Baron2017-12-121-14/+17
* try to clarify what the subtyping error is aboutValentin Gatien-Baron2017-12-121-6/+11
* Improve error reporting for ill-typed applicative functor type, F(M).tValentin Gatien-Baron2017-12-121-14/+28
* Generalize Env.lookup_* functions to allow disabling markingArmaël Guéneau2017-11-131-2/+2
* Be more future proof w.r.t. supporting attributes on type parameters.alainfrisch2017-09-121-0/+7
* Continue.alainfrisch2017-09-121-2/+8
* Support ocaml.attribute in type and pattern expressions.alainfrisch2017-09-121-0/+4
* Merge branch 'trunk' into object-inheritRunhang Li2017-05-221-2/+2
|\
| * Merge pull request #1138 from alainfrisch/pr7444_deprecated_warning_upon_incl...Alain Frisch2017-05-151-2/+2
| |\
| | * Deprecation warning when checking signature inclusionalainfrisch2017-04-051-2/+2
| * | Fixed grammar in error messagesMax Mouratov2017-04-061-1/+1
| |/
* | Correct error message, more tests.Runhang Li2017-03-281-2/+1
* | Unify, rather than copy.Runhang Li2017-03-261-51/+60
* | Fix bug when handling empty object type expRunhang Li2017-03-231-1/+2
* | Merge branch 'trunk' into object-inheritRunhang Li2017-03-221-1/+2
|\ \ | |/
| * Fix PR#6124Jacques Garrigue2017-03-141-1/+2
View Lorry Controller Status