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-12 18:45:16 +0100 |
| commit | 6959b7e4769289983f008d558a71fe0dd2e3d279 (patch) | |
| tree | d9143abeb0852dfe5084017c82f2bb7df63407e6 /src/Data/Vector/Generic/Checked.hs | |
| parent | 53221892788fdc02f21a00f3026ab17f5696490e (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/Vector/Generic/Checked.hs')
0 files changed, 0 insertions, 0 deletions