diff options
| author | Pierre-Marie Pédrot | 2020-10-19 15:44:19 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-10-19 15:48:28 +0200 |
| commit | dcb325fd6ef432cd3717264c1547b94c7da2f396 (patch) | |
| tree | 1c9ee2c194bcf6fa15964c3b1d8617c831742610 /dev | |
| parent | 48319ad16a7bff94c3bcfabb37181daa55b568c4 (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
