blob: c713064f12ba567f30b212ae399b668b4ead0bb7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
File "deprecated_module_use.ml", line 18, characters 5-22:
18 | open Deprecated_module
^^^^^^^^^^^^^^^^^
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
^^^
Alert deprecated: module Deprecated_module.M
File "deprecated_module_use.ml", line 20, characters 9-12:
20 | type s = M.t
^^^
Alert deprecated: Deprecated_module.M.t
File "deprecated_module_use.ml", line 22, characters 5-6:
22 | open M
^
Alert deprecated: module Deprecated_module.M
File "deprecated_module_use.ml", line 23, characters 8-9:
23 | let _ = x
^
Alert deprecated: Deprecated_module.M.x
|
