diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-12-13 14:59:48 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-12-13 23:11:53 +0100 |
commit | d1f01e48457f8cac9e64fb9f890332d5d93f430e (patch) | |
tree | b819406500ff056fb5e4af81a5a8d3fe30d7cba7 /etc | |
parent | 90354e34e386b21451e0b6dab87ff5d9e81a94ae (diff) | |
download | guix-patches-d1f01e48457f8cac9e64fb9f890332d5d93f430e.tar guix-patches-d1f01e48457f8cac9e64fb9f890332d5d93f430e.tar.gz |
memoization: Add 'invalidate-memoization!.
* guix/memoization.scm (%make-hash-table*): When not profiling, add the
new table to %MEMOIZATION-TABLES.
(invalidate-memoization!): New procedure.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions