diff options
author | Jules Aguillon <jules@j3s.fr> | 2022-02-16 15:45:02 +0100 |
---|---|---|
committer | Jules Aguillon <jules@j3s.fr> | 2022-02-22 17:40:44 +0100 |
commit | b071ab52915b4fe1d9c74cafe2ad3164e10e8f8c (patch) | |
tree | 10d1ca7097c0357254f4ab19b9164b757713717b /ocamldoc/odoc_info.ml | |
parent | d3cdba1918547a94b99faf578e4079a82de2c048 (diff) | |
download | ocaml-b071ab52915b4fe1d9c74cafe2ad3164e10e8f8c.tar.gz |
ocamldoc: Handle @@alert and @@deprecated attributes
[@@deprecated] is treated the same as [@@alert deprecated]. Alerts are
rendered one per line, at the end of the comment.
Diffstat (limited to 'ocamldoc/odoc_info.ml')
-rw-r--r-- | ocamldoc/odoc_info.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ocamldoc/odoc_info.ml b/ocamldoc/odoc_info.ml index 19d04314af..eb4cee06ff 100644 --- a/ocamldoc/odoc_info.ml +++ b/ocamldoc/odoc_info.ml @@ -85,6 +85,8 @@ type info = Odoc_types.info = { i_custom : (string * text) list ; } +type alert = Odoc_types.alert = { alert_name : string; alert_payload : string option } + type location = Odoc_types.location = { loc_impl : Location.t option ; loc_inter : Location.t option ; |