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 /HACKING | |
| parent | 03870da81922ccb6cc1a91976487f2d3f7da0d81 (diff) | |
| download | 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 'HACKING')
0 files changed, 0 insertions, 0 deletions