diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-12-11 21:43:54 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-12-12 18:11:22 +0100 |
| commit | 252c4083779a488c86e74362b4f3bb4bf927cc67 (patch) | |
| tree | ec4e542b39bcb2d1d821a7b76aab37979e64ed51 /graph.js | |
| parent | 03870da81922ccb6cc1a91976487f2d3f7da0d81 (diff) | |
| download | gnu-guix-252c4083779a488c86e74362b4f3bb4bf927cc67.tar gnu-guix-252c4083779a488c86e74362b4f3bb4bf927cc67.tar.gz | |
memoization: Add profiling support.
* guix/memoization.scm (%memoization-tables): New variable.
(%make-hash-table*, show-memoization-tables): New procedures.
(make-hash-table*): New macro.
Add top-level call to 'register-profiling-hook!'.
(memoize): Adjust to pass the resulting procedure to
'make-hash-table*'.
(%mlambda): Likewise.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions