diff options
Diffstat (limited to 'test/idx_open.blc.dump')
| -rw-r--r-- | test/idx_open.blc.dump | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/test/idx_open.blc.dump b/test/idx_open.blc.dump new file mode 100644 index 0000000..94a265b --- /dev/null +++ b/test/idx_open.blc.dump @@ -0,0 +1,45 @@ +[DEBUG] reading from open.blc +[DEBUG] reducing... +[DEBUG] queue size: 1 + +--- +Map dump: +type refs hash term parents +1 1 bc00 [[1]] {([4] [[1]]), } +1 1 7573 [4] {([4] [[1]]), } +1 1 76e3 [1] {[[1]], } +1 1 3418 [([4] [[1]])] {} +3 1 71eb 1 {[1], } +3 1 c8dd 4 {[4], } +2 1 8cde ([4] [[1]]) {[([4] [[1]])], } +--- + +[DEBUG] reducing 8cde +[DEBUG] substituting 7573 with bc00 +[DEBUG] substituting c8dd with bc00 +[DEBUG] shifting c8dd +[DEBUG] rehashing var c8dd (3) +[DEBUG] dereferring head of c8dd +[DEBUG] dereferring head of 71eb +[DEBUG] destroying head of 71eb +[DEBUG] destroying head of 76e3 +[DEBUG] destroying head of bc00 +[DEBUG] destroying head of 8cde +[DEBUG] destroying head of 3418 +[DEBUG] rehashing abs 7573 (5f3e) +[DEBUG] dereferring head of 7573 +[DEBUG] destroying head of 7573 +[DEBUG] rehashing parents of f80c +[DEBUG] dereferring head of c8dd +[DEBUG] destroying head of c8dd +[DEBUG] no more redexes! + +--- +Map dump: +type refs hash term parents +1 1 f80c [3] {} +3 1 5f3e 3 {[3], } +--- + +[DEBUG] destroying head of f80c +[DEBUG] destroying head of 5f3e |