diff options
| author | Hugo Herbelin | 2020-09-05 15:37:15 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-11-16 20:08:26 +0100 |
| commit | 22c8fcfcfff8000863b374b4c51fb50d9a7ac7c2 (patch) | |
| tree | 679d8c71ea08fffe0d3d450b69961a25d30edc88 /clib/cArray.mli | |
| parent | 04b25a7635e796ad05ef7db537883594a5144a56 (diff) | |
Fixing alpha-equality of notation interpretations with recursive patterns.
The name bound in binders were not checked up to alpha-equivalence,
nor were the names binding the recursive patterns.
Diffstat (limited to 'clib/cArray.mli')
0 files changed, 0 insertions, 0 deletions