diff options
Diffstat (limited to 'test/idx_inc.blc.dump')
| -rw-r--r-- | test/idx_inc.blc.dump | 55 |
1 files changed, 55 insertions, 0 deletions
diff --git a/test/idx_inc.blc.dump b/test/idx_inc.blc.dump new file mode 100644 index 0000000..bede771 --- /dev/null +++ b/test/idx_inc.blc.dump @@ -0,0 +1,55 @@ +[DEBUG] reading from inc.blc +[DEBUG] referring head of 71eb +[DEBUG] referring head of 76e3 +[DEBUG] reducing... +[DEBUG] queue size: 1 + +--- +Map dump: +type refs hash term parents +1 1 bc00 [[1]] {([[1]] [1]), } +1 1 d5b2 [([[1]] [1])] {} +1 2 76e3 [1] {[[1]], ([[1]] [1]), } +2 1 49e4 ([[1]] [1]) {[([[1]] [1])], } +3 2 71eb 1 {[1], } +--- + +[DEBUG] reducing 49e4 +[DEBUG] substituting bc00 with 76e3 +[DEBUG] substituting 76e3 with 76e3 +[DEBUG] substituting 71eb with 76e3 +[DEBUG] shifting 76e3 +[DEBUG] shifting 71eb +[DEBUG] rehashing var 71eb (2) +[DEBUG] dereferring head of 71eb +[DEBUG] dereferring head of 71eb +[DEBUG] rehashing abs 76e3 (ccd5) +[DEBUG] dereferring head of 76e3 +[DEBUG] rehashing abs 76e3 (e935) +[DEBUG] dereferring head of 76e3 +[DEBUG] rehashing parents of 276f +[DEBUG] rehashing abs bc00 (276f) +[DEBUG] dereferring head of bc00 +[DEBUG] destroying head of bc00 +[DEBUG] destroying head of 49e4 +[DEBUG] destroying head of d5b2 +[DEBUG] rehashing parents of ae76 +[DEBUG] no more redexes! + +--- +Map dump: +type refs hash term parents +1 1 76e3 [1] {} +3 1 ccd5 2 {[2], } +1 1 e935 [2] {[[2]], } +1 1 ae76 [[[2]]] {} +3 1 71eb 1 {[1], } +1 1 276f [[2]] {[[[2]]], } +--- + +[DEBUG] destroying head of 76e3 +[DEBUG] destroying head of ccd5 +[DEBUG] destroying head of e935 +[DEBUG] destroying head of 276f +[DEBUG] destroying head of ae76 +[DEBUG] destroying head of 71eb |