Skip to content

Commit 482ab96

Browse files
fantaziofantazio
committed
[docs][exported_values][16/n] use snake_case in functor example
1 parent 6d403d6 commit 482ab96

12 files changed

Lines changed: 89 additions & 89 deletions

File tree

‎check/classic/classic.exp‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4,10 +4,10 @@
44

55
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:9: F.internally_used
66
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:10: F.unused
7-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:14: InternalParam.used_required
8-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:15: InternalParam.unused_required
9-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:25: InternalApp.internally_used
10-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:26: InternalApp.unused
7+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:14: Internal_param.used_required
8+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:15: Internal_param.unused_required
9+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:25: Internal_app.internally_used
10+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:26: Internal_app.unused
1111

1212
./examples/docs/exported_values/code_constructs/include/include_lib.ml:5: Original.unused
1313
./examples/docs/exported_values/code_constructs/include/include_lib.ml:15: Redefine.unused

‎check/classic/classic.ref‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4,10 +4,10 @@
44

55
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:9: F.internally_used
66
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:10: F.unused
7-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:14: InternalParam.used_required
8-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:15: InternalParam.unused_required
9-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:25: InternalApp.internally_used
10-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:26: InternalApp.unused
7+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:14: Internal_param.used_required
8+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:15: Internal_param.unused_required
9+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:25: Internal_app.internally_used
10+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:26: Internal_app.unused
1111

1212
./examples/docs/exported_values/code_constructs/include/include_lib.ml:5: Original.unused
1313
./examples/docs/exported_values/code_constructs/include/include_lib.ml:5: Reexport.unused: Should not be detected

‎check/internal/internal.exp‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
./examples/docs/exported_values/code_constructs/function/function_lib.mli:7: unused
44

55
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:10: F.unused
6-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:26: InternalApp.unused
6+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:26: Internal_app.unused
77

88
./examples/docs/exported_values/code_constructs/include/include_lib.ml:5: Original.unused
99
./examples/docs/exported_values/code_constructs/include/include_lib.ml:15: Redefine.unused

‎check/internal/internal.ref‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
./examples/docs/exported_values/code_constructs/function/function_lib.mli:7: unused
44

55
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:10: F.unused
6-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:26: InternalApp.unused
6+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:26: Internal_app.unused
77

88
./examples/docs/exported_values/code_constructs/include/include_lib.ml:5: Original.unused
99
./examples/docs/exported_values/code_constructs/include/include_lib.ml:5: Reexport.unused: Should not be detected

‎check/threshold-1/threshold-1.exp‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
./examples/docs/exported_values/code_constructs/function/function_lib.mli:7: unused
44

55
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:10: F.unused
6-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:26: InternalApp.unused
6+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:26: Internal_app.unused
77

88
./examples/docs/exported_values/code_constructs/include/include_lib.ml:5: Original.unused
99
./examples/docs/exported_values/code_constructs/include/include_lib.ml:15: Redefine.unused
@@ -105,10 +105,10 @@
105105

106106
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:8: F.externally_used
107107
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:9: F.internally_used
108-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:14: InternalParam.used_required
109-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:15: InternalParam.unused_required
110-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:24: InternalApp.externally_used
111-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:25: InternalApp.internally_used
108+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:14: Internal_param.used_required
109+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:15: Internal_param.unused_required
110+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:24: Internal_app.externally_used
111+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:25: Internal_app.internally_used
112112

113113
./examples/docs/exported_values/code_constructs/include/include_lib.ml:3: Original.used_directly
114114
./examples/docs/exported_values/code_constructs/include/include_lib.ml:4: Original.used_indirectly

‎check/threshold-1/threshold-1.ref‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
./examples/docs/exported_values/code_constructs/function/function_lib.mli:7: unused
44

55
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:10: F.unused
6-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:26: InternalApp.unused
6+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:26: Internal_app.unused
77

88
./examples/docs/exported_values/code_constructs/include/include_lib.ml:5: Original.unused
99
./examples/docs/exported_values/code_constructs/include/include_lib.ml:5: Reexport.unused: Should not be detected
@@ -106,10 +106,10 @@
106106

