Proposal for a (small) enhancement to the value() function.
Currently, value(), defined in get.e, takes a sequence and returns {status code,
value read}.
The proposed enhancement is to return
{status code,
value read,
number of characters read,
number of leading whitespace characters}.
This can be done at the cost of creating a duplicated, slightly modified copy of
the internal Get() function, so that performance won't be affacted at all. get()
won't be affected, since where() will give you most of the same information.
Any thoughts? issues? other suggestions?
CChris
|
Not Categorized, Please Help
|
|