diff options
Diffstat (limited to 'testsuite/tests/warnings/w04_failure.compilers.reference')
-rw-r--r-- | testsuite/tests/warnings/w04_failure.compilers.reference | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/warnings/w04_failure.compilers.reference b/testsuite/tests/warnings/w04_failure.compilers.reference index 8b24c6307d..a4b1640cff 100644 --- a/testsuite/tests/warnings/w04_failure.compilers.reference +++ b/testsuite/tests/warnings/w04_failure.compilers.reference @@ -5,6 +5,7 @@ File "w04_failure.ml", lines 20-23, characters 2-17: 23 | | _, _, _ -> () Warning 4 [fragile-match]: this pattern-matching is fragile. It will remain exhaustive when constructors are added to type repr. + File "w04_failure.ml", lines 20-23, characters 2-17: 20 | ..match r1, r2, t with 21 | | AB, _, A -> () @@ -12,6 +13,7 @@ File "w04_failure.ml", lines 20-23, characters 2-17: 23 | | _, _, _ -> () Warning 4 [fragile-match]: this pattern-matching is fragile. It will remain exhaustive when constructors are added to type ab. + File "w04_failure.ml", lines 20-23, characters 2-17: 20 | ..match r1, r2, t with 21 | | AB, _, A -> () |