type 'a index = int -> 'a
let level a = a.level
let create_with_level level a = {
- line = Array.create 0 a;
+ line = Array.make 0 a;
dummy = a;
offset = ~-1;
level = level;
if i < offset then begin (* bottom resize *)
let pad = offset - i in
let nlen = len + pad in
- let narray = Array.create nlen a.dummy in
+ let narray = Array.make nlen a.dummy in
for j = 0 to len - 1 do
narray.(j+pad) <- a.line.(j)
done;
end else begin (* top resize *)
(* preventively allocate the space for the following elements *)
let nlen = ((i - offset + 1) lsl 1) + 1 in
- let narray = Array.create nlen a.dummy in
+ let narray = Array.make nlen a.dummy in
for j = 0 to len - 1 do
narray.(j) <- a.line.(j);
done;