Re: [Python-Dev] time.clock_info() field names

2012-06-12 Thread Victor Stinner
2012/5/4 Victor Stinner victor.stin...@gmail.com: Anyway, the implementation and/or the documentation is buggy and should be fixed (especially the Windows case). Done, I renamed adjusted to adjustable, fixed its value on Windows (time.time) and Linux (time.monotonic), and updated the doc. --

Re: [Python-Dev] time.clock_info() field names

2012-05-03 Thread Victor Stinner
To me, adjusted and is_adjusted both imply that an adjustment has already been made; adjustable only implies that it is possible. The documentation is: True if the clock can be adjusted (e.g. by a NTP daemon), False otherwise. I prefer adjustable, because no OS tell us if the clock has an

Re: [Python-Dev] time.clock_info() field names

2012-05-03 Thread Cameron Simpson
On 04May2012 01:47, Victor Stinner victor.stin...@gmail.com wrote: | I prefer adjustable, because no OS tell us if the clock has an | ajustement or not... except Windows: see GetSystemTimeAdjustment(). | http://msdn.microsoft.com/en-us/library/windows/desktop/ms724394%28v=vs.85%29.aspx | | I

Re: [Python-Dev] time.clock_info() field names

2012-05-03 Thread Victor Stinner
I'm -1 on that. To my mind adjustable suggests that the caller can adjust the clock, while adjusted suggests that the clock may be adjusted by a mechanism outside the caller's hands. That latter is the meaning in the context of the PEP. Anyway, the implementation and/or the documentation is

Re: [Python-Dev] time.clock_info() field names

2012-05-03 Thread Nick Coghlan
On Fri, May 4, 2012 at 10:12 AM, Cameron Simpson c...@zip.com.au wrote: On 04May2012 01:47, Victor Stinner victor.stin...@gmail.com wrote: | I prefer adjustable, because no OS tell us if the clock has an | ajustement or not... except Windows: see GetSystemTimeAdjustment(). |

Re: [Python-Dev] time.clock_info() field names

2012-05-01 Thread Benjamin Peterson
I've now renamed is_monotonic to monotonic and is_adjusted to adjusted. 2012/4/29 Benjamin Peterson benja...@python.org: Hi, I see PEP 418 gives time.clock_info() two boolean fields named is_monotonic and is_adjusted. I think the is_ is unnecessary and a bit ugly, and they could just be

Re: [Python-Dev] time.clock_info() field names

2012-04-30 Thread Mark Shannon
Benjamin Peterson wrote: 2012/4/29 Jim J. Jewett jimjjew...@gmail.com: In http://mail.python.org/pipermail/python-dev/2012-April/119134.html Benjamin Peterson wrote: I see PEP 418 gives time.clock_info() two boolean fields named is_monotonic and is_adjusted. I think the is_ is unnecessary

Re: [Python-Dev] time.clock_info() field names

2012-04-30 Thread Cameron Simpson
On 29Apr2012 21:31, Benjamin Peterson benja...@python.org wrote: | 2012/4/29 Jim J. Jewett jimjjew...@gmail.com: | In http://mail.python.org/pipermail/python-dev/2012-April/119134.html | Benjamin Peterson wrote: | | I see PEP 418 gives time.clock_info() two boolean fields named | is_monotonic

Re: [Python-Dev] time.clock_info() field names

2012-04-30 Thread Cameron Simpson
On 30Apr2012 09:26, Mark Shannon m...@hotpy.org wrote: | monotonic is an adjective, Yes. | whereas adjusted is (part of) a verb. No. It is an adjective. | I think | both should be adjectives. Does adjusted mean that it has been | adjusted, that it can be adjusted or it will be adjusted?

[Python-Dev] time.clock_info() field names

2012-04-29 Thread Benjamin Peterson
Hi, I see PEP 418 gives time.clock_info() two boolean fields named is_monotonic and is_adjusted. I think the is_ is unnecessary and a bit ugly, and they could just be renamed monotonic and adjusted. Thoughts? -- Regards, Benjamin ___ Python-Dev

Re: [Python-Dev] time.clock_info() field names

2012-04-29 Thread Antoine Pitrou
On Sun, 29 Apr 2012 19:25:16 -0400 Benjamin Peterson benja...@python.org wrote: Hi, I see PEP 418 gives time.clock_info() two boolean fields named is_monotonic and is_adjusted. I think the is_ is unnecessary and a bit ugly, and they could just be renamed monotonic and adjusted. Thoughts?

[Python-Dev] time.clock_info() field names

2012-04-29 Thread Jim J. Jewett
In http://mail.python.org/pipermail/python-dev/2012-April/119134.html Benjamin Peterson wrote: I see PEP 418 gives time.clock_info() two boolean fields named is_monotonic and is_adjusted. I think the is_ is unnecessary and a bit ugly, and they could just be renamed monotonic and adjusted. I

Re: [Python-Dev] time.clock_info() field names

2012-04-29 Thread Benjamin Peterson
2012/4/29 Jim J. Jewett jimjjew...@gmail.com: In http://mail.python.org/pipermail/python-dev/2012-April/119134.html Benjamin Peterson wrote: I see PEP 418 gives time.clock_info() two boolean fields named is_monotonic and is_adjusted. I think the is_ is unnecessary and a bit ugly, and they