diff options
Diffstat (limited to 'testsuite/tests/typing-polyvariants-bugs/pr7824.ml')
-rw-r--r-- | testsuite/tests/typing-polyvariants-bugs/pr7824.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/typing-polyvariants-bugs/pr7824.ml b/testsuite/tests/typing-polyvariants-bugs/pr7824.ml index 0af60a0cb3..a58c9ddc98 100644 --- a/testsuite/tests/typing-polyvariants-bugs/pr7824.ml +++ b/testsuite/tests/typing-polyvariants-bugs/pr7824.ml @@ -43,6 +43,7 @@ Lines 4-5, characters 2-38: Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: [] + val f : [ `A ] Element.t -> [ `A | `C ] Element.t = <fun> |}];; |