diff options
| author | Alasdair | 2020-06-05 15:03:39 +0100 |
|---|---|---|
| committer | Alasdair | 2020-06-05 15:03:39 +0100 |
| commit | 17a2c725ace3b2382582915a02b9b4c64f4d167d (patch) | |
| tree | 3da196f1af4defac5693d2ab3b21cddfd06dc01d /src/slice.mli | |
| parent | 0c324b359e156099b0c3015816f644fa90f455a7 (diff) | |
Generate nice error messages for patterns woth duplicate bindings
Diffstat (limited to 'src/slice.mli')
0 files changed, 0 insertions, 0 deletions