diff options
| author | Robert Norton | 2018-05-25 17:40:35 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-05-25 17:41:11 +0100 |
| commit | bb12ef5feff3976eb8dc37096a355f74a6ff5c7e (patch) | |
| tree | 6aae1aeaf98ae64856b9faf77942fb39efa1b517 /lib | |
| parent | 7f53f17643244cd0cdacf1b9df3555c3154497fe (diff) | |
Use paged memory storage for ocaml backend memory. This is slightly slower (<5% on a simple test) but dramatically reduces memory usage compared to having a hash table entry per byte!
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions