blob: 94a265b871dad81c3d66be4f20912d03162eca88 (
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 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
|
