From ab5dea0fa076c2f6f5b25cd057e53ca41d50a060 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 20 Apr 2022 11:47:26 +0200
Subject: [PATCH] [doc] @modify -> @since
---
src/kernel_services/ast_data/annotations.mli | 2 +-
src/kernel_services/ast_queries/logic_typing.mli | 2 +-
src/libraries/stdlib/integer.mli | 9 +++++++--
3 files changed, 9 insertions(+), 4 deletions(-)
diff --git a/src/kernel_services/ast_data/annotations.mli b/src/kernel_services/ast_data/annotations.mli
index 79712871f4d..2b41a4e934e 100644
--- a/src/kernel_services/ast_data/annotations.mli
+++ b/src/kernel_services/ast_data/annotations.mli
@@ -281,7 +281,7 @@ val add_code_annot:
There can be at most one loop variant registered per statement.
Attempting to register a second one will result in a fatal error.
- @modify 22.0-Titanium: add keep_empty argument
+ @before 22.0-Titanium there was no [keep_empty] optional argument
*)
val add_assert:
diff --git a/src/kernel_services/ast_queries/logic_typing.mli b/src/kernel_services/ast_queries/logic_typing.mli
index ce3be97d3c1..9a86583db31 100644
--- a/src/kernel_services/ast_queries/logic_typing.mli
+++ b/src/kernel_services/ast_queries/logic_typing.mli
@@ -142,7 +142,7 @@ type typing_context = {
a text message indicating the issue) and the exception will be re-raised.
@since Chlorine-20180501
- @modify Frama-C+dev rollback takes as argument the error
+ @before Frama-C+dev [rollback] didn't take [loc] and [cause] as argument
*)
}
diff --git a/src/libraries/stdlib/integer.mli b/src/libraries/stdlib/integer.mli
index 33ec8281a3a..835c3fd4268 100644
--- a/src/libraries/stdlib/integer.mli
+++ b/src/libraries/stdlib/integer.mli
@@ -214,10 +214,15 @@ val to_string : t -> string
val of_string : string -> t
(** @raise Invalid_argument when the string cannot be parsed. *)
-(** @modify Frama-C+dev remove optional `hexa` argument *)
+(** Prints the integer in decimal format. See also {!pretty_hex}.
+
+ @before Frama-C+dev there was an optional [hexa] argument. *)
val pretty : t formatter
-(** @since Frama-C+dev *)
+(** Prints the integer in hexadecimal format (replaces [hexa] optional
+ argument of {!pretty} from older versions).
+
+ @since Frama-C+dev *)
val pretty_hex : t formatter
val pp_bin : ?nbits:int -> ?sep:string -> t formatter
--
GitLab