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
