diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-06-15 08:10:01 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-06-15 08:10:01 +0000 |
| commit | 9ef4bd08d158b513a349709f6e6b08aa37d2f190 (patch) | |
| tree | f57443d0d2134f9feb35e64918c20b40e4cfc34e /stdlib/array.mli | |
| parent | 00f1ca9d88753a8f1985862f5fd3ce3866a0c514 (diff) | |
Passage de {Array,String}.{get,set} en primitives C.
Renommage %array_get -> %array_unsafe_get, etc.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@31 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/array.mli')
| -rw-r--r-- | stdlib/array.mli | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/array.mli b/stdlib/array.mli index 28f1e586d..e0d9983d7 100644 --- a/stdlib/array.mli +++ b/stdlib/array.mli @@ -2,8 +2,8 @@ external length : 'a array -> int = "%array_length" -val get: 'a array -> int -> 'a -val set: 'a array -> int -> 'a -> unit +external get: 'a array -> int -> 'a = "array_get" +external set: 'a array -> int -> 'a -> unit = "array_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 @@ -17,6 +17,6 @@ val map: ('a -> 'b) -> 'a array -> 'b array val to_list: 'a array -> 'a list val of_list: 'a list -> 'a array -external unsafe_get: 'a array -> int -> 'a = "%array_get" -external unsafe_set: 'a array -> int -> 'a -> unit = "%array_set" +external unsafe_get: 'a array -> int -> 'a = "%array_unsafe_get" +external unsafe_set: 'a array -> int -> 'a -> unit = "%array_unsafe_set" |