Skip to content

Commit b9e3081

Browse files
committed
[examples][dune] add tests for module type inclusion
It is not uncommon to use a `.ml` (without `.mli`) to expose module types and include these in other module's `.mli`. The new tests specifically target this pattern with a toplevel `include`
1 parent 9c69ca1 commit b9e3081

File tree

19 files changed

+144
-14
lines changed

19 files changed

+144
-14
lines changed

check/classic/classic.exp

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,7 @@
1010
./examples/using_dune/unwrapped_lib/opt_args/opt_args.mli:12: internally_used_fun_with_single_sometimes_used_opt_arg
1111

1212
./examples/using_dune/unwrapped_lib/values/builder_sig_api/bsa_api.ml:7: S.unused
13+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:2: S.unused
1314
./examples/using_dune/unwrapped_lib/values/values.mli:2: unused_int
1415
./examples/using_dune/unwrapped_lib/values/values.mli:3: internally_used_int
1516
./examples/using_dune/unwrapped_lib/values/values.mli:14: unused_fun
@@ -31,6 +32,7 @@
3132
./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:12: internally_used_fun_with_single_sometimes_used_opt_arg
3233

3334
./examples/using_dune/wrapped_lib/values/builder_sig_api/bsa_api.ml:7: S.unused
35+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:2: S.unused
3436
./examples/using_dune/wrapped_lib/values/values.mli:2: unused_int
3537
./examples/using_dune/wrapped_lib/values/values.mli:3: internally_used_int
3638
./examples/using_dune/wrapped_lib/values/values.mli:14: unused_fun

check/classic/classic.ref

Lines changed: 9 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,9 @@
1111

1212
./examples/using_dune/unwrapped_lib/values/builder_sig_api/bsa_api.ml:7: S.unused: Not detected
1313
./examples/using_dune/unwrapped_lib/values/builder_sig_api/bsa_api.ml:7: unused: Should not be detected
14+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:2: S.unused: Not detected
15+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:2: unused: Should not be detected
16+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:2: unused: Should not be detected
1417
./examples/using_dune/unwrapped_lib/values/values.mli:2: unused_int
1518
./examples/using_dune/unwrapped_lib/values/values.mli:3: internally_used_int
1619
./examples/using_dune/unwrapped_lib/values/values.mli:14: unused_fun
@@ -34,6 +37,9 @@
3437
./examples/using_dune/wrapped_lib/values/builder_sig_api/bsa_api.ml:7: S.unused: Not detected
3538
./examples/using_dune/wrapped_lib/values/builder_sig_api/bsa_api.ml:7: unused: Should not be detected
3639
./examples/using_dune/wrapped_lib/values/builder_sig_api/bsa_api.ml:7: unused: Should not be detected
40+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:2: S.unused: Not detected
41+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:2: unused: Should not be detected
42+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:2: unused: Should not be detected
3743
./examples/using_dune/wrapped_lib/values/values.mli:2: unused_int
3844
./examples/using_dune/wrapped_lib/values/values.mli:3: internally_used_int
3945
./examples/using_dune/wrapped_lib/values/values.mli:14: unused_fun
@@ -538,7 +544,7 @@ Nothing else to report in this section
538544
--------------------------------------------------------------------------------
539545

540546

541-
Total: 465
547+
Total: 471
542548
Success: 460
543-
Failed: 5
544-
Ratio: 98.9247311828%
549+
Failed: 11
550+
Ratio: 97.6645435244%

check/internal/internal.exp

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,7 @@
66
./examples/using_dune/unwrapped_lib/opt_args/opt_args.mli:1: unused_fun_with_single_never_used_opt_arg
77

88
./examples/using_dune/unwrapped_lib/values/builder_sig_api/bsa_api.ml:7: S.unused
9+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:2: S.unused
910
./examples/using_dune/unwrapped_lib/values/values.mli:2: unused_int
1011
./examples/using_dune/unwrapped_lib/values/values.mli:14: unused_fun
1112
./examples/using_dune/unwrapped_lib/values/values.mli:20: unused_alias_fun
@@ -20,6 +21,7 @@
2021
./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:1: unused_fun_with_single_never_used_opt_arg
2122

2223
./examples/using_dune/wrapped_lib/values/builder_sig_api/bsa_api.ml:7: S.unused
24+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:2: S.unused
2325
./examples/using_dune/wrapped_lib/values/values.mli:2: unused_int
2426
./examples/using_dune/wrapped_lib/values/values.mli:14: unused_fun
2527
./examples/using_dune/wrapped_lib/values/values.mli:20: unused_alias_fun

check/internal/internal.ref

Lines changed: 9 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,9 @@
77

88
./examples/using_dune/unwrapped_lib/values/builder_sig_api/bsa_api.ml:7: S.unused: Not detected
99
./examples/using_dune/unwrapped_lib/values/builder_sig_api/bsa_api.ml:7: unused: Should not be detected
10+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:2: S.unused: Not detected
11+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:2: unused: Should not be detected
12+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:2: unused: Should not be detected
1013
./examples/using_dune/unwrapped_lib/values/values.mli:2: unused_int
1114
./examples/using_dune/unwrapped_lib/values/values.mli:14: unused_fun
1215
./examples/using_dune/unwrapped_lib/values/values.mli:20: unused_alias_fun
@@ -23,6 +26,9 @@
2326
./examples/using_dune/wrapped_lib/values/builder_sig_api/bsa_api.ml:7: S.unused: Not detected
2427
./examples/using_dune/wrapped_lib/values/builder_sig_api/bsa_api.ml:7: unused: Should not be detected
2528
./examples/using_dune/wrapped_lib/values/builder_sig_api/bsa_api.ml:7: unused: Should not be detected
29+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:2: S.unused: Not detected
30+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:2: unused: Should not be detected
31+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:2: unused: Should not be detected
2632
./examples/using_dune/wrapped_lib/values/values.mli:2: unused_int
2733
./examples/using_dune/wrapped_lib/values/values.mli:14: unused_fun
2834
./examples/using_dune/wrapped_lib/values/values.mli:20: unused_alias_fun
@@ -506,7 +512,7 @@ Nothing else to report in this section
506512
--------------------------------------------------------------------------------
507513

508514

509-
Total: 435
515+
Total: 441
510516
Success: 430
511-
Failed: 5
512-
Ratio: 98.8505747126%
517+
Failed: 11
518+
Ratio: 97.5056689342%

check/threshold-1/threshold-1.exp

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,7 @@
66
./examples/using_dune/unwrapped_lib/opt_args/opt_args.mli:1: unused_fun_with_single_never_used_opt_arg
77

88
./examples/using_dune/unwrapped_lib/values/builder_sig_api/bsa_api.ml:7: S.unused
9+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:2: S.unused
910
./examples/using_dune/unwrapped_lib/values/values.mli:2: unused_int
1011
./examples/using_dune/unwrapped_lib/values/values.mli:14: unused_fun
1112
./examples/using_dune/unwrapped_lib/values/values.mli:20: unused_alias_fun
@@ -20,6 +21,7 @@
2021
./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:1: unused_fun_with_single_never_used_opt_arg
2122

2223
./examples/using_dune/wrapped_lib/values/builder_sig_api/bsa_api.ml:7: S.unused
24+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:2: S.unused
2325
./examples/using_dune/wrapped_lib/values/values.mli:2: unused_int
2426
./examples/using_dune/wrapped_lib/values/values.mli:14: unused_fun
2527
./examples/using_dune/wrapped_lib/values/values.mli:20: unused_alias_fun
@@ -79,6 +81,7 @@
7981

8082
./examples/using_dune/bin/use_unwrapped_lib/use_builder_sig_api.mli:1: mark_used
8183
./examples/using_dune/bin/use_unwrapped_lib/use_constructors.mli:1: mark_used
84+
./examples/using_dune/bin/use_unwrapped_lib/use_include_modtype.mli:1: mark_used
8285
./examples/using_dune/bin/use_unwrapped_lib/use_mixed_args.mli:1: mark_used
8386
./examples/using_dune/bin/use_unwrapped_lib/use_opt_args.mli:1: mark_used
8487
./examples/using_dune/bin/use_unwrapped_lib/use_opt_args_in_higher_order_fun.mli:1: mark_used
@@ -94,6 +97,7 @@
9497

9598
./examples/using_dune/bin/use_wrapped_lib/use_builder_sig_api.mli:1: mark_used
9699
./examples/using_dune/bin/use_wrapped_lib/use_constructors.mli:1: mark_used
100+
./examples/using_dune/bin/use_wrapped_lib/use_include_modtype.mli:1: mark_used
97101
./examples/using_dune/bin/use_wrapped_lib/use_mixed_args.mli:1: mark_used
98102
./examples/using_dune/bin/use_wrapped_lib/use_opt_args.mli:1: mark_used
99103
./examples/using_dune/bin/use_wrapped_lib/use_opt_args_in_higher_order_fun.mli:1: mark_used

