blob: f5a24886ce64e8429a37b1d26480a175f3c7bf53 (
plain)
1
2
3
4
5
6
7
8
9
|
File "w03.ml", line 14, characters 8-9:
14 | let _ = A
^
Alert deprecated: A
File "w03.ml", line 17, characters 12-26:
17 | exception B [@@deprecated]
^^^^^^^^^^^^^^
Warning 53 [misplaced-attribute]: the "deprecated" attribute cannot appear in this context
|