diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-05-03T17·29+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-05-03T17·29+0000 |
| commit | 052cefe1bdb6be0257ef2f1c1f128b7e635814ed (patch) | |
| tree | a02dbb5bfccab86f7f7ddf4f9dddbc8d3e0f9e7f /scripts/nix-collect-garbage.in | |
| parent | d300b4383dabb007db08c7165fb327c12dbe8e71 (diff) | |
* Started hacking on a ATermTable replacement, since ATermTable uses
gigantic amounts of memory --- 65536 bytes per table at least --- which makes it unsuitable for representing short-lived substitution tables and attribute sets.
Diffstat (limited to 'scripts/nix-collect-garbage.in')
0 files changed, 0 insertions, 0 deletions