diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2004-01-01 16:42:43 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2004-01-01 16:42:43 +0000 |
| commit | 5a678d29f58926a5cd7db0c9121c69cb603a77f9 (patch) | |
| tree | c8157238e17990d5d90f9eeb1c08506e253593bb /stdlib/int32.ml | |
| parent | 331b2d89c3dc4fb7e1b51276a5a9e37a6c8c8b3a (diff) | |
| download | ocaml-5a678d29f58926a5cd7db0c9121c69cb603a77f9.tar.gz | |
depollution suite (PR#1914 et PR#1956)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6045 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/int32.ml')
| -rw-r--r-- | stdlib/int32.ml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/int32.ml b/stdlib/int32.ml index a267c0b320..0700ffdd99 100644 --- a/stdlib/int32.ml +++ b/stdlib/int32.ml @@ -29,10 +29,10 @@ external shift_right : int32 -> int -> int32 = "%int32_asr" external shift_right_logical : int32 -> int -> int32 = "%int32_lsr" external of_int : int -> int32 = "%int32_of_int" external to_int : int32 -> int = "%int32_to_int" -external of_float : float -> int32 = "int32_of_float" -external to_float : int32 -> float = "int32_to_float" -external bits_of_float : float -> int32 = "int32_bits_of_float" -external float_of_bits : int32 -> float = "int32_float_of_bits" +external of_float : float -> int32 = "caml_int32_of_float" +external to_float : int32 -> float = "caml_int32_to_float" +external bits_of_float : float -> int32 = "caml_int32_bits_of_float" +external float_of_bits : int32 -> float = "caml_int32_float_of_bits" let zero = 0l let one = 1l @@ -44,10 +44,10 @@ let min_int = 0x80000000l let max_int = 0x7FFFFFFFl let lognot n = logxor n (-1l) -external format : string -> int32 -> string = "int32_format" +external format : string -> int32 -> string = "caml_int32_format" let to_string n = format "%d" n -external of_string : string -> int32 = "int32_of_string" +external of_string : string -> int32 = "caml_int32_of_string" type t = int32 |