blob: 93640dd3eeabd52246cc0c7bc8b788cf794c099d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
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.
|