summaryrefslogtreecommitdiffstats
path: root/stdlib/printexc.mli
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/printexc.mli')
-rw-r--r--stdlib/printexc.mli4
1 files changed, 4 insertions, 0 deletions
diff --git a/stdlib/printexc.mli b/stdlib/printexc.mli
index 12e021c23..c347b9915 100644
--- a/stdlib/printexc.mli
+++ b/stdlib/printexc.mli
@@ -181,6 +181,8 @@ val backtrace_slots : raw_backtrace -> backtrace_slot array option
debug information ([-g])
- the program is a bytecode program that has not been linked with
debug information enabled ([ocamlc -g])
+
+ @since 4.02.0
*)
type location = {
@@ -247,6 +249,8 @@ type raw_backtrace_slot
elements are equal, then they represent the same source location
(the converse is not necessarily true in presence of inlining,
for example).
+
+ @since 4.02.0
*)
val raw_backtrace_length : raw_backtrace -> int