diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2012-05-02 14:40:23 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2012-05-02 14:40:23 +0000 |
commit | b8136a7ca829b1684c10f79f4030906c51d0875e (patch) | |
tree | 84c10827671345c51fc9840ef2a0f2b617604742 /stdlib | |
parent | 24653196b4a5dfb4915462a6184782edff199e08 (diff) |
documentation: I/O functions can raise Sys_error
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12417 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
-rw-r--r-- | stdlib/pervasives.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/stdlib/pervasives.mli b/stdlib/pervasives.mli index 1d8fd70e3..a131063ec 100644 --- a/stdlib/pervasives.mli +++ b/stdlib/pervasives.mli @@ -508,7 +508,9 @@ val ( @ ) : 'a list -> 'a list -> 'a list (** List concatenation. *) -(** {6 Input/output} *) +(** {6 Input/output} + Note: all input/output functions can raise [Sys_error] when the system + calls they invoke fail. *) type in_channel (** The type of input channel. *) |