diff options
| author | Jon French | 2018-10-01 16:19:47 +0100 |
|---|---|---|
| committer | Jon French | 2018-10-01 16:19:47 +0100 |
| commit | 10381b8ac556e2711af6516d0beade4ad923aa81 (patch) | |
| tree | 086853f0d0af4f528de3b3b1e15138679e827efb /src/value2.lem | |
| parent | 3f319cf9d0ee915ef9236187733462b870f3cddf (diff) | |
New rewriting pass toplevel_string_append
Handles the common case of a single level string append pattern in a
way designed to be friendlier to Coq etc, by generating an auxiliary
function for each pattern rather than emitting a massive nested
pattern match twice.
Diffstat (limited to 'src/value2.lem')
0 files changed, 0 insertions, 0 deletions