check/threshold-1/threshold-1.ref

Lines changed: 12 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,9 @@
77

88
./examples/using_dune/unwrapped_lib/values/builder_sig_api/bsa_api.ml:7: S.unused: Not detected
99
./examples/using_dune/unwrapped_lib/values/builder_sig_api/bsa_api.ml:7: unused: Should not be detected
10+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:2: S.unused: Not detected
11+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:2: unused: Should not be detected
12+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:2: unused: Should not be detected
1013
./examples/using_dune/unwrapped_lib/values/values.mli:2: unused_int
1114
./examples/using_dune/unwrapped_lib/values/values.mli:14: unused_fun
1215
./examples/using_dune/unwrapped_lib/values/values.mli:20: unused_alias_fun
@@ -23,6 +26,9 @@
2326
./examples/using_dune/wrapped_lib/values/builder_sig_api/bsa_api.ml:7: S.unused: Not detected
2427
./examples/using_dune/wrapped_lib/values/builder_sig_api/bsa_api.ml:7: unused: Should not be detected
2528
./examples/using_dune/wrapped_lib/values/builder_sig_api/bsa_api.ml:7: unused: Should not be detected
29+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:2: S.unused: Not detected
30+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:2: unused: Should not be detected
31+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:2: unused: Should not be detected
2632
./examples/using_dune/wrapped_lib/values/values.mli:2: unused_int
2733
./examples/using_dune/wrapped_lib/values/values.mli:14: unused_fun
2834
./examples/using_dune/wrapped_lib/values/values.mli:20: unused_alias_fun
@@ -82,6 +88,7 @@
8288

8389
./examples/using_dune/bin/use_unwrapped_lib/use_builder_sig_api.mli:1: mark_used
8490
./examples/using_dune/bin/use_unwrapped_lib/use_constructors.mli:1: mark_used
91+
./examples/using_dune/bin/use_unwrapped_lib/use_include_modtype.mli:1: mark_used
8592
./examples/using_dune/bin/use_unwrapped_lib/use_mixed_args.mli:1: mark_used
8693
./examples/using_dune/bin/use_unwrapped_lib/use_opt_args.mli:1: mark_used
8794
./examples/using_dune/bin/use_unwrapped_lib/use_opt_args_in_higher_order_fun.mli:1: mark_used
@@ -97,6 +104,7 @@
97104

98105
./examples/using_dune/bin/use_wrapped_lib/use_builder_sig_api.mli:1: mark_used
99106
./examples/using_dune/bin/use_wrapped_lib/use_constructors.mli:1: mark_used
107+
./examples/using_dune/bin/use_wrapped_lib/use_include_modtype.mli:1: mark_used
100108
./examples/using_dune/bin/use_wrapped_lib/use_mixed_args.mli:1: mark_used
101109
./examples/using_dune/bin/use_wrapped_lib/use_opt_args.mli:1: mark_used
102110
./examples/using_dune/bin/use_wrapped_lib/use_opt_args_in_higher_order_fun.mli:1: mark_used
@@ -816,7 +824,7 @@ Nothing else to report in this section
816824
--------------------------------------------------------------------------------
817825

818826

819-
Total: 708
820-
Success: 703
821-
Failed: 5
822-
Ratio: 99.2937853107%
827+
Total: 716
828+
Success: 705
829+
Failed: 11
830+
Ratio: 98.4636871508%

check/threshold-3-0.5/threshold-3-0.5.exp

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,7 @@
66
./examples/using_dune/unwrapped_lib/opt_args/opt_args.mli:1: unused_fun_with_single_never_used_opt_arg
77

88
./examples/using_dune/unwrapped_lib/values/builder_sig_api/bsa_api.ml:7: S.unused
9+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:2: S.unused
910
./examples/using_dune/unwrapped_lib/values/values.mli:2: unused_int
1011
./examples/using_dune/unwrapped_lib/values/values.mli:14: unused_fun
1112
./examples/using_dune/unwrapped_lib/values/values.mli:20: unused_alias_fun
@@ -20,6 +21,7 @@
2021
./examples/using_dune/wrapped_lib/opt_args/opt_args.mli:1: unused_fun_with_single_never_used_opt_arg
2122

2223
./examples/using_dune/wrapped_lib/values/builder_sig_api/bsa_api.ml:7: S.unused
24+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:2: S.unused
2325
./examples/using_dune/wrapped_lib/values/values.mli:2: unused_int
2426
./examples/using_dune/wrapped_lib/values/values.mli:14: unused_fun
2527
./examples/using_dune/wrapped_lib/values/values.mli:20: unused_alias_fun
@@ -79,6 +81,7 @@
7981