107107
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:8: F.externally_used
108108
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:9: F.internally_used
109-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:14: InternalParam.used_required
110-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:15: InternalParam.unused_required
111-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:24: InternalApp.externally_used
112-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:25: InternalApp.internally_used
109+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:14: Internal_param.used_required
110+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:15: Internal_param.unused_required
111+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:24: Internal_app.externally_used
112+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:25: Internal_app.internally_used
113113

114114
./examples/docs/exported_values/code_constructs/include/include_lib.ml:3: Original.used_directly
115115
./examples/docs/exported_values/code_constructs/include/include_lib.ml:3: Reexport.used_directly: Should not be detected

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

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
./examples/docs/exported_values/code_constructs/function/function_lib.mli:7: unused
44

55
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:10: F.unused
6-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:26: InternalApp.unused
6+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:26: Internal_app.unused
77

88
./examples/docs/exported_values/code_constructs/include/include_lib.ml:5: Original.unused
99
./examples/docs/exported_values/code_constructs/include/include_lib.ml:15: Redefine.unused
@@ -105,10 +105,10 @@
105105

106106
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:8: F.externally_used
107107
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:9: F.internally_used
108-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:14: InternalParam.used_required
109-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:15: InternalParam.unused_required
110-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:24: InternalApp.externally_used
111-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:25: InternalApp.internally_used
108+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:14: Internal_param.used_required
109+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:15: Internal_param.unused_required
110+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:24: Internal_app.externally_used
111+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:25: Internal_app.internally_used
112112

113113
./examples/docs/exported_values/code_constructs/include/include_lib.ml:3: Original.used_directly
114114
./examples/docs/exported_values/code_constructs/include/include_lib.ml:4: Original.used_indirectly
@@ -334,8 +334,8 @@
334334

335335
.>-> ALMOST UNUSED EXPORTED VALUES: Called 2 time(s):
336336
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
337-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:19: ExternalParam.used_required
338-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:20: ExternalParam.unused_required
337+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:19: External_param.used_required
338+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:20: External_param.unused_required
339339

340340
./examples/docs/exported_values/code_constructs/modtyp/modtyp_lib.mli:13: M_subst.externally_used
341341
./examples/docs/exported_values/code_constructs/modtyp/modtyp_lib.mli:13: M_subst.internally_used

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

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
./examples/docs/exported_values/code_constructs/function/function_lib.mli:7: unused
44

55
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:10: F.unused
6-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:26: InternalApp.unused
6+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:26: Internal_app.unused
77

88
./examples/docs/exported_values/code_constructs/include/include_lib.ml:5: Original.unused
99
./examples/docs/exported_values/code_constructs/include/include_lib.ml:5: Reexport.unused: Should not be detected
@@ -106,10 +106,10 @@
106106

107107
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:8: F.externally_used
108108
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:9: F.internally_used
109-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:14: InternalParam.used_required
110-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:15: InternalParam.unused_required
111-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:24: InternalApp.externally_used
112-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:25: InternalApp.internally_used
109+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:14: Internal_param.used_required
110+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:15: Internal_param.unused_required
111+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:24: Internal_app.externally_used
112+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:25: Internal_app.internally_used
113113

114114
./examples/docs/exported_values/code_constructs/include/include_lib.ml:3: Original.used_directly
115115
./examples/docs/exported_values/code_constructs/include/include_lib.ml:3: Reexport.used_directly: Should not be detected
@@ -338,8 +338,8 @@
338338

339339
.>-> ALMOST UNUSED EXPORTED VALUES: Called 2 time(s):
340340
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
341-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:19: ExternalParam.used_required
342-
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:20: ExternalParam.unused_required
341+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:19: External_param.used_required
342+
./examples/docs/exported_values/code_constructs/functor/functor_lib.mli:20: External_param.unused_required
343343

344344
./examples/docs/exported_values/code_constructs/modtyp/modtyp_lib.mli:13: M_subst.externally_used
345345
./examples/docs/exported_values/code_constructs/modtyp/modtyp_lib.mli:13: M_subst.internally_used

0 commit comments

Comments
 (0)