diff options
Diffstat (limited to 'testsuite/tests/warnings/w45.compilers.reference')
-rw-r--r-- | testsuite/tests/warnings/w45.compilers.reference | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/warnings/w45.compilers.reference b/testsuite/tests/warnings/w45.compilers.reference index 93640dd3ee..5cb2b42622 100644 --- a/testsuite/tests/warnings/w45.compilers.reference +++ b/testsuite/tests/warnings/w45.compilers.reference @@ -2,11 +2,13 @@ File "w45.ml", line 24, characters 2-9: 24 | open T2 (* shadow X, which is later used; but not A, see #6762 *) ^^^^^^^ Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor X (which is later used) + File "w45.ml", line 26, characters 14-15: 26 | let _ = (A, X) (* X belongs to several types *) ^ Warning 41 [ambiguous-name]: X belongs to several types: T2.s T1.s The first one was selected. Please disambiguate if this is wrong. + File "w45.ml", line 23, characters 2-9: 23 | open T1 (* unused open *) ^^^^^^^ |