aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorPierre-Marie Pédrot2020-10-19 15:44:19 +0200
committerPierre-Marie Pédrot2020-10-19 15:48:28 +0200
commitdcb325fd6ef432cd3717264c1547b94c7da2f396 (patch)
tree1c9ee2c194bcf6fa15964c3b1d8617c831742610 /dev
parent48319ad16a7bff94c3bcfabb37181daa55b568c4 (diff)
Restore the List.Smart.map original implementation.
Commit 56ff0c9 mangled the code claiming to make it tail-rec, but this is not the case. In addition to make the code convoluted it also over-allocates for nothing and breaks the write barrier for fun. We simply rollback to the (slightly cleaned-up) previous code, that was simpler, likely faster, and as much tail-rec as the one introduced in 56ff0c9.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions