blob: 9d26ac59e5c4625af481dade71b0e8b3a0429240 (
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
^^^^^^^^^^^^^^^^^
Warning 3: 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
File "deprecated_module_use.ml", line 20, characters 9-12:
20 | type s = M.t
^^^
Warning 3: 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
File "deprecated_module_use.ml", line 23, characters 8-9:
23 | let _ = x
^
Warning 3: deprecated: Deprecated_module.M.x
|