diff options
| author | Hugo Herbelin | 2016-08-20 16:52:12 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-09-26 19:47:04 +0200 |
| commit | 2422aeb2b59229891508f35890653a9737988c00 (patch) | |
| tree | 5dcce45254307a0914070e0862417ce66e79cc54 /kernel | |
| parent | 980b434552d73cb990860f8d659b64686f6dbc87 (diff) | |
Trying a no-inversion no-dependency heuristic for match return clause.
The no-inversion no-dependency heuristic was used only in the absence
of type constraint. We may now use it also in the presence of a type
constraint.
See previous commit for discussion.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions