diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-07-10 09:48:27 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-07-10 09:48:27 +0000 |
| commit | c226d5efeb43f25c7086e89733ec8073262aa2e0 (patch) | |
| tree | 481cda5fe83465c0acf991782d8848ec867bd946 /stdlib/array.mli | |
| parent | bbbf6d016497de98d776934e20fbac905d48d6a1 (diff) | |
Branchement du GC de la version bytecode sur le compilateur natif
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@72 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/array.mli')
| -rw-r--r-- | stdlib/array.mli | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/stdlib/array.mli b/stdlib/array.mli index e0d9983d7..04968bce9 100644 --- a/stdlib/array.mli +++ b/stdlib/array.mli @@ -1,9 +1,8 @@ (* Array operations *) external length : 'a array -> int = "%array_length" - -external get: 'a array -> int -> 'a = "array_get" -external set: 'a array -> int -> 'a -> unit = "array_set" +external get: 'a array -> int -> 'a = "%array_safe_get" +external set: 'a array -> int -> 'a -> unit = "%array_safe_set" external new: int -> 'a -> 'a array = "make_vect" val new_matrix: int -> int -> 'a -> 'a array array val append: 'a array -> 'a array -> 'a array |