blob: 5cb2b42622c3c207bee00d66b150ed9b5a6642c0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
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 *)
^^^^^^^
Warning 33 [unused-open]: unused open T1.
|
