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