diff options
Diffstat (limited to 'testsuite/tests/typing-warnings/pr7553.ml')
-rw-r--r-- | testsuite/tests/typing-warnings/pr7553.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/typing-warnings/pr7553.ml b/testsuite/tests/typing-warnings/pr7553.ml index 24faa0e8cf..3079e979a2 100644 --- a/testsuite/tests/typing-warnings/pr7553.ml +++ b/testsuite/tests/typing-warnings/pr7553.ml @@ -42,6 +42,7 @@ Line 5, characters 10-14: 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 ^^^^^^ |