diff options
| author | Guillaume Bouchard <guillaume.bouchard@tweag.io> | 2020-04-29 18:44:01 +0200 |
|---|---|---|
| committer | Guillaume Bouchard <guillaume.bouchard@tweag.io> | 2020-04-29 18:44:01 +0200 |
| commit | 2e5be2a7495ac0b204454c74664e590a38d039d3 (patch) | |
| tree | 3e2797c7a07bc4fd22559e1c83d3f0c84e2dc73a /tests/nix-shell.sh | |
| parent | 7afcb5af988eb0ce73c9916b809f8528dfb14c0f (diff) | |
StringSink pre allocate
When used with `readFile`, we have a pretty good heuristic of the file
size, so `reserve` this in the `string`. This will save some allocation
/ copy when the string is growing.
Diffstat (limited to 'tests/nix-shell.sh')
0 files changed, 0 insertions, 0 deletions