diff options
Diffstat (limited to 'testsuite/tests/typing-warnings/pr7553.ml')
| -rw-r--r-- | testsuite/tests/typing-warnings/pr7553.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/typing-warnings/pr7553.ml b/testsuite/tests/typing-warnings/pr7553.ml index d479c41907..a76f19d4aa 100644 --- a/testsuite/tests/typing-warnings/pr7553.ml +++ b/testsuite/tests/typing-warnings/pr7553.ml @@ -23,7 +23,7 @@ end = C;; Line 2, characters 2-8: 2 | open A ^^^^^^ -Warning 33: unused open A. +Warning 33 [unused-open]: unused open A. module rec C : sig end |}] @@ -39,12 +39,12 @@ end = D;; Line 5, characters 10-14: 5 | let None = None ^^^^ -Warning 8: this pattern-matching is not exhaustive. +Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Some _ Line 4, characters 6-12: 4 | open A ^^^^^^ -Warning 33: unused open A. +Warning 33 [unused-open]: unused open A. module rec D : sig module M : sig module X : sig end end end |}] |