diff --git a/check/classic/classic.exp b/check/classic/classic.exp index ff70f27..a67970a 100644 --- a/check/classic/classic.exp +++ b/check/classic/classic.exp @@ -2,6 +2,7 @@ ========================= ./examples/using_dune/preprocessed_lib/preprocessed.mli:1: unused ./examples/using_dune/preprocessed_lib/preprocessed.mli:3: internally_used +./examples/using_dune/preprocessed_lib/preprocessed.mli:38: internally_used_f ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:2: unused ./examples/using_dune/unwrapped_lib/opt_args/opt_args.mli:1: unused_fun_with_single_never_used_opt_arg @@ -242,7 +243,15 @@ Nothing else to report in this section .> OPTIONAL ARGUMENTS: ALWAYS: ============================= ./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?always +./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?internally +./examples/using_dune/preprocessed_lib/preprocessed.ml:59: ?always +./examples/using_dune/preprocessed_lib/preprocessed.ml:64: ?always +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?always +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?externally +./examples/using_dune/preprocessed_lib/preprocessed.mli:44: ?always ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?always +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:59: ?always +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: ?always ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:1: ?always ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:8: ?always @@ -378,10 +387,18 @@ Nothing else to report in this section .> OPTIONAL ARGUMENTS: NEVER: ============================ +./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?externally ./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?never -./examples/using_dune/preprocessed_lib/preprocessed.ml:65: ?opt +./examples/using_dune/preprocessed_lib/preprocessed.ml:59: ?never +./examples/using_dune/preprocessed_lib/preprocessed.ml:64: ?never +./examples/using_dune/preprocessed_lib/preprocessed.ml:84: ?opt +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?internally +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?never +./examples/using_dune/preprocessed_lib/preprocessed.mli:44: ?never ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?never -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:65: ?opt +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:59: ?never +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: ?never +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:77: ?opt ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:1: ?never ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:8: ?never @@ -486,16 +503,16 @@ Nothing else to report in this section .> CODING STYLE: =============== -./examples/using_dune/preprocessed_lib/preprocessed.ml:64: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed.ml:64: unit pattern unit_binding -./examples/using_dune/preprocessed_lib/preprocessed.ml:65: val f: ... -> (... -> ?_:_ -> ...) -> ... -./examples/using_dune/preprocessed_lib/preprocessed.ml:66: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed.ml:67: let x = ... in x (=> useless binding) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: unit pattern unit_binding -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:65: val f: ... -> (... -> ?_:_ -> ...) -> ... -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:66: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:67: let x = ... in x (=> useless binding) +./examples/using_dune/preprocessed_lib/preprocessed.ml:83: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed.ml:83: unit pattern unit_binding +./examples/using_dune/preprocessed_lib/preprocessed.ml:84: val f: ... -> (... -> ?_:_ -> ...) -> ... +./examples/using_dune/preprocessed_lib/preprocessed.ml:85: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed.ml:86: let x = ... in x (=> useless binding) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:76: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:76: unit pattern unit_binding +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:77: val f: ... -> (... -> ?_:_ -> ...) -> ... +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:78: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:79: let x = ... in x (=> useless binding) ./examples/using_dune/unwrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:20: val f: ... -> (... -> ?_:_ -> ...) -> ... ./examples/using_dune/unwrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:22: val f: ... -> (... -> ?_:_ -> ...) -> ... diff --git a/check/classic/classic.ref b/check/classic/classic.ref index e6452e5..ec63591 100644 --- a/check/classic/classic.ref +++ b/check/classic/classic.ref @@ -2,6 +2,7 @@ ========================= ./examples/using_dune/preprocessed_lib/preprocessed.mli:1: unused ./examples/using_dune/preprocessed_lib/preprocessed.mli:3: internally_used +./examples/using_dune/preprocessed_lib/preprocessed.mli:38: internally_used_f ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:2: unused ./examples/using_dune/unwrapped_lib/opt_args/opt_args.mli:1: unused_fun_with_single_never_used_opt_arg @@ -242,7 +243,15 @@ Nothing else to report in this section .> OPTIONAL ARGUMENTS: ALWAYS: ============================= ./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?always +./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?internally +./examples/using_dune/preprocessed_lib/preprocessed.ml:59: ?always +./examples/using_dune/preprocessed_lib/preprocessed.ml:64: ?always +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?always +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?externally +./examples/using_dune/preprocessed_lib/preprocessed.mli:44: ?always ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?always +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:59: ?always +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: ?always ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:1: ?always ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:8: ?always @@ -378,10 +387,18 @@ Nothing else to report in this section .> OPTIONAL ARGUMENTS: NEVER: ============================ +./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?externally ./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?never -./examples/using_dune/preprocessed_lib/preprocessed.ml:65: ?opt +./examples/using_dune/preprocessed_lib/preprocessed.ml:59: ?never +./examples/using_dune/preprocessed_lib/preprocessed.ml:64: ?never +./examples/using_dune/preprocessed_lib/preprocessed.ml:84: ?opt +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?internally +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?never +./examples/using_dune/preprocessed_lib/preprocessed.mli:44: ?never ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?never -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:65: ?opt +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:59: ?never +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: ?never +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:77: ?opt ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:1: ?never ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:8: ?never @@ -486,16 +503,16 @@ Nothing else to report in this section .> CODING STYLE: =============== -./examples/using_dune/preprocessed_lib/preprocessed.ml:64: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed.ml:64: unit pattern unit_binding -./examples/using_dune/preprocessed_lib/preprocessed.ml:65: val f: ... -> (... -> ?_:_ -> ...) -> ... -./examples/using_dune/preprocessed_lib/preprocessed.ml:66: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed.ml:67: let x = ... in x (=> useless binding) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: unit pattern unit_binding -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:65: val f: ... -> (... -> ?_:_ -> ...) -> ... -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:66: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:67: let x = ... in x (=> useless binding) +./examples/using_dune/preprocessed_lib/preprocessed.ml:83: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed.ml:83: unit pattern unit_binding +./examples/using_dune/preprocessed_lib/preprocessed.ml:84: val f: ... -> (... -> ?_:_ -> ...) -> ... +./examples/using_dune/preprocessed_lib/preprocessed.ml:85: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed.ml:86: let x = ... in x (=> useless binding) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:76: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:76: unit pattern unit_binding +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:77: val f: ... -> (... -> ?_:_ -> ...) -> ... +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:78: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:79: let x = ... in x (=> useless binding) ./examples/using_dune/unwrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:20: val f: ... -> (... -> ?_:_ -> ...) -> ... ./examples/using_dune/unwrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:22: val f: ... -> (... -> ?_:_ -> ...) -> ... @@ -533,7 +550,7 @@ Nothing else to report in this section -------------------------------------------------------------------------------- -Total: 460 -Success: 460 +Total: 477 +Success: 477 Failed: 0 Ratio: 100.% diff --git a/check/internal/internal.exp b/check/internal/internal.exp index d5e7832..a339bcc 100644 --- a/check/internal/internal.exp +++ b/check/internal/internal.exp @@ -210,7 +210,15 @@ Nothing else to report in this section .> OPTIONAL ARGUMENTS: ALWAYS: ============================= ./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?always +./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?internally +./examples/using_dune/preprocessed_lib/preprocessed.ml:59: ?always +./examples/using_dune/preprocessed_lib/preprocessed.ml:64: ?always +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?always +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?externally +./examples/using_dune/preprocessed_lib/preprocessed.mli:44: ?always ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?always +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:59: ?always +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: ?always ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:1: ?always ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:8: ?always @@ -346,10 +354,18 @@ Nothing else to report in this section .> OPTIONAL ARGUMENTS: NEVER: ============================ +./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?externally ./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?never -./examples/using_dune/preprocessed_lib/preprocessed.ml:65: ?opt +./examples/using_dune/preprocessed_lib/preprocessed.ml:59: ?never +./examples/using_dune/preprocessed_lib/preprocessed.ml:64: ?never +./examples/using_dune/preprocessed_lib/preprocessed.ml:84: ?opt +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?internally +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?never +./examples/using_dune/preprocessed_lib/preprocessed.mli:44: ?never ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?never -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:65: ?opt +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:59: ?never +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: ?never +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:77: ?opt ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:1: ?never ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:8: ?never @@ -454,16 +470,16 @@ Nothing else to report in this section .> CODING STYLE: =============== -./examples/using_dune/preprocessed_lib/preprocessed.ml:64: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed.ml:64: unit pattern unit_binding -./examples/using_dune/preprocessed_lib/preprocessed.ml:65: val f: ... -> (... -> ?_:_ -> ...) -> ... -./examples/using_dune/preprocessed_lib/preprocessed.ml:66: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed.ml:67: let x = ... in x (=> useless binding) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: unit pattern unit_binding -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:65: val f: ... -> (... -> ?_:_ -> ...) -> ... -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:66: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:67: let x = ... in x (=> useless binding) +./examples/using_dune/preprocessed_lib/preprocessed.ml:83: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed.ml:83: unit pattern unit_binding +./examples/using_dune/preprocessed_lib/preprocessed.ml:84: val f: ... -> (... -> ?_:_ -> ...) -> ... +./examples/using_dune/preprocessed_lib/preprocessed.ml:85: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed.ml:86: let x = ... in x (=> useless binding) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:76: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:76: unit pattern unit_binding +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:77: val f: ... -> (... -> ?_:_ -> ...) -> ... +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:78: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:79: let x = ... in x (=> useless binding) ./examples/using_dune/unwrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:20: val f: ... -> (... -> ?_:_ -> ...) -> ... ./examples/using_dune/unwrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:22: val f: ... -> (... -> ?_:_ -> ...) -> ... diff --git a/check/internal/internal.ref b/check/internal/internal.ref index ef171b0..7701a71 100644 --- a/check/internal/internal.ref +++ b/check/internal/internal.ref @@ -210,7 +210,15 @@ Nothing else to report in this section .> OPTIONAL ARGUMENTS: ALWAYS: ============================= ./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?always +./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?internally +./examples/using_dune/preprocessed_lib/preprocessed.ml:59: ?always +./examples/using_dune/preprocessed_lib/preprocessed.ml:64: ?always +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?always +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?externally +./examples/using_dune/preprocessed_lib/preprocessed.mli:44: ?always ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?always +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:59: ?always +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: ?always ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:1: ?always ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:8: ?always @@ -346,10 +354,18 @@ Nothing else to report in this section .> OPTIONAL ARGUMENTS: NEVER: ============================ +./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?externally ./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?never -./examples/using_dune/preprocessed_lib/preprocessed.ml:65: ?opt +./examples/using_dune/preprocessed_lib/preprocessed.ml:59: ?never +./examples/using_dune/preprocessed_lib/preprocessed.ml:64: ?never +./examples/using_dune/preprocessed_lib/preprocessed.ml:84: ?opt +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?internally +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?never +./examples/using_dune/preprocessed_lib/preprocessed.mli:44: ?never ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?never -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:65: ?opt +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:59: ?never +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: ?never +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:77: ?opt ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:1: ?never ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:8: ?never @@ -454,16 +470,16 @@ Nothing else to report in this section .> CODING STYLE: =============== -./examples/using_dune/preprocessed_lib/preprocessed.ml:64: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed.ml:64: unit pattern unit_binding -./examples/using_dune/preprocessed_lib/preprocessed.ml:65: val f: ... -> (... -> ?_:_ -> ...) -> ... -./examples/using_dune/preprocessed_lib/preprocessed.ml:66: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed.ml:67: let x = ... in x (=> useless binding) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: unit pattern unit_binding -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:65: val f: ... -> (... -> ?_:_ -> ...) -> ... -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:66: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:67: let x = ... in x (=> useless binding) +./examples/using_dune/preprocessed_lib/preprocessed.ml:83: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed.ml:83: unit pattern unit_binding +./examples/using_dune/preprocessed_lib/preprocessed.ml:84: val f: ... -> (... -> ?_:_ -> ...) -> ... +./examples/using_dune/preprocessed_lib/preprocessed.ml:85: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed.ml:86: let x = ... in x (=> useless binding) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:76: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:76: unit pattern unit_binding +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:77: val f: ... -> (... -> ?_:_ -> ...) -> ... +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:78: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:79: let x = ... in x (=> useless binding) ./examples/using_dune/unwrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:20: val f: ... -> (... -> ?_:_ -> ...) -> ... ./examples/using_dune/unwrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:22: val f: ... -> (... -> ?_:_ -> ...) -> ... @@ -501,7 +517,7 @@ Nothing else to report in this section -------------------------------------------------------------------------------- -Total: 430 -Success: 430 +Total: 446 +Success: 446 Failed: 0 Ratio: 100.% diff --git a/check/threshold-1/threshold-1.exp b/check/threshold-1/threshold-1.exp index 41ed3e7..c65d982 100644 --- a/check/threshold-1/threshold-1.exp +++ b/check/threshold-1/threshold-1.exp @@ -518,7 +518,15 @@ Nothing else to report in this section .> OPTIONAL ARGUMENTS: ALWAYS: ============================= ./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?always +./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?internally +./examples/using_dune/preprocessed_lib/preprocessed.ml:59: ?always +./examples/using_dune/preprocessed_lib/preprocessed.ml:64: ?always +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?always +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?externally +./examples/using_dune/preprocessed_lib/preprocessed.mli:44: ?always ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?always +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:59: ?always +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: ?always ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:1: ?always ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:8: ?always @@ -654,10 +662,18 @@ Nothing else to report in this section .> OPTIONAL ARGUMENTS: NEVER: ============================ +./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?externally ./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?never -./examples/using_dune/preprocessed_lib/preprocessed.ml:65: ?opt +./examples/using_dune/preprocessed_lib/preprocessed.ml:59: ?never +./examples/using_dune/preprocessed_lib/preprocessed.ml:64: ?never +./examples/using_dune/preprocessed_lib/preprocessed.ml:84: ?opt +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?internally +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?never +./examples/using_dune/preprocessed_lib/preprocessed.mli:44: ?never ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?never -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:65: ?opt +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:59: ?never +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: ?never +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:77: ?opt ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:1: ?never ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:8: ?never @@ -762,16 +778,16 @@ Nothing else to report in this section .> CODING STYLE: =============== -./examples/using_dune/preprocessed_lib/preprocessed.ml:64: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed.ml:64: unit pattern unit_binding -./examples/using_dune/preprocessed_lib/preprocessed.ml:65: val f: ... -> (... -> ?_:_ -> ...) -> ... -./examples/using_dune/preprocessed_lib/preprocessed.ml:66: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed.ml:67: let x = ... in x (=> useless binding) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: unit pattern unit_binding -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:65: val f: ... -> (... -> ?_:_ -> ...) -> ... -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:66: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:67: let x = ... in x (=> useless binding) +./examples/using_dune/preprocessed_lib/preprocessed.ml:83: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed.ml:83: unit pattern unit_binding +./examples/using_dune/preprocessed_lib/preprocessed.ml:84: val f: ... -> (... -> ?_:_ -> ...) -> ... +./examples/using_dune/preprocessed_lib/preprocessed.ml:85: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed.ml:86: let x = ... in x (=> useless binding) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:76: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:76: unit pattern unit_binding +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:77: val f: ... -> (... -> ?_:_ -> ...) -> ... +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:78: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:79: let x = ... in x (=> useless binding) ./examples/using_dune/unwrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:20: val f: ... -> (... -> ?_:_ -> ...) -> ... ./examples/using_dune/unwrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:22: val f: ... -> (... -> ?_:_ -> ...) -> ... diff --git a/check/threshold-1/threshold-1.ref b/check/threshold-1/threshold-1.ref index 1ef3c2f..679bc9f 100644 --- a/check/threshold-1/threshold-1.ref +++ b/check/threshold-1/threshold-1.ref @@ -518,7 +518,15 @@ Nothing else to report in this section .> OPTIONAL ARGUMENTS: ALWAYS: ============================= ./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?always +./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?internally +./examples/using_dune/preprocessed_lib/preprocessed.ml:59: ?always +./examples/using_dune/preprocessed_lib/preprocessed.ml:64: ?always +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?always +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?externally +./examples/using_dune/preprocessed_lib/preprocessed.mli:44: ?always ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?always +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:59: ?always +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: ?always ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:1: ?always ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:8: ?always @@ -654,10 +662,18 @@ Nothing else to report in this section .> OPTIONAL ARGUMENTS: NEVER: ============================ +./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?externally ./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?never -./examples/using_dune/preprocessed_lib/preprocessed.ml:65: ?opt +./examples/using_dune/preprocessed_lib/preprocessed.ml:59: ?never +./examples/using_dune/preprocessed_lib/preprocessed.ml:64: ?never +./examples/using_dune/preprocessed_lib/preprocessed.ml:84: ?opt +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?internally +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?never +./examples/using_dune/preprocessed_lib/preprocessed.mli:44: ?never ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?never -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:65: ?opt +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:59: ?never +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: ?never +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:77: ?opt ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:1: ?never ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:8: ?never @@ -762,16 +778,16 @@ Nothing else to report in this section .> CODING STYLE: =============== -./examples/using_dune/preprocessed_lib/preprocessed.ml:64: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed.ml:64: unit pattern unit_binding -./examples/using_dune/preprocessed_lib/preprocessed.ml:65: val f: ... -> (... -> ?_:_ -> ...) -> ... -./examples/using_dune/preprocessed_lib/preprocessed.ml:66: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed.ml:67: let x = ... in x (=> useless binding) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: unit pattern unit_binding -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:65: val f: ... -> (... -> ?_:_ -> ...) -> ... -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:66: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:67: let x = ... in x (=> useless binding) +./examples/using_dune/preprocessed_lib/preprocessed.ml:83: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed.ml:83: unit pattern unit_binding +./examples/using_dune/preprocessed_lib/preprocessed.ml:84: val f: ... -> (... -> ?_:_ -> ...) -> ... +./examples/using_dune/preprocessed_lib/preprocessed.ml:85: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed.ml:86: let x = ... in x (=> useless binding) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:76: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:76: unit pattern unit_binding +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:77: val f: ... -> (... -> ?_:_ -> ...) -> ... +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:78: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:79: let x = ... in x (=> useless binding) ./examples/using_dune/unwrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:20: val f: ... -> (... -> ?_:_ -> ...) -> ... ./examples/using_dune/unwrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:22: val f: ... -> (... -> ?_:_ -> ...) -> ... @@ -809,7 +825,7 @@ Nothing else to report in this section -------------------------------------------------------------------------------- -Total: 701 -Success: 701 +Total: 717 +Success: 717 Failed: 0 Ratio: 100.% diff --git a/check/threshold-3-0.5/threshold-3-0.5.exp b/check/threshold-3-0.5/threshold-3-0.5.exp index 49014d8..2a6e839 100644 --- a/check/threshold-3-0.5/threshold-3-0.5.exp +++ b/check/threshold-3-0.5/threshold-3-0.5.exp @@ -240,9 +240,13 @@ .>-> ALMOST UNUSED EXPORTED VALUES: Called 2 time(s): ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./examples/using_dune/preprocessed_lib/preprocessed.mli:2: used -./examples/using_dune/preprocessed_lib/preprocessed.mli:31: f +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: exported_f +./examples/using_dune/preprocessed_lib/preprocessed.mli:38: internally_used_f +./examples/using_dune/preprocessed_lib/preprocessed.mli:44: externally_used_f ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:3: used ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: f +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:59: internally_used_f +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: externally_used_f ./examples/using_dune/unwrapped_lib/obj/with_class.mli:33: fun_class_factory @@ -707,7 +711,15 @@ Nothing else to report in this section .> OPTIONAL ARGUMENTS: ALWAYS: ============================= ./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?always +./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?internally +./examples/using_dune/preprocessed_lib/preprocessed.ml:59: ?always +./examples/using_dune/preprocessed_lib/preprocessed.ml:64: ?always +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?always +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?externally +./examples/using_dune/preprocessed_lib/preprocessed.mli:44: ?always ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?always +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:59: ?always +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: ?always ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:1: ?always ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:8: ?always @@ -841,10 +853,13 @@ Nothing else to report in this section .>-> OPTIONAL ARGUMENTS: ALMOST ALWAYS: Except 1 time(s): ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?externally (1/2 calls) -./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?internally (1/2 calls) +./examples/using_dune/preprocessed_lib/preprocessed.ml:59: ?sometimes (1/2 calls) +./examples/using_dune/preprocessed_lib/preprocessed.ml:64: ?sometimes (1/2 calls) +./examples/using_dune/preprocessed_lib/preprocessed.mli:44: ?sometimes (1/2 calls) ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?externally (1/2 calls) ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?internally (1/2 calls) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:59: ?sometimes (1/2 calls) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: ?sometimes (1/2 calls) ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:1: ?sometimes (1/2 calls) ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:8: ?sometimes (1/2 calls) @@ -936,10 +951,18 @@ Nothing else to report in this section .> OPTIONAL ARGUMENTS: NEVER: ============================ +./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?externally ./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?never -./examples/using_dune/preprocessed_lib/preprocessed.ml:65: ?opt +./examples/using_dune/preprocessed_lib/preprocessed.ml:59: ?never +./examples/using_dune/preprocessed_lib/preprocessed.ml:64: ?never +./examples/using_dune/preprocessed_lib/preprocessed.ml:84: ?opt +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?internally +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?never +./examples/using_dune/preprocessed_lib/preprocessed.mli:44: ?never ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?never -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:65: ?opt +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:59: ?never +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: ?never +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:77: ?opt ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:1: ?never ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:8: ?never @@ -1042,10 +1065,13 @@ Nothing else to report in this section .>-> OPTIONAL ARGUMENTS: ALMOST NEVER: Except 1 time(s): ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?externally (1/2 calls) -./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?internally (1/2 calls) +./examples/using_dune/preprocessed_lib/preprocessed.ml:59: ?sometimes (1/2 calls) +./examples/using_dune/preprocessed_lib/preprocessed.ml:64: ?sometimes (1/2 calls) +./examples/using_dune/preprocessed_lib/preprocessed.mli:44: ?sometimes (1/2 calls) ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?externally (1/2 calls) ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?internally (1/2 calls) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:59: ?sometimes (1/2 calls) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: ?sometimes (1/2 calls) ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:1: ?sometimes (1/2 calls) ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:8: ?sometimes (1/2 calls) @@ -1122,16 +1148,16 @@ Nothing else to report in this section .> CODING STYLE: =============== -./examples/using_dune/preprocessed_lib/preprocessed.ml:64: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed.ml:64: unit pattern unit_binding -./examples/using_dune/preprocessed_lib/preprocessed.ml:65: val f: ... -> (... -> ?_:_ -> ...) -> ... -./examples/using_dune/preprocessed_lib/preprocessed.ml:66: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed.ml:67: let x = ... in x (=> useless binding) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: unit pattern unit_binding -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:65: val f: ... -> (... -> ?_:_ -> ...) -> ... -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:66: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:67: let x = ... in x (=> useless binding) +./examples/using_dune/preprocessed_lib/preprocessed.ml:83: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed.ml:83: unit pattern unit_binding +./examples/using_dune/preprocessed_lib/preprocessed.ml:84: val f: ... -> (... -> ?_:_ -> ...) -> ... +./examples/using_dune/preprocessed_lib/preprocessed.ml:85: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed.ml:86: let x = ... in x (=> useless binding) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:76: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:76: unit pattern unit_binding +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:77: val f: ... -> (... -> ?_:_ -> ...) -> ... +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:78: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:79: let x = ... in x (=> useless binding) ./examples/using_dune/unwrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:20: val f: ... -> (... -> ?_:_ -> ...) -> ... ./examples/using_dune/unwrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:22: val f: ... -> (... -> ?_:_ -> ...) -> ... diff --git a/check/threshold-3-0.5/threshold-3-0.5.ref b/check/threshold-3-0.5/threshold-3-0.5.ref index 60e2afc..869665f 100644 --- a/check/threshold-3-0.5/threshold-3-0.5.ref +++ b/check/threshold-3-0.5/threshold-3-0.5.ref @@ -240,9 +240,13 @@ .>-> ALMOST UNUSED EXPORTED VALUES: Called 2 time(s): ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./examples/using_dune/preprocessed_lib/preprocessed.mli:2: used -./examples/using_dune/preprocessed_lib/preprocessed.mli:31: f +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: exported_f +./examples/using_dune/preprocessed_lib/preprocessed.mli:38: internally_used_f +./examples/using_dune/preprocessed_lib/preprocessed.mli:44: externally_used_f ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:3: used ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: f +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:59: internally_used_f +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: externally_used_f ./examples/using_dune/unwrapped_lib/obj/with_class.mli:33: fun_class_factory @@ -707,7 +711,15 @@ Nothing else to report in this section .> OPTIONAL ARGUMENTS: ALWAYS: ============================= ./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?always +./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?internally +./examples/using_dune/preprocessed_lib/preprocessed.ml:59: ?always +./examples/using_dune/preprocessed_lib/preprocessed.ml:64: ?always +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?always +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?externally +./examples/using_dune/preprocessed_lib/preprocessed.mli:44: ?always ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?always +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:59: ?always +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: ?always ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:1: ?always ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:8: ?always @@ -841,10 +853,13 @@ Nothing else to report in this section .>-> OPTIONAL ARGUMENTS: ALMOST ALWAYS: Except 1 time(s): ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?externally (1/2 calls) -./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?internally (1/2 calls) +./examples/using_dune/preprocessed_lib/preprocessed.ml:59: ?sometimes (1/2 calls) +./examples/using_dune/preprocessed_lib/preprocessed.ml:64: ?sometimes (1/2 calls) +./examples/using_dune/preprocessed_lib/preprocessed.mli:44: ?sometimes (1/2 calls) ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?externally (1/2 calls) ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?internally (1/2 calls) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:59: ?sometimes (1/2 calls) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: ?sometimes (1/2 calls) ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:1: ?sometimes (1/2 calls) ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:8: ?sometimes (1/2 calls) @@ -936,10 +951,18 @@ Nothing else to report in this section .> OPTIONAL ARGUMENTS: NEVER: ============================ +./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?externally ./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?never -./examples/using_dune/preprocessed_lib/preprocessed.ml:65: ?opt +./examples/using_dune/preprocessed_lib/preprocessed.ml:59: ?never +./examples/using_dune/preprocessed_lib/preprocessed.ml:64: ?never +./examples/using_dune/preprocessed_lib/preprocessed.ml:84: ?opt +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?internally +./examples/using_dune/preprocessed_lib/preprocessed.mli:31: ?never +./examples/using_dune/preprocessed_lib/preprocessed.mli:44: ?never ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?never -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:65: ?opt +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:59: ?never +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: ?never +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:77: ?opt ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:1: ?never ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:8: ?never @@ -1042,10 +1065,13 @@ Nothing else to report in this section .>-> OPTIONAL ARGUMENTS: ALMOST NEVER: Except 1 time(s): ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?externally (1/2 calls) -./examples/using_dune/preprocessed_lib/preprocessed.ml:53: ?internally (1/2 calls) +./examples/using_dune/preprocessed_lib/preprocessed.ml:59: ?sometimes (1/2 calls) +./examples/using_dune/preprocessed_lib/preprocessed.ml:64: ?sometimes (1/2 calls) +./examples/using_dune/preprocessed_lib/preprocessed.mli:44: ?sometimes (1/2 calls) ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?externally (1/2 calls) ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: ?internally (1/2 calls) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:59: ?sometimes (1/2 calls) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: ?sometimes (1/2 calls) ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:1: ?sometimes (1/2 calls) ./examples/using_dune/unwrapped_lib/opt_args/mixed_args.ml:8: ?sometimes (1/2 calls) @@ -1121,16 +1147,16 @@ Nothing else to report in this section .> CODING STYLE: =============== -./examples/using_dune/preprocessed_lib/preprocessed.ml:64: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed.ml:64: unit pattern unit_binding -./examples/using_dune/preprocessed_lib/preprocessed.ml:65: val f: ... -> (... -> ?_:_ -> ...) -> ... -./examples/using_dune/preprocessed_lib/preprocessed.ml:66: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed.ml:67: let x = ... in x (=> useless binding) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: unit pattern unit_binding -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:65: val f: ... -> (... -> ?_:_ -> ...) -> ... -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:66: let () = ... in ... (=> use sequence) -./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:67: let x = ... in x (=> useless binding) +./examples/using_dune/preprocessed_lib/preprocessed.ml:83: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed.ml:83: unit pattern unit_binding +./examples/using_dune/preprocessed_lib/preprocessed.ml:84: val f: ... -> (... -> ?_:_ -> ...) -> ... +./examples/using_dune/preprocessed_lib/preprocessed.ml:85: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed.ml:86: let x = ... in x (=> useless binding) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:76: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:76: unit pattern unit_binding +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:77: val f: ... -> (... -> ?_:_ -> ...) -> ... +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:78: let () = ... in ... (=> use sequence) +./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:79: let x = ... in x (=> useless binding) ./examples/using_dune/unwrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:20: val f: ... -> (... -> ?_:_ -> ...) -> ... ./examples/using_dune/unwrapped_lib/opt_args/opt_args_in_higher_order_fun.ml:22: val f: ... -> (... -> ?_:_ -> ...) -> ... @@ -1168,7 +1194,7 @@ Nothing else to report in this section -------------------------------------------------------------------------------- -Total: 988 -Success: 988 +Total: 1014 +Success: 1014 Failed: 0 Ratio: 100.% diff --git a/examples/using_dune/bin/use_preprocessed_lib/use_preprocessed.ml b/examples/using_dune/bin/use_preprocessed_lib/use_preprocessed.ml index d009baf..7194266 100644 --- a/examples/using_dune/bin/use_preprocessed_lib/use_preprocessed.ml +++ b/examples/using_dune/bin/use_preprocessed_lib/use_preprocessed.ml @@ -18,7 +18,9 @@ let () = (* use record fields *) ignore r.externally_used let () = (* use optional arguments *) - f ~always:42 ~externally:42 () + exported_f ~always:42 ~externally:42 (); + externally_used_f ~always:42 ~sometimes:42 (); + externally_used_f ~always:42 () let is_used = ref false let mark_used () = diff --git a/examples/using_dune/bin/use_preprocessed_lib/use_preprocessed_no_intf.ml b/examples/using_dune/bin/use_preprocessed_lib/use_preprocessed_no_intf.ml index 3c14daa..edc5668 100644 --- a/examples/using_dune/bin/use_preprocessed_lib/use_preprocessed_no_intf.ml +++ b/examples/using_dune/bin/use_preprocessed_lib/use_preprocessed_no_intf.ml @@ -18,7 +18,9 @@ let () = (* use record fields *) ignore r.externally_used let () = (* use optional arguments *) - f ~always:42 ~externally:42 () + f ~always:42 ~externally:42 (); + externally_used_f ~always:42 ~sometimes:42 (); + externally_used_f ~always:42 () let is_used = ref false let mark_used () = diff --git a/examples/using_dune/preprocessed_lib/preprocessed.ml b/examples/using_dune/preprocessed_lib/preprocessed.ml index f97a30a..1d91ea4 100644 --- a/examples/using_dune/preprocessed_lib/preprocessed.ml +++ b/examples/using_dune/preprocessed_lib/preprocessed.ml @@ -50,14 +50,33 @@ let () = (* use record fields *) ignore r.internally_used (* Optional arguments *) -let f ?never ?always ?internally ?externally () = +let exported_f ?never ?always ?internally ?externally () = ignore never; ignore always; ignore internally; ignore externally +let unexported_f ?never ?always ?sometimes () = + ignore never; + ignore always; + ignore sometimes + +let internally_used_f ?never ?always ?sometimes () = + ignore never; + ignore always; + ignore sometimes + +let externally_used_f ?never ?always ?sometimes () = + ignore never; + ignore always; + ignore sometimes + let () = (* use optional arguments *) - f ~always:42 ~internally:42 () + exported_f ~always:42 ~internally:42 (); + unexported_f ~always:42 ~sometimes:42 (); + unexported_f ~always:42 (); + internally_used_f ~always:42 ~sometimes:42 (); + internally_used_f ~always:42 () (* Stylistic issues *) let _ = diff --git a/examples/using_dune/preprocessed_lib/preprocessed.mli b/examples/using_dune/preprocessed_lib/preprocessed.mli index 865b8a5..23fbdbf 100644 --- a/examples/using_dune/preprocessed_lib/preprocessed.mli +++ b/examples/using_dune/preprocessed_lib/preprocessed.mli @@ -28,9 +28,21 @@ type record = { type record_with_eq = {implicitly_used : int} [@@deriving eq] -val f : +val exported_f : ?never:'a -> ?always:'b -> ?internally:'c -> ?externally:'d -> unit -> unit + +val internally_used_f : + ?never:'a -> + ?always:'b -> + ?sometimes:'c -> + unit -> unit + +val externally_used_f : + ?never:'a -> + ?always:'b -> + ?sometimes:'c -> + unit -> unit diff --git a/examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml b/examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml index f97a30a..36f3bf4 100644 --- a/examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml +++ b/examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml @@ -56,8 +56,20 @@ let f ?never ?always ?internally ?externally () = ignore internally; ignore externally +let internally_used_f ?never ?always ?sometimes () = + ignore never; + ignore always; + ignore sometimes + +let externally_used_f ?never ?always ?sometimes () = + ignore never; + ignore always; + ignore sometimes + let () = (* use optional arguments *) - f ~always:42 ~internally:42 () + f ~always:42 ~internally:42 (); + internally_used_f ~always:42 ~sometimes:42 (); + internally_used_f ~always:42 () (* Stylistic issues *) let _ = diff --git a/src/state/file_infos.ml b/src/state/file_infos.ml index 19c4948..97fccaa 100644 --- a/src/state/file_infos.ml +++ b/src/state/file_infos.ml @@ -23,7 +23,8 @@ let empty = { let init_from_cmt_infos cmt_infos cmt_file = let builddir = cmt_infos.Cmt_format.cmt_builddir in let sourcepath = - Option.map (Filename.concat builddir) cmt_infos.cmt_sourcefile + Option.map Utils.remove_pp cmt_infos.cmt_sourcefile + |> Option.map (Filename.concat builddir) in let modname = cmt_infos.cmt_modname in {empty with cmti_file = cmt_file; diff --git a/src/utils.ml b/src/utils.ml index 0de8687..dced0d6 100644 --- a/src/utils.ml +++ b/src/utils.ml @@ -1,6 +1,10 @@ +let remove_pp fn = + let ext = Filename.extension fn in + let no_ext = Filename.remove_extension fn in + match Filename.extension no_ext with + | ".pp" -> Filename.remove_extension no_ext ^ ext + | _ -> fn + let unit fn = - let u = Filename.remove_extension (Filename.basename fn) in - match Filename.extension u with - | ".pp" -> Filename.remove_extension u - | _ -> u + Filename.remove_extension (Filename.basename fn) diff --git a/src/utils.mli b/src/utils.mli index 526dc8d..c99557e 100644 --- a/src/utils.mli +++ b/src/utils.mli @@ -1 +1,3 @@ +val remove_pp : string -> string + val unit : string -> string