diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 1997-09-11 15:10:23 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 1997-09-11 15:10:23 +0000 |
| commit | c44e6f999a4b06a4b0e961e8607ab8c557501a57 (patch) | |
| tree | 3255033ee7995334288ca1ed7cd17d2b1de45451 /stdlib/sys.ml | |
| parent | 1d41f4abb025864b1aee444790b613cc5f0a444a (diff) | |
arg.ml, arg.mli, string.mli: amelioration de la doc
array.mli, array.ml, random.ml: create -> make (coherence avec String)
sys.ml, sys.mli: ajout max_string_length, max_array_length
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1706 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/sys.ml')
| -rw-r--r-- | stdlib/sys.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/stdlib/sys.ml b/stdlib/sys.ml index 0a117bc40..475bacadb 100644 --- a/stdlib/sys.ml +++ b/stdlib/sys.ml @@ -18,6 +18,8 @@ external get_argv: unit -> string array = "sys_get_argv" let argv = get_argv() let (os_type, word_size) = get_config() +let max_array_length = (1 lsl (word_size - 10)) - 1;; +let max_string_length = word_size / 8 * max_array_length - 1;; external file_exists: string -> bool = "sys_file_exists" external remove: string -> unit = "sys_remove" |