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/indent-code.el.in | |
| parent | 90354e34e386b21451e0b6dab87ff5d9e81a94ae (diff) | |
| download | guix-d1f01e48457f8cac9e64fb9f890332d5d93f430e.tar guix-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/indent-code.el.in')
0 files changed, 0 insertions, 0 deletions