[Python-Dev] split('') revisited

[Martin v. Loewis]

Andrew Koenig <ark@research.att.com> writes:

> It seems to me that there are four reasonable courses of action:
> 
>    1) Do nothing -- the problem is too trivial to worry about.
> 
>    2) Change string split (and its documentation) to match regexp split.
> 
>    3) Change regexp split (and its documentation) to match string split.
> 
>    4) Change both string split and regexp split to do something else :-)

There is another option:

     5) Change the documentation of re.split to match the implemented
        behaviour.

Not that I could say what the implemented behaviour is, though :-(

Regards,
Martin