diff options
| author | Pierre-Marie Pédrot | 2020-07-17 20:23:18 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-07-17 20:27:51 +0200 |
| commit | ebf809d37ca18973a40e28945d655f2450ac5442 (patch) | |
| tree | 58787266fd994f19a5690258752e5faf594d95cf /kernel/vmbytecodes.ml | |
| parent | 78689c1433c8185e137f9b2212bef37a7a1202f3 (diff) | |
Do not store the full environment inside ssr ast_closure_term.
Apart from being verboten to marshal Environ.env, this should use much less
memory on-disk.
Fixes #12707.
Diffstat (limited to 'kernel/vmbytecodes.ml')
0 files changed, 0 insertions, 0 deletions