29 Jun
2006
29 Jun
'06
8:21 a.m.
>> "Tsuna" == Tsuna
<tsuna(a)warszawa.lrde.epita.fr> writes:
On 2006-06-23, Akim Demaille
<akim(a)lrde.epita.fr> wrote:
>>>> "SIGOURE" == SIGOURE Benoit
<sigoure.benoit(a)lrde.epita.fr> writes:
>
> > - ; (?i, ?decimals) // i="42", decimals="000000"
> > + ; ?(i, decimals) // i="42", decimals="000000"
>
> Mere optimization, or more mandatory?
It's a simple optimization.
Am I missing something, or else, shouldn't strc optimize this by
itself? I agree the latter is nicer anyway, but that's not the
point.