I am trying to create a dynamically resizable array. So far this is what I have:

type 'a darray = {
    mutable size_of_buf : int;
    mutable num_in_buf : int;
    mutable buf : 'a array;
  }
;;

let create t = { size_of_buf=20; num_in_buf=0; buf = Array.make 20 t; }
;;

I want to create a function that can resize this array. I want the
function to look something like this:

let resize dyn_array_ref new_size =
  
;;

The function resize should table a reference to a darray record, and
an int that specifies the new desired size of the array. There should
be no return value.

The problem I am running into is that I don't know how to create a new
larger array of the same time as the original array. The only two
choices that I can think of are: 1. Somehow store the type of the
array in the record or 2. Somehow get the array element type from the
"buf" array in the record.

Unfortunately I have no idea about how to do either 1 or 2.

I know there is atleast one package/module that provides this
functionality. But I don't want to use someone elses code - I am
trying to learn OCaml and I think this would be a good thing to do
with my own code.

Any help will be appreciated.
-Ram

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners