diff options
author | volth <volth@webmaster.ms> | 2018-07-21T06·44+0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-21T06·44+0000 |
commit | e2b114cfe19c28bfd9fe95e1aa97aa154b904002 (patch) | |
tree | fd4d6364409394f8df1cd42a39cfb3cd4b9e76e7 /COPYING | |
parent | 1b34b69b45106e5bfdbdc0201d3ff4dcd36632f0 (diff) |
prim_foldlStrict: call forceValue() before value is copied
forceValue() were called after a value is copied effectively forcing only one of the copies keeping another copy not evaluated. This resulted in its evaluation of the same lazy value more than once (the number of hits is not big though)
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions