diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-07-27 17:44:04 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-07-27 17:44:04 +0000 |
commit | 3843b0cddbc532d33a42f0d04378f9ccdec5f907 (patch) | |
tree | 39821009262f70b6073a855e61f2644dc06156ca | |
parent | 863984ea8ba4be4fc317680c3c457aa8f89c2c72 (diff) |
Declarations des primitives flottantes.
Declaration des primitives sur les objets.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@154 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | stdlib/obj.ml | 6 | ||||
-rw-r--r-- | stdlib/obj.mli | 6 | ||||
-rw-r--r-- | stdlib/pervasives.ml | 22 | ||||
-rw-r--r-- | stdlib/pervasives.mli | 22 |
4 files changed, 28 insertions, 28 deletions
diff --git a/stdlib/obj.ml b/stdlib/obj.ml index 247f4cdf5..8fe21c7f6 100644 --- a/stdlib/obj.ml +++ b/stdlib/obj.ml @@ -6,7 +6,7 @@ external repr : 'a -> t = "%identity" external magic : 'a -> 'b = "%identity" external is_block : t -> bool = "obj_is_block" external tag : t -> int = "obj_tag" -external size : t -> int = "%array_length" -external field : t -> int -> t = "%array_unsafe_get" -external set_field : t -> int -> t -> unit = "%array_unsafe_set" +external size : t -> int = "%obj_size" +external field : t -> int -> t = "%obj_field" +external set_field : t -> int -> t -> unit = "%obj_set_field" external new_block : int -> int -> t = "obj_block" diff --git a/stdlib/obj.mli b/stdlib/obj.mli index 247f4cdf5..8fe21c7f6 100644 --- a/stdlib/obj.mli +++ b/stdlib/obj.mli @@ -6,7 +6,7 @@ external repr : 'a -> t = "%identity" external magic : 'a -> 'b = "%identity" external is_block : t -> bool = "obj_is_block" external tag : t -> int = "obj_tag" -external size : t -> int = "%array_length" -external field : t -> int -> t = "%array_unsafe_get" -external set_field : t -> int -> t -> unit = "%array_unsafe_set" +external size : t -> int = "%obj_size" +external field : t -> int -> t = "%obj_field" +external set_field : t -> int -> t -> unit = "%obj_set_field" external new_block : int -> int -> t = "obj_block" diff --git a/stdlib/pervasives.ml b/stdlib/pervasives.ml index 9583308fb..384cb905b 100644 --- a/stdlib/pervasives.ml +++ b/stdlib/pervasives.ml @@ -59,17 +59,17 @@ external (+.) : float -> float -> float = "%addfloat" external (-.) : float -> float -> float = "%subfloat" external ( *. ) : float -> float -> float = "%mulfloat" external (/.) : float -> float -> float = "%divfloat" -external ( ** ) : float -> float -> float = "power_float" -external exp : float -> float = "exp_float" -external log : float -> float = "log_float" -external sqrt : float -> float = "sqrt_float" -external sin : float -> float = "sin_float" -external cos : float -> float = "cos_float" -external tan : float -> float = "tan_float" -external asin : float -> float = "asin_float" -external acos : float -> float = "acos_float" -external atan : float -> float = "atan_float" -external atan2 : float -> float -> float = "atan2_float" +external ( ** ) : float -> float -> float = "power_float" "pow" "float" +external exp : float -> float = "exp_float" "exp" "float" +external log : float -> float = "log_float" "log" "float" +external sqrt : float -> float = "sqrt_float" "sqrt" "float" +external sin : float -> float = "sin_float" "sin" "float" +external cos : float -> float = "cos_float" "cos" "float" +external tan : float -> float = "tan_float" "tan" "float" +external asin : float -> float = "asin_float" "asin" "float" +external acos : float -> float = "acos_float" "acos" "float" +external atan : float -> float = "atan_float" "atan" "float" +external atan2 : float -> float -> float = "atan2_float" "atan2" "float" let abs_float f = if f >= 0.0 then f else -. f diff --git a/stdlib/pervasives.mli b/stdlib/pervasives.mli index 4e439c4ce..84e5f92d5 100644 --- a/stdlib/pervasives.mli +++ b/stdlib/pervasives.mli @@ -76,17 +76,17 @@ external (+.) : float -> float -> float = "%addfloat" external (-.) : float -> float -> float = "%subfloat" external ( *. ) : float -> float -> float = "%mulfloat" external (/.) : float -> float -> float = "%divfloat" -external ( ** ) : float -> float -> float = "power_float" -external exp : float -> float = "exp_float" -external log : float -> float = "log_float" -external sqrt : float -> float = "sqrt_float" -external sin : float -> float = "sin_float" -external cos : float -> float = "cos_float" -external tan : float -> float = "tan_float" -external asin : float -> float = "asin_float" -external acos : float -> float = "acos_float" -external atan : float -> float = "atan_float" -external atan2 : float -> float -> float = "atan2_float" +external ( ** ) : float -> float -> float = "power_float" "pow" "float" +external exp : float -> float = "exp_float" "exp" "float" +external log : float -> float = "log_float" "log" "float" +external sqrt : float -> float = "sqrt_float" "sqrt" "float" +external sin : float -> float = "sin_float" "sin" "float" +external cos : float -> float = "cos_float" "cos" "float" +external tan : float -> float = "tan_float" "tan" "float" +external asin : float -> float = "asin_float" "asin" "float" +external acos : float -> float = "acos_float" "acos" "float" +external atan : float -> float = "atan_float" "atan" "float" +external atan2 : float -> float -> float = "atan2_float" "atan2" "float" val abs_float : float -> float external float : int -> float = "%floatofint" external truncate : float -> int = "%intoffloat" |