diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-01-10 01:14:24 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2026-03-14 12:02:38 +0100 |
| commit | 7e729546de2cf182377fbdf15daeefb44e7a41a1 (patch) | |
| tree | 56e5a228e5ca3d523ed8b6b928f34562cd40f3dc /src/Data/Array/Nested/Mixed/Shape | |
| parent | 8c27d35a43a18c7c169ea67ba131b94f10c4b25b (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/Mixed/Shape')
0 files changed, 0 insertions, 0 deletions