8082
./examples/using_dune/bin/use_unwrapped_lib/use_builder_sig_api.mli:1: mark_used
8183
./examples/using_dune/bin/use_unwrapped_lib/use_constructors.mli:1: mark_used
84+
./examples/using_dune/bin/use_unwrapped_lib/use_include_modtype.mli:1: mark_used
8285
./examples/using_dune/bin/use_unwrapped_lib/use_mixed_args.mli:1: mark_used
8386
./examples/using_dune/bin/use_unwrapped_lib/use_opt_args.mli:1: mark_used
8487
./examples/using_dune/bin/use_unwrapped_lib/use_opt_args_in_higher_order_fun.mli:1: mark_used
@@ -94,6 +97,7 @@
9497

9598
./examples/using_dune/bin/use_wrapped_lib/use_builder_sig_api.mli:1: mark_used
9699
./examples/using_dune/bin/use_wrapped_lib/use_constructors.mli:1: mark_used
100+
./examples/using_dune/bin/use_wrapped_lib/use_include_modtype.mli:1: mark_used
97101
./examples/using_dune/bin/use_wrapped_lib/use_mixed_args.mli:1: mark_used
98102
./examples/using_dune/bin/use_wrapped_lib/use_opt_args.mli:1: mark_used
99103
./examples/using_dune/bin/use_wrapped_lib/use_opt_args_in_higher_order_fun.mli:1: mark_used
@@ -269,6 +273,9 @@
269273
./examples/using_dune/unwrapped_lib/values/builder_sig_api/bsa_api.ml:9: S.internally_used
270274
./examples/using_dune/unwrapped_lib/values/builder_sig_api/bsa_api.ml:10: S.externally_used
271275
./examples/using_dune/unwrapped_lib/values/builder_sig_api/bsa_api.ml:11: S.sometimes_used
276+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:4: S.internally_used
277+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:5: S.externally_used
278+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:6: S.sometimes_used
272279
./examples/using_dune/unwrapped_lib/values/values.mli:1: used_int
273280
./examples/using_dune/unwrapped_lib/values/values.mli:13: used_fun
274281
./examples/using_dune/unwrapped_lib/values/values.mli:19: used_alias_fun
@@ -301,6 +308,9 @@
301308
./examples/using_dune/wrapped_lib/values/builder_sig_api/bsa_api.ml:9: S.internally_used
302309
./examples/using_dune/wrapped_lib/values/builder_sig_api/bsa_api.ml:10: S.externally_used
303310
./examples/using_dune/wrapped_lib/values/builder_sig_api/bsa_api.ml:11: S.sometimes_used
311+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:4: S.internally_used
312+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:5: S.externally_used
313+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:6: S.sometimes_used
304314
./examples/using_dune/wrapped_lib/values/values.mli:1: used_int
305315
./examples/using_dune/wrapped_lib/values/values.mli:13: used_fun
306316
./examples/using_dune/wrapped_lib/values/values.mli:19: used_alias_fun

check/threshold-3-0.5/threshold-3-0.5.ref

Lines changed: 30 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,9 @@
77

88
./examples/using_dune/unwrapped_lib/values/builder_sig_api/bsa_api.ml:7: S.unused: Not detected
99
./examples/using_dune/unwrapped_lib/values/builder_sig_api/bsa_api.ml:7: unused: Should not be detected
10+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:2: S.unused: Not detected
11+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:2: unused: Should not be detected
12+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:2: unused: Should not be detected
1013
./examples/using_dune/unwrapped_lib/values/values.mli:2: unused_int
1114
./examples/using_dune/unwrapped_lib/values/values.mli:14: unused_fun
1215
./examples/using_dune/unwrapped_lib/values/values.mli:20: unused_alias_fun
@@ -23,6 +26,9 @@
2326
./examples/using_dune/wrapped_lib/values/builder_sig_api/bsa_api.ml:7: S.unused: Not detected
2427
./examples/using_dune/wrapped_lib/values/builder_sig_api/bsa_api.ml:7: unused: Should not be detected
2528
./examples/using_dune/wrapped_lib/values/builder_sig_api/bsa_api.ml:7: unused: Should not be detected
29+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:2: S.unused: Not detected
30+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:2: unused: Should not be detected
31+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:2: unused: Should not be detected
2632
./examples/using_dune/wrapped_lib/values/values.mli:2: unused_int
2733
./examples/using_dune/wrapped_lib/values/values.mli:14: unused_fun
2834
./examples/using_dune/wrapped_lib/values/values.mli:20: unused_alias_fun
@@ -82,6 +88,7 @@
8288

