diff options
Diffstat (limited to 'testsuite/tests/typing-warnings/open_warnings.ml')
-rw-r--r-- | testsuite/tests/typing-warnings/open_warnings.ml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/tests/typing-warnings/open_warnings.ml b/testsuite/tests/typing-warnings/open_warnings.ml index 04cf213fa3..651ee39b9f 100644 --- a/testsuite/tests/typing-warnings/open_warnings.ml +++ b/testsuite/tests/typing-warnings/open_warnings.ml @@ -11,6 +11,7 @@ Line 2, characters 20-26: 2 | module M = struct type t end (* unused type t *) ^^^^^^ Warning 34 [unused-type-declaration]: unused type t. + Line 3, characters 2-8: 3 | open M (* unused open *) ^^^^^^ @@ -39,10 +40,12 @@ Line 4, characters 2-8: 4 | open M (* used by line below; shadow constructor A *) ^^^^^^ Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor A (which is later used) + Line 2, characters 2-13: 2 | type t0 = A (* unused type and constructor *) ^^^^^^^^^^^ Warning 34 [unused-type-declaration]: unused type t0. + Line 2, characters 12-13: 2 | type t0 = A (* unused type and constructor *) ^ @@ -61,10 +64,12 @@ Line 3, characters 20-30: 3 | module M = struct type t = A end (* unused type and constructor *) ^^^^^^^^^^ Warning 34 [unused-type-declaration]: unused type t. + Line 3, characters 29-30: 3 | module M = struct type t = A end (* unused type and constructor *) ^ Warning 37 [unused-constructor]: unused constructor A. + Line 4, characters 2-8: 4 | open M (* unused open; no shadowing (A below refers to the one in t0) *) ^^^^^^ @@ -83,10 +88,12 @@ Line 4, characters 2-8: 4 | open M (* shadow constructor A *) ^^^^^^ Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor A (which is later used) + Line 2, characters 2-13: 2 | type t0 = A (* unused type and constructor *) ^^^^^^^^^^^ Warning 34 [unused-type-declaration]: unused type t0. + Line 2, characters 12-13: 2 | type t0 = A (* unused type and constructor *) ^ @@ -104,6 +111,7 @@ Line 2, characters 20-26: 2 | module M = struct type t end (* unused type t *) ^^^^^^ Warning 34 [unused-type-declaration]: unused type t. + Line 3, characters 2-9: 3 | open! M (* unused open *) ^^^^^^^ @@ -131,6 +139,7 @@ Line 2, characters 2-13: 2 | type t0 = A (* unused type and constructor *) ^^^^^^^^^^^ Warning 34 [unused-type-declaration]: unused type t0. + Line 2, characters 12-13: 2 | type t0 = A (* unused type and constructor *) ^ @@ -149,10 +158,12 @@ Line 3, characters 20-30: 3 | module M = struct type t = A end (* unused type and constructor *) ^^^^^^^^^^ Warning 34 [unused-type-declaration]: unused type t. + Line 3, characters 29-30: 3 | module M = struct type t = A end (* unused type and constructor *) ^ Warning 37 [unused-constructor]: unused constructor A. + Line 4, characters 2-9: 4 | open! M (* unused open; no shadowing (A below refers to the one in t0) *) ^^^^^^^ @@ -171,6 +182,7 @@ Line 2, characters 2-13: 2 | type t0 = A (* unused type and constructor *) ^^^^^^^^^^^ Warning 34 [unused-type-declaration]: unused type t0. + Line 2, characters 12-13: 2 | type t0 = A (* unused type and constructor *) ^ |