diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-08-20 16:52:12 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-09-26 19:47:04 +0200 |
| commit | 2422aeb2b59229891508f35890653a9737988c00 (patch) | |
| tree | 5dcce45254307a0914070e0862417ce66e79cc54 /test-suite/complexity | |
| 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 'test-suite/complexity')
0 files changed, 0 insertions, 0 deletions