diff options
Diffstat (limited to 'testsuite/tests/typing-misc/polyvars.ml')
-rw-r--r-- | testsuite/tests/typing-misc/polyvars.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/typing-misc/polyvars.ml b/testsuite/tests/typing-misc/polyvars.ml index ae3a44d4ab..0b4eb06f90 100644 --- a/testsuite/tests/typing-misc/polyvars.ml +++ b/testsuite/tests/typing-misc/polyvars.ml @@ -83,6 +83,7 @@ Line 10, characters 0-29: Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: (_, 0) + Line 10, characters 21-24: 10 | function `B,1 -> 1 | _,1 -> 2;; ^^^ @@ -94,6 +95,7 @@ Line 11, characters 0-29: Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: (0, _) + Line 11, characters 21-24: 11 | function 1,`B -> 1 | 1,_ -> 2;; ^^^ |