Showing content from http://mail.python.org/pipermail/python-dev/attachments/20150911/1947d64b/attachment.html below:
<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Sep 11, 2015 at 9:51 PM, Glenn Linderman <span dir="ltr"><<a href="mailto:v+python@g.nevcal.com" target="_blank">v+python@g.nevcal.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">It wasn't intended to argue for not defining the operations, just
intended to justify that it is partial ordering...</blockquote></div><br>It is not even that. Note that even partial ordering still requires transitivity of <=, but we don't have that in datetime:</div><div class="gmail_extra"><br></div><div class="gmail_extra"><div class="gmail_extra"><div class="gmail_extra">>>> from datetime import *</div><div class="gmail_extra">>>> from datetimetester import Eastern</div><div class="gmail_extra">>>> UTC = timezone.utc</div><div class="gmail_extra">>>> a = datetime(2002, 4, 7, 1, 40, tzinfo=Eastern)</div><div class="gmail_extra">>>> b = datetime(2002, 4, 7, 2, tzinfo=Eastern)</div><div class="gmail_extra">>>> c = datetime(2002, 4, 7, 6, 20, tzinfo=UTC)</div><div class="gmail_extra">>>> a <= b <= c</div><div class="gmail_extra">True</div><div class="gmail_extra">>>> a <= c</div><div class="gmail_extra">False</div></div><div class="gmail_extra"><br></div><div class="gmail_extra">The above session is run in the currently released python. The Eastern timezone implementation is imported from the CPython test suit.</div><div class="gmail_extra"><br></div><div class="gmail_extra">The fact that transitivity of <= is already broken gives me little comfort because pretty much everything involving "problem times" is currently broken and users expect that. PEP 495, however, is expected to fix the issues with the problem times and not just replace one broken behavior with another.  </div></div></div>
RetroSearch is an open source project built by @garambo
| Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4