1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
|
File "deprecated_module_assigment.ml", line 17, characters 33-34:
17 | module Y : sig val x : int end = X
^
Alert deprecated: x
DEPRECATED
File "deprecated_module_assigment.ml", line 12, characters 2-41:
12 | val x : int [@@deprecated "DEPRECATED"]
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Definition
File "deprecated_module_assigment.ml", line 17, characters 15-26:
17 | module Y : sig val x : int end = X
^^^^^^^^^^^
Expected signature
File "deprecated_module_assigment.ml", line 23, characters 13-14:
23 | module B = F(X)
^
Alert deprecated: x
DEPRECATED
File "deprecated_module_assigment.ml", line 12, characters 2-41:
12 | val x : int [@@deprecated "DEPRECATED"]
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Definition
File "deprecated_module_assigment.ml", line 21, characters 17-28:
21 | module F(A : sig val x : int end) = struct let _ = A.x end
^^^^^^^^^^^
Expected signature
File "deprecated_module_assigment.ml", line 33, characters 39-78:
33 | module CSTR : sig type t = A | B end = struct type t = A [@deprecated] | B end
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Alert deprecated: A
File "deprecated_module_assigment.ml", line 33, characters 55-70:
33 | module CSTR : sig type t = A | B end = struct type t = A [@deprecated] | B end
^^^^^^^^^^^^^^^
Definition
File "deprecated_module_assigment.ml", line 33, characters 27-28:
33 | module CSTR : sig type t = A | B end = struct type t = A [@deprecated] | B end
^
Expected signature
File "deprecated_module_assigment.ml", line 37, characters 2-20:
37 | type s = t = A | B
^^^^^^^^^^^^^^^^^^
Alert deprecated: A
File "deprecated_module_assigment.ml", line 36, characters 11-26:
36 | type t = A [@deprecated] | B
^^^^^^^^^^^^^^^
Definition
File "deprecated_module_assigment.ml", line 37, characters 15-16:
37 | type s = t = A | B
^
Expected signature
File "deprecated_module_assigment.ml", line 45, characters 0-58:
45 | struct type t = {mutable x: int [@deprecated_mutable]} end
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Alert deprecated: mutating field x
File "deprecated_module_assigment.ml", line 45, characters 17-53:
45 | struct type t = {mutable x: int [@deprecated_mutable]} end
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Definition
File "deprecated_module_assigment.ml", line 44, characters 14-28:
44 | sig type t = {mutable x: int} end =
^^^^^^^^^^^^^^
Expected signature
File "deprecated_module_assigment.ml", line 49, characters 2-31:
49 | type s = t = {mutable x: int}
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Alert deprecated: mutating field x
File "deprecated_module_assigment.ml", line 48, characters 12-48:
48 | type t = {mutable x: int [@deprecated_mutable]}
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Definition
File "deprecated_module_assigment.ml", line 49, characters 16-30:
49 | type s = t = {mutable x: int}
^^^^^^^^^^^^^^
Expected signature
File "deprecated_module_assigment.ml", line 54, characters 37-75:
54 | module TYPE : sig type t = int end = struct type t = int [@@deprecated] end
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Alert deprecated: t
File "deprecated_module_assigment.ml", line 54, characters 44-71:
54 | module TYPE : sig type t = int end = struct type t = int [@@deprecated] end
^^^^^^^^^^^^^^^^^^^^^^^^^^^
Definition
File "deprecated_module_assigment.ml", line 54, characters 18-30:
54 | module TYPE : sig type t = int end = struct type t = int [@@deprecated] end
^^^^^^^^^^^^
Expected signature
File "deprecated_module_assigment.ml", line 60, characters 0-52:
60 | struct class c = object end [@@deprecated "FOO"] end
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Alert deprecated: c
FOO
File "deprecated_module_assigment.ml", line 60, characters 7-48:
60 | struct class c = object end [@@deprecated "FOO"] end
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Definition
File "deprecated_module_assigment.ml", line 59, characters 4-24:
59 | sig class c : object end end =
^^^^^^^^^^^^^^^^^^^^
Expected signature
File "deprecated_module_assigment.ml", line 64, characters 0-57:
64 | struct class type c = object end [@@deprecated "FOO"] end
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Alert deprecated: c
FOO
File "deprecated_module_assigment.ml", line 64, characters 7-53:
64 | struct class type c = object end [@@deprecated "FOO"] end
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Definition
File "deprecated_module_assigment.ml", line 63, characters 4-29:
63 | sig class type c = object end end =
^^^^^^^^^^^^^^^^^^^^^^^^^
Expected signature
File "deprecated_module_assigment.ml", line 71, characters 0-55:
71 | struct module type S = sig end [@@deprecated "FOO"] end
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Alert deprecated: S
FOO
File "deprecated_module_assigment.ml", line 71, characters 7-51:
71 | struct module type S = sig end [@@deprecated "FOO"] end
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Definition
File "deprecated_module_assigment.ml", line 70, characters 4-27:
70 | sig module type S = sig end end =
^^^^^^^^^^^^^^^^^^^^^^^
Expected signature
File "deprecated_module_assigment.ml", line 82, characters 0-53:
82 | struct module M = struct end [@@deprecated "FOO"] end
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Alert deprecated: M
FOO
File "deprecated_module_assigment.ml", line 82, characters 7-49:
82 | struct module M = struct end [@@deprecated "FOO"] end
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Definition
File "deprecated_module_assigment.ml", line 81, characters 4-22:
81 | sig module M : sig end end =
^^^^^^^^^^^^^^^^^^
Expected signature
|
