diff options
| author | Hugo Herbelin | 2016-08-20 17:13:58 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2018-09-27 22:36:12 +0200 |
| commit | 29f749d87aebb8226bb9da624c57f83942881a99 (patch) | |
| tree | ad12862959d1767c27bc43dd90bf3557324ab83f /kernel/type_errors.ml | |
| parent | 7cf8be66f4215dabb1c072c589299283e4134d4c (diff) | |
Trying an abstracting dependencies heuristic for the match return clause even when no type constraint is given.
This no-inversion and maximal abstraction over dependencies in (rel)
variables heuristic was used only when a type constraint was given.
By doing so, we ensure that all three strategies "inversion with
dependencies as evars", "no-inversion and maximal abstraction over
dependencies in (rel) variables", "no-inversion and no abstraction
over dependencies" are tried in all situations where a return clause
has to be inferred.
See penultimate commit for discussion.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions