diff options
| author | Pierre-Marie Pédrot | 2021-01-07 00:18:16 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2021-01-12 13:20:29 +0100 |
| commit | b721752d10969dc70eb21ddad9d794042ea34c59 (patch) | |
| tree | 4cb82b137264022463461e01407b31ddf28551a2 /plugins/syntax/string_notation.ml | |
| parent | 71b5649acf83acb3fe6f1c5ddc468d5c504b7983 (diff) | |
Slight tweak of the matching algorithm for PIf vs. Case.
It is equivalent but makes the code more similar to the PCase vs. Case case (aha).
Diffstat (limited to 'plugins/syntax/string_notation.ml')
0 files changed, 0 insertions, 0 deletions