summaryrefslogtreecommitdiffstats
path: root/stdlib/sys.ml
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1995-05-04 12:48:07 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1995-05-04 12:48:07 +0000
commit623e2fbc005eec3bc79bbd81b8cff39ad5458f32 (patch)
tree93fe20d291da158bd38dbfe76c7388ef50088142 /stdlib/sys.ml
parent1953de21ef74e21a814e5ea6323e25aae1ade520 (diff)
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/sys.ml')
-rw-r--r--stdlib/sys.ml8
1 files changed, 1 insertions, 7 deletions
diff --git a/stdlib/sys.ml b/stdlib/sys.ml
index b6172e418..79a40d9b3 100644
--- a/stdlib/sys.ml
+++ b/stdlib/sys.ml
@@ -1,18 +1,12 @@
(* System interface *)
-type open_flag =
- Open_rdonly | Open_wronly | Open_rdwr
- | Open_append | Open_creat | Open_trunc | Open_excl
- | Open_binary | Open_text
-
external get_argv: unit -> string array = "sys_get_argv"
let argv = get_argv()
+external file_exists: string -> bool = "sys_file_exists"
external remove: string -> unit = "sys_remove"
external getenv: string -> string = "sys_getenv"
-external open_desc: string -> open_flag list -> int -> int = "sys_open"
-external close_desc: int -> unit = "sys_close"
external command: string -> int = "sys_system_command"
external chdir: string -> unit = "sys_chdir"