From: Brian H. <bri...@ql...> - 2003-05-15 18:42:56
|
On Wed, 14 May 2003, Nicolas Cannasse wrote: > > I liked the ability to specify resizer functions at creation time. > > Different xarrays, used for different purposes, might need different > > reallocation routines. If the signatures aren't the most legible, a doc > > comment should clear up the confusion. > > I understand you, but it add to be in many functions if you want to do so. > Perhaps only for XArray.make would be enough ? How about this. We leave the resizer function off all the extant functions, but add three functions: val set_resizer : resizer_t -> t -> unit (* sets the resizer function for an xarray *) val get_resizer : t -> resizer_t (* gets the current resizer function for a given xarray *) val default_resizer : resizer_t (* the default resizer function the library is using- allowing the library to change default schemes later on, and making it a more memorable name. *) Brian |