diff options
Diffstat (limited to 'testsuite/tests/match-exception-warnings/exhaustiveness_warnings.ml')
| -rw-r--r-- | testsuite/tests/match-exception-warnings/exhaustiveness_warnings.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/match-exception-warnings/exhaustiveness_warnings.ml b/testsuite/tests/match-exception-warnings/exhaustiveness_warnings.ml index d6bcd397ca..c96bb2c049 100644 --- a/testsuite/tests/match-exception-warnings/exhaustiveness_warnings.ml +++ b/testsuite/tests/match-exception-warnings/exhaustiveness_warnings.ml @@ -80,10 +80,12 @@ Lines 2-5, characters 4-30: Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Some true + Line 4, characters 29-30: 4 | | Some false | exception _ -> () ^ Warning 11 [redundant-case]: this match case is unused. + Line 5, characters 23-24: 5 | | None | exception _ -> () ^ |