diff options
Diffstat (limited to 'testsuite/tests/basic-more/morematch.compilers.reference')
| -rw-r--r-- | testsuite/tests/basic-more/morematch.compilers.reference | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/basic-more/morematch.compilers.reference b/testsuite/tests/basic-more/morematch.compilers.reference index 7f077dd6ff..1de3c274a3 100644 --- a/testsuite/tests/basic-more/morematch.compilers.reference +++ b/testsuite/tests/basic-more/morematch.compilers.reference @@ -1,7 +1,3 @@ -File "morematch.ml", line 1050, characters 8-65: -Warning 8: this pattern-matching is not exhaustive. -Here is an example of a case that is not matched: -(A `D|B (`B, (`A|`C))) File "morematch.ml", line 67, characters 2-5: Warning 12: this sub-pattern is unused. File "morematch.ml", line 68, characters 2-3: @@ -24,6 +20,10 @@ File "morematch.ml", line 455, characters 7-8: Warning 12: this sub-pattern is unused. File "morematch.ml", line 456, characters 2-7: Warning 11: this match case is unused. +File "morematch.ml", line 1050, characters 8-65: +Warning 8: this pattern-matching is not exhaustive. +Here is an example of a case that is not matched: +(A `D|B (`B, (`A|`C))) File "morematch.ml", line 1084, characters 5-51: Warning 11: this match case is unused. File "morematch.ml", line 1086, characters 5-51: |