diff options
Diffstat (limited to 'testsuite/tests/warnings/deprecated_module_use.compilers.reference')
| -rw-r--r-- | testsuite/tests/warnings/deprecated_module_use.compilers.reference | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/testsuite/tests/warnings/deprecated_module_use.compilers.reference b/testsuite/tests/warnings/deprecated_module_use.compilers.reference index 9d26ac59e5..0ab5446a0e 100644 --- a/testsuite/tests/warnings/deprecated_module_use.compilers.reference +++ b/testsuite/tests/warnings/deprecated_module_use.compilers.reference @@ -1,24 +1,24 @@ File "deprecated_module_use.ml", line 18, characters 5-22: 18 | open Deprecated_module - ^^^^^^^^^^^^^^^^^ -Warning 3: deprecated: module Deprecated_module + <alert>^^^^^^^^^^^^^^^^^</alert> +Alert deprecated: module Deprecated_module As you could guess, Deprecated_module is deprecated. Please use something else! File "deprecated_module_use.ml", line 20, characters 9-12: 20 | type s = M.t - ^^^ -Warning 3: deprecated: module Deprecated_module.M + <alert>^^^</alert> +Alert deprecated: module Deprecated_module.M File "deprecated_module_use.ml", line 20, characters 9-12: 20 | type s = M.t - ^^^ -Warning 3: deprecated: Deprecated_module.M.t + <alert>^^^</alert> +Alert deprecated: Deprecated_module.M.t File "deprecated_module_use.ml", line 22, characters 5-6: 22 | open M - ^ -Warning 3: deprecated: module Deprecated_module.M + <alert>^</alert> +Alert deprecated: module Deprecated_module.M File "deprecated_module_use.ml", line 23, characters 8-9: 23 | let _ = x - ^ -Warning 3: deprecated: Deprecated_module.M.x + <alert>^</alert> +Alert deprecated: Deprecated_module.M.x |