blob: bede771188931e4c0ddb2f4024d38b6e53eec107 (
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
46
47
48
49
50
51
52
53
54
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
|
