On Wed, Dec 21, 2016 at 09:59:18AM +0100, Michal Mazurek wrote:
> On 22:49:38, 20.12.16, Jason McIntyre wrote:
> > On Tue, Dec 20, 2016 at 10:58:40PM +0100, Michal Mazurek wrote:
> > > While there is nothing wrong with "while true", "while :" is better
> > > and used a lot more often in the source tree.
> > > 
> > > OK?
> > > 
> > 
> > i'm not sure why "while :" is better in this example, but "while true"
> > is clearer, i think. allowing for differences in preference, is their a
> > good reason to change what's there?
> 
> ":" is a builtin, and appears to be the proper idiom as evidenced by the
> source tree:
> 
> $ grep -r 'while true' . | wc -l
>       11
> 
> $ grep -r 'while :' . | wc -l
>      156
> 

morning.

"true" is also a built-in. the only difference i can see really is that
":" is classed as a special built-in, but in the sleep example i don;t
see that being relevant.

it is maybe not used so much in the tree but it is correct. i still
don;t see the point of the change.

jmc

Reply via email to