blob: fc79e8cc5deca14416ba38c70d3dcce183f83870 (
plain)
1
2
3
4
5
6
7
8
|
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
|