diff options
author | Jonathan Protzenko <Jonathan.Protzenko@ens-lyon.org> | 2012-01-18 10:04:15 +0000 |
---|---|---|
committer | Jonathan Protzenko <Jonathan.Protzenko@ens-lyon.org> | 2012-01-18 10:04:15 +0000 |
commit | fc3bfa68d51d7150c8edc625bfb2abcc4b1db45a (patch) | |
tree | 548b24128df44869286b394c8e32b80d93006802 | |
parent | 48d5f48d6d587b9fdc336bb932a3ad693664e5d7 (diff) | |
download | ocaml-fc3bfa68d51d7150c8edc625bfb2abcc4b1db45a.tar.gz |
Merge branch 'pending'
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | otherlibs/bigarray/bigarray.mli | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/otherlibs/bigarray/bigarray.mli b/otherlibs/bigarray/bigarray.mli index a66e1eebbd..ed60976f70 100644 --- a/otherlibs/bigarray/bigarray.mli +++ b/otherlibs/bigarray/bigarray.mli @@ -418,7 +418,13 @@ module Genarray : than the big array, only the initial portion of the file is mapped to the big array. If the file is smaller than the big array, the file is automatically grown to the size of the big array. - This requires write permissions on [fd]. *) + This requires write permissions on [fd]. + + Array accesses are bounds-checked, but the bounds are determined by + the initial call to [map_file]. Therefore, you should make sure no + other process modifies the mapped file while you're accessing it, + or a SIGBUS signal may be raised. This happens, for instance, if the + file is shrinked. *) end |