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 /scripts/nix-pull.in | |
| 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 'scripts/nix-pull.in')
0 files changed, 0 insertions, 0 deletions