diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-10-22T15·51+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-10-22T15·51+0000 |
commit | 4dee289550d11950d6d17482484061a4792b2eef (patch) | |
tree | 6a74fdca1b9c4737ae9267007f2be7aabcdfa636 /src/libexpr/common-opts.hh | |
parent | cf7e645a48a31e04428778a8d39924a3da8a30f8 (diff) |
* In environments, store pointers to values rather than values. This
improves GC effectiveness a bit more (because a live value doesn't keep other values in the environment plus the parent environments alive), and removes the need for copy nodes.
Diffstat (limited to 'src/libexpr/common-opts.hh')
0 files changed, 0 insertions, 0 deletions