diff options
| author | Christopher Pulte | 2015-09-25 20:01:38 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2015-09-25 20:01:38 +0100 |
| commit | 34edf91429ac93486dadc94837178aaf3abbacc0 (patch) | |
| tree | 4ed092dc425b01cde801fd932ec99654692f6516 /src/reporting_basic.mli | |
| parent | 1414275463ec18adbb638f27fcf5f41450164b6d (diff) | |
added something for remove_vector_string_patterns that for a give pattern-match expression produces one without vector_concat patterns, plus a list of variable bindings for slices of the vector. Not finished yet
Diffstat (limited to 'src/reporting_basic.mli')
0 files changed, 0 insertions, 0 deletions