blob: 2adc4599c6dcfe384926628b4a1ee50a62e5a9cd (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
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
|
