Hello,
I'd like to second Svens second seconding of my request. In my
original post saying that you often need the length rather
understates the case I think. Occasions where you don't need
the length seem to be quite rare (for me at least).
Also, this function may enable more space efficient
On Tuesday 23 Mar 2004 12:51 am, Manuel M T Chakravarty wrote:
We might want to accumulate extra useful functions in the implementation
in an *extra* module and once there is enough interesting functionality
in there, we can start talking about Version 1.1 of the Addendum.
Does this sound
I think we need to decide how the further development of the FFI will
proceed. Given that Version 1.0 of the Addendum is frozen, I
am not in
favour of changing the Addendum anytime soon and certainly
not for small
matters, such as a convenience function.
We might want to accumulate