diff options
| author | Nadrieril | 2020-11-02 03:47:15 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-11-03 23:18:58 +0000 |
| commit | 9e8ae42b2742e27a70a7fb8ea79ae21060d43fc1 (patch) | |
| tree | fadbca8531f19eeafa80550ebd1e62d891a8f3e1 /dhall/src/syntax/binary | |
| parent | 055e70f52bb0d8740ce6ac00b98ae856c29642b2 (diff) | |
Normalize `with` by mutation.
This is Cow-style mutation: we clone only what's shared and then mutate
it. This it more legible and more efficient than the immutable version.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions