diff options
| author | Kathy Gray | 2014-07-03 12:54:24 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-07-03 12:54:24 +0100 |
| commit | 03c3fa3277bf98739152749e6b93c2f8202bc1e5 (patch) | |
| tree | e7047d7ec5268f2680b523329ecd960496987470 /src/reporting_basic.ml | |
| parent | 260d87c94c1b794265f30406b25ae6a01845b3c9 (diff) | |
Adjust behavior on Unknown values in pattern match to stop matching as soon as a pattern is matched without using an unknown; also causes full expansion on function calls with unknowns matched in patterns, however the local state is not reset.
Diffstat (limited to 'src/reporting_basic.ml')
0 files changed, 0 insertions, 0 deletions