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
|
File "w53_without_cmi.ml", line 6, characters 4-9:
6 | [@@@alert xyz "xyz"] (* rejected *)
^^^^^
Warning 53 [misplaced-attribute]: the alert attribute cannot appear in this context
File "w53_without_cmi.ml", line 9, characters 6-11:
9 | [@@@alert foo "foo"] (* rejected *)
^^^^^
Warning 53 [misplaced-attribute]: the alert attribute cannot appear in this context
File "w53_with_cmi.mli", line 6, characters 4-9:
6 | [@@@alert xyz "xyz"] (* rejected *)
^^^^^
Warning 53 [misplaced-attribute]: the alert attribute cannot appear in this context
File "w53_with_cmi.ml", line 1, characters 4-9:
1 | [@@@alert foo "foo"] (* rejected *)
^^^^^
Warning 53 [misplaced-attribute]: the alert attribute cannot appear in this context
File "w53_with_cmi.ml", line 2, characters 4-9:
2 | [@@@alert bar "bar"] (* rejected *)
^^^^^
Warning 53 [misplaced-attribute]: the alert attribute cannot appear in this context
File "w53_with_cmi.ml", line 6, characters 4-9:
6 | [@@@alert xyz "xyz"] (* rejected *)
^^^^^
Warning 53 [misplaced-attribute]: the alert attribute cannot appear in this context
File "w53_across_cmi.ml", line 17, characters 5-20:
17 | open W53_without_cmi
^^^^^^^^^^^^^^^
Alert bar: module W53_without_cmi
bar
File "w53_across_cmi.ml", line 17, characters 5-20:
17 | open W53_without_cmi
^^^^^^^^^^^^^^^
Alert foo: module W53_without_cmi
foo
File "w53_across_cmi.ml", line 18, characters 5-17:
18 | open W53_with_cmi
^^^^^^^^^^^^
Alert bar: module W53_with_cmi
bar(I)
File "w53_across_cmi.ml", line 18, characters 5-17:
18 | open W53_with_cmi
^^^^^^^^^^^^
Alert foo: module W53_with_cmi
foo(I)
|
