+8
-0
lines changedFilter options
+8
-0
lines changed Original file line number Diff line number Diff line change
@@ -81,6 +81,12 @@
81
81
facility is fully type-checked at compile time.
82
82
*)
83
83
84
+
(** {2 Note on concurrent use} *)
85
+
86
+
(** Since values of type {!Scanning.in_channel} contain inner mutable states,
87
+
they are not safe to use concurrently without external synchronization.
88
+
*)
89
+
84
90
(** {1 Formatted input channel} *)
85
91
86
92
module Scanning : sig
@@ -92,6 +98,8 @@ type in_channel
92
98
A Scanf.Scanning.in_channel value is also called a {i formatted input
93
99
channel} or equivalently a {i scanning buffer}.
94
100
The type {!Scanning.scanbuf} below is an alias for [Scanning.in_channel].
101
+
Note that a [Scanning.in_channel] is not concurrency-safe: concurrent use
102
+
may produce arbitrary values or exceptions.
95
103
@since 3.12.0
96
104
*)
97
105
You can’t perform that action at this time.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4