@@ -16,6 +16,8 @@ occurrences information.
16
16
$ odoc compile -- count-occurrences -I . main__A. cmt
17
17
$ odoc compile -- count-occurrences -I . main__C. cmt
18
18
$ odoc compile -- count-occurrences -I . main__B. cmt
19
+ File " main__B.cmt" :
20
+ Warning: Failed to compile expansion for class (root Main__B). ct
19
21
$ odoc compile -- count-occurrences -I . main__. cmt
20
22
$ odoc compile -- count-occurrences -I . main. cmt
21
23
@@ -68,10 +70,11 @@ A only uses "persistent" values: one it defines itself.
68
70
69
71
" Aliased" values are not counted since they become persistent
70
72
$ occurrences_print occurrences-main__B. odoc | sort
71
- Main was used directly 0 times and indirectly 7 times
72
- Main. A was used directly 2 times and indirectly 5 times
73
+ Main was used directly 0 times and indirectly 8 times
74
+ Main. A was used directly 2 times and indirectly 6 times
73
75
Main. A. (|| > ) was used directly 1 times and indirectly 0 times
74
76
Main. A. M was used directly 2 times and indirectly 0 times
77
+ Main. A. ct was used directly 1 times and indirectly 0 times
75
78
Main. A. t was used directly 1 times and indirectly 0 times
76
79
Main. A. x was used directly 1 times and indirectly 0 times
77
80
@@ -92,10 +95,11 @@ Now we can merge all tables
92
95
93
96
$ occurrences_print occurrences-aggregated. odoc | sort > all_merged
94
97
$ cat all_merged
95
- Main was used directly 0 times and indirectly 11 times
96
- Main. A was used directly 4 times and indirectly 6 times
98
+ Main was used directly 0 times and indirectly 12 times
99
+ Main. A was used directly 4 times and indirectly 7 times
97
100
Main. A. (|| > ) was used directly 1 times and indirectly 0 times
98
101
Main. A. M was used directly 2 times and indirectly 0 times
102
+ Main. A. ct was used directly 1 times and indirectly 0 times
99
103
Main. A. t was used directly 1 times and indirectly 0 times
100
104
Main. A. x was used directly 2 times and indirectly 0 times
101
105
Main. B was used directly 1 times and indirectly 0 times
@@ -110,10 +114,11 @@ We can also include hidden ids:
110
114
111
115
$ odoc count-occurrences -I main__B -o occurrences-b. odoc -- include-hidden
112
116
$ occurrences_print occurrences-b. odoc | sort
113
- Main was used directly 0 times and indirectly 7 times
114
- Main. A was used directly 2 times and indirectly 5 times
117
+ Main was used directly 0 times and indirectly 8 times
118
+ Main. A was used directly 2 times and indirectly 6 times
115
119
Main. A. (|| > ) was used directly 1 times and indirectly 0 times
116
120
Main. A. M was used directly 2 times and indirectly 0 times
121
+ Main. A. ct was used directly 1 times and indirectly 0 times
117
122
Main. A. t was used directly 1 times and indirectly 0 times
118
123
Main. A. x was used directly 1 times and indirectly 0 times
119
124
Main__ was used directly 0 times and indirectly 2 times
@@ -122,10 +127,11 @@ We can also include hidden ids:
122
127
123
128
$ odoc count-occurrences -I . -o occurrences-all. odoc -- include-hidden
124
129
$ occurrences_print occurrences-all. odoc | sort
125
- Main was used directly 0 times and indirectly 11 times
126
- Main. A was used directly 4 times and indirectly 6 times
130
+ Main was used directly 0 times and indirectly 12 times
131
+ Main. A was used directly 4 times and indirectly 7 times
127
132
Main. A. (|| > ) was used directly 1 times and indirectly 0 times
128
133
Main. A. M was used directly 2 times and indirectly 0 times
134
+ Main. A. ct was used directly 1 times and indirectly 0 times
129
135
Main. A. t was used directly 1 times and indirectly 0 times
130
136
Main. A. x was used directly 2 times and indirectly 0 times
131
137
Main. B was used directly 1 times and indirectly 0 times
0 commit comments