diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-01-10 01:14:24 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-01-31 13:45:30 +0100 |
| commit | 60252c22404be85e1e20555140ca94efd0e7a22d (patch) | |
| tree | 9257b21c5014aa19fc5a406b8c9add4e89840ff3 /ops/Data/Array | |
| parent | 6daf7ceba444d0b4d855feb898acc9b62ad3267e (diff) | |
Don't force a list of identical elements
This makes a big difference when a pair of lists is attempted
to be streamed and the first one is of trivial primitive elements
(e.g., when implementing a fold as a special case of mapAccum with
the output list containing only ()). Forcing the first trivial list
would cause the second non-trivial list to be represented as nested
thunks, burdening GC greatly.
Diffstat (limited to 'ops/Data/Array')
0 files changed, 0 insertions, 0 deletions