diff options
Diffstat (limited to 'testsuite/tests/typing-gadts/pr6241.ml')
| -rw-r--r-- | testsuite/tests/typing-gadts/pr6241.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typing-gadts/pr6241.ml b/testsuite/tests/typing-gadts/pr6241.ml index 330965f7f1..bd9e295c1a 100644 --- a/testsuite/tests/typing-gadts/pr6241.ml +++ b/testsuite/tests/typing-gadts/pr6241.ml @@ -24,7 +24,7 @@ type (_, _) t = A : ('a, 'a) t | B : string -> ('a, 'b) t Lines 8-9, characters 52-13: 8 | ....................................................function 9 | | B s -> s -Warning 8: this pattern-matching is not exhaustive. +Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: A module M : |