diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-01-10 01:14:24 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-02-12 10:16:29 +0100 |
| commit | cd3baf1c529434f8d917a9eb74c5710fef480cdc (patch) | |
| tree | 519f4d3246066d34a5b3e2a1bf29cd276120cd98 /src/Data/Array/Nested/Trace | |
| parent | 832d9fb15b1d738c81f347b892d2af3b7663cafb (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 'src/Data/Array/Nested/Trace')
0 files changed, 0 insertions, 0 deletions