![](https://secure.gravatar.com/avatar/e6e28dcae5e3df0190e0760e96f7d8ab.jpg?s=120&d=mm&r=g)
April 2, 2018
8:59 p.m.
On 2018-04-02 11:40, MRAB wrote:
OTOH, it's not like it's causing a problem.
Well, not a big one, but there are arguments for keeping a language as simple as possible. Also every time an idea comes up for a string prefix, the combinatorial issue comes up again. If we could factor out an unnecessary 2x it might help there.