diff options
Diffstat (limited to 'testsuite/tests/typing-warnings/pr5892.ml')
-rw-r--r-- | testsuite/tests/typing-warnings/pr5892.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/typing-warnings/pr5892.ml b/testsuite/tests/typing-warnings/pr5892.ml index e20e1aeb04..08939c033f 100644 --- a/testsuite/tests/typing-warnings/pr5892.ml +++ b/testsuite/tests/typing-warnings/pr5892.ml @@ -20,5 +20,6 @@ Line 1, characters 31-52: Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Right + val f : CamlinternalOO.label choice -> bool = <fun> |}] |