Implementer length_nat par %obj_size au lieu de %array_length, qui

(a cause de l'overloading des tableaux) est moins efficace.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1005 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Xavier Leroy 1996-09-23 11:31:32 +00:00
parent 8d069d7e00
commit 60097c00e2
2 changed files with 2 additions and 2 deletions

View File

@ -25,7 +25,7 @@ external blit_nat: nat -> int -> nat -> int -> int -> unit = "blit_nat"
val copy_nat: nat -> int -> int -> nat
external set_digit_nat: nat -> int -> int -> unit = "set_digit_nat"
external nth_digit_nat: nat -> int -> int = "nth_digit_nat"
external length_nat: nat -> int = "%array_length"
external length_nat: nat -> int = "%obj_size"
val length_nat : nat -> int
external num_digits_nat: nat -> int -> int -> int = "num_digits_nat"
external num_leading_zero_bits_in_digit: nat -> int -> int = "num_leading_zero_bits_in_digit"

View File

@ -24,7 +24,7 @@ external set_to_zero_nat: nat -> int -> int -> unit = "set_to_zero_nat"
external blit_nat: nat -> int -> nat -> int -> int -> unit = "blit_nat"
external set_digit_nat: nat -> int -> int -> unit = "set_digit_nat"
external nth_digit_nat: nat -> int -> int = "nth_digit_nat"
external length_nat: nat -> int = "%array_length"
external length_nat: nat -> int = "%obj_size"
external num_digits_nat: nat -> int -> int -> int = "num_digits_nat"
external num_leading_zero_bits_in_digit: nat -> int -> int = "num_leading_zero_bits_in_digit"
external is_digit_int: nat -> int -> bool = "is_digit_int"