8389
./examples/using_dune/bin/use_unwrapped_lib/use_builder_sig_api.mli:1: mark_used
8490
./examples/using_dune/bin/use_unwrapped_lib/use_constructors.mli:1: mark_used
91+
./examples/using_dune/bin/use_unwrapped_lib/use_include_modtype.mli:1: mark_used
8592
./examples/using_dune/bin/use_unwrapped_lib/use_mixed_args.mli:1: mark_used
8693
./examples/using_dune/bin/use_unwrapped_lib/use_opt_args.mli:1: mark_used
8794
./examples/using_dune/bin/use_unwrapped_lib/use_opt_args_in_higher_order_fun.mli:1: mark_used
@@ -97,6 +104,7 @@
97104

98105
./examples/using_dune/bin/use_wrapped_lib/use_builder_sig_api.mli:1: mark_used
99106
./examples/using_dune/bin/use_wrapped_lib/use_constructors.mli:1: mark_used
107+
./examples/using_dune/bin/use_wrapped_lib/use_include_modtype.mli:1: mark_used
100108
./examples/using_dune/bin/use_wrapped_lib/use_mixed_args.mli:1: mark_used
101109
./examples/using_dune/bin/use_wrapped_lib/use_opt_args.mli:1: mark_used
102110
./examples/using_dune/bin/use_wrapped_lib/use_opt_args_in_higher_order_fun.mli:1: mark_used
@@ -275,6 +283,15 @@
275283
./examples/using_dune/unwrapped_lib/values/builder_sig_api/bsa_api.ml:10: externally_used: Should not be detected
276284
./examples/using_dune/unwrapped_lib/values/builder_sig_api/bsa_api.ml:11: S.sometimes_used: Not detected
277285
./examples/using_dune/unwrapped_lib/values/builder_sig_api/bsa_api.ml:11: sometimes_used: Should not be detected
286+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:4: S.internally_used: Not detected
287+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:4: internally_used: Should not be detected
288+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:4: internally_used: Should not be detected
289+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:5: S.externally_used: Not detected
290+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:5: externally_used: Should not be detected
291+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:5: externally_used: Should not be detected
292+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:6: S.sometimes_used: Not detected
293+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:6: sometimes_used: Should not be detected
294+
./examples/using_dune/unwrapped_lib/values/include_modtype/imt_modtype.ml:6: sometimes_used: Should not be detected
278295
./examples/using_dune/unwrapped_lib/values/values.mli:1: used_int
279296
./examples/using_dune/unwrapped_lib/values/values.mli:13: used_fun
280297
./examples/using_dune/unwrapped_lib/values/values.mli:19: used_alias_fun
@@ -313,6 +330,15 @@
313330
./examples/using_dune/wrapped_lib/values/builder_sig_api/bsa_api.ml:11: S.sometimes_used: Not detected
314331
./examples/using_dune/wrapped_lib/values/builder_sig_api/bsa_api.ml:11: sometimes_used: Should not be detected
315332
./examples/using_dune/wrapped_lib/values/builder_sig_api/bsa_api.ml:11: sometimes_used: Should not be detected
333+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:4: S.internally_used: Not detected
334+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:4: internally_used: Should not be detected
335+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:4: internally_used: Should not be detected
336+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:5: S.externally_used: Not detected
337+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:5: externally_used: Should not be detected
338+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:5: externally_used: Should not be detected
339+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:6: S.sometimes_used: Not detected
340+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:6: sometimes_used: Should not be detected
341+
./examples/using_dune/wrapped_lib/values/include_modtype/imt_modtype.ml:6: sometimes_used: Should not be detected
316342
./examples/using_dune/wrapped_lib/values/values.mli:1: used_int
317343
./examples/using_dune/wrapped_lib/values/values.mli:13: used_fun
318344
./examples/using_dune/wrapped_lib/values/values.mli:19: used_alias_fun
@@ -1190,7 +1216,7 @@ Nothing else to report in this section
11901216
--------------------------------------------------------------------------------
11911217

11921218

1193-
Total: 1010
1194-
Success: 990
1195-
Failed: 20
1196-
Ratio: 98.0198019802%
1219+
Total: 1036
1220+
Success: 992
1221+
Failed: 44
1222+
Ratio: 95.7528957529%

0 commit comments

Comments
 (0)