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 -- Michal Mazurek