diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-05-04 12:48:07 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-05-04 12:48:07 +0000 |
| commit | 623e2fbc005eec3bc79bbd81b8cff39ad5458f32 (patch) | |
| tree | 93fe20d291da158bd38dbfe76c7388ef50088142 /stdlib/pervasives.ml | |
| parent | 1953de21ef74e21a814e5ea6323e25aae1ade520 (diff) | |
| download | ocaml-623e2fbc005eec3bc79bbd81b8cff39ad5458f32.tar.gz | |
Ajout de Sys.file_exists
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/pervasives.ml')
| -rw-r--r-- | stdlib/pervasives.ml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/stdlib/pervasives.ml b/stdlib/pervasives.ml index bc10141586..e406db952b 100644 --- a/stdlib/pervasives.ml +++ b/stdlib/pervasives.ml @@ -134,7 +134,12 @@ let stderr = open_descriptor_out 2 (* General output functions *) -open Sys +type open_flag = + Open_rdonly | Open_wronly | Open_rdwr + | Open_append | Open_creat | Open_trunc | Open_excl + | Open_binary | Open_text + +external open_desc: string -> open_flag list -> int -> int = "sys_open" let open_out_gen mode perm name = open_descriptor_out(open_desc name mode perm) |