diff options
| author | Hugo Herbelin | 2016-08-20 16:52:12 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2018-09-27 22:36:12 +0200 |
| commit | 7cf8be66f4215dabb1c072c589299283e4134d4c (patch) | |
| tree | 5eb1d78dd00b8b7ae95d478e148010dc292d1a2f /plugins/syntax/string_syntax.ml | |
| parent | af622fc60e42ee40c83b4e2b744b8212616b681d (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 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions