diff options
| author | Pierre-Marie Pédrot | 2018-10-23 14:06:37 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-10-29 17:47:15 +0100 |
| commit | 9ead21a38feae29fdde11344de326de86bfe8ad9 (patch) | |
| tree | 4eefa4e5f04eda85bc0b77330466ac20e4347415 /clib/cArray.ml | |
| parent | c7e32090dc4f2b940a54ff9aa64a63fda6e24c50 (diff) | |
Do not box fconstr closures in pattern-match branches.
They are only used once, thus it is completely useless to reallocate arrays
that are going to be destructed immediately.
Diffstat (limited to 'clib/cArray.ml')
0 files changed, 0 insertions, 0 deletions