Hello again,
I wrote:
[...] In principle, it should not be too hard to implement
New (allocator_function, other_parameters)
but with the current implementation of `New' it would need some nontrivial work in the parser.
The following would be much easier to implement (including the implicit `with':-):
New (other_parameters : optional_allocator_function);
What we are still looking for is a syntax to allow for additional parameters (such as a memory pool) to the allocator function. Perhaps like this?
New (other_parameters : optional_allocator_function : parameter, parameter, parameter);
An alternative like this
New (other_parameters : optional_allocator_function (parameter, parameter, parameter));
would look nicer for me, but it would be very difficult to parse.
Suggestions welcome,
Peter