diff options
Diffstat (limited to 'testsuite/tests/typing-gadts/yallop_bugs.ml')
| -rw-r--r-- | testsuite/tests/typing-gadts/yallop_bugs.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/typing-gadts/yallop_bugs.ml b/testsuite/tests/typing-gadts/yallop_bugs.ml index 7418faae73..7cbaf3ec72 100644 --- a/testsuite/tests/typing-gadts/yallop_bugs.ml +++ b/testsuite/tests/typing-gadts/yallop_bugs.ml @@ -60,7 +60,7 @@ Lines 5-7, characters 39-23: 5 | .......................................function 6 | | BoolLit, false -> false 7 | | IntLit , 6 -> false -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: (BoolLit, true) val check : 's t * 's -> bool = <fun> @@ -78,7 +78,7 @@ Lines 3-5, characters 45-38: 3 | .............................................function 4 | | {fst = BoolLit; snd = false} -> false 5 | | {fst = IntLit ; snd = 6} -> false -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: {fst=BoolLit; snd=true} val check : ('s t, 's) pair -> bool = <fun> |