diff options
| author | Hugo Herbelin | 2016-08-20 17:13:58 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-09-26 19:47:04 +0200 |
| commit | 292f365185b7acdee79f3ff7b158551c2764c548 (patch) | |
| tree | 1a6503386359d814705a740cd022a4cf041f7d82 /kernel | |
| parent | 2422aeb2b59229891508f35890653a9737988c00 (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')
0 files changed, 0 insertions, 0 deletions