diff options
Diffstat (limited to 'test/idx_simple.blc.dump')
| -rw-r--r-- | test/idx_simple.blc.dump | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/test/idx_simple.blc.dump b/test/idx_simple.blc.dump new file mode 100644 index 0000000..2adc459 --- /dev/null +++ b/test/idx_simple.blc.dump @@ -0,0 +1,45 @@ +[DEBUG] reading from simple.blc +[DEBUG] reducing... +[DEBUG] queue size: 1 + +--- +Map dump: +type refs hash term parents +1 1 bc00 [[1]] {([0] [[1]]), } +1 1 76e3 [1] {[[1]], } +2 1 4db9 ([0] [[1]]) {[([0] [[1]])], } +1 1 180b [0] {([0] [[1]]), } +3 1 71eb 1 {[1], } +1 1 4e2b [([0] [[1]])] {} +3 1 b2bf 0 {[0], } +--- + +[DEBUG] reducing 4db9 +[DEBUG] substituting 180b with bc00 +[DEBUG] substituting b2bf with bc00 +[DEBUG] shifting bc00 +[DEBUG] shifting 76e3 +[DEBUG] shifting 71eb +[DEBUG] rehashing abs 180b (bc00) +[DEBUG] dereferring head of 180b +[DEBUG] destroying head of 180b +[DEBUG] destroying head of 4db9 +[DEBUG] destroying head of 4e2b +[DEBUG] rehashing parents of 7deb +[DEBUG] dereferring head of b2bf +[DEBUG] destroying head of b2bf +[DEBUG] no more redexes! + +--- +Map dump: +type refs hash term parents +1 1 bc00 [[1]] {[[[1]]], } +1 1 76e3 [1] {[[1]], } +3 1 71eb 1 {[1], } +1 1 7deb [[[1]]] {} +--- + +[DEBUG] destroying head of bc00 +[DEBUG] destroying head of 7deb +[DEBUG] destroying head of 76e3 +[DEBUG] destroying head of 71eb |