about summary refs log tree commit diff
path: root/aterm-gc.supp
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-02-18T13·48+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-02-18T13·48+0000
commita053d2d8e53f2967c64ab2b204727e4c27f06c0e (patch)
tree31e40ad0c7777ee4782ffb5accd7097128877c55 /aterm-gc.supp
parentdbddac0fe91072b402ccb3801c952e3159f0cba4 (diff)
* Add the deriver to the ValidPaths table. In principle we could now
  store all the derivers of a path efficiently.  But that opens a big
  can of worms with respect to garbage collector semantics.

Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions