<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">On Thu, Dec 31, 2020 at 1:14 PM Paul Eggert <<a href="mailto:eggert@cs.ucla.edu">eggert@cs.ucla.edu</a>> wrote:<br></div></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 12/31/20 11:22 AM, Brian Park wrote:<br>
> The thing that I was wondering was whether the semantics of the zone info<br>
> text files actually mandated a transition from 2:00 to 1:00 for Grand_Turk,<br>
> if the Zone entry was set to 2:00, instead of its current 3:00 value. Or<br>
> whether the special case in the zic compiler was an additional rule on top<br>
> of the normal semantics of the zone info text files, in order to parse the<br>
> Grand_Turk case properly.<br>
<br>
The latter. That is, original semantics would have required two <br>
transitions there, but when this sort of problem was discovered in the <br>
mid-1990s the zic behavior was changed by adding the special case. <br>
Unfortunately, this special case wasn't documented in the zic man page <br>
until recently.<br>
<br>
The recent doc change is here:<br>
<br>
<a href="https://github.com/eggert/tz/commit/b804a741d5cdb5d1b761de9ad053ba916fa08636" rel="noreferrer" target="_blank">https://github.com/eggert/tz/commit/b804a741d5cdb5d1b761de9ad053ba916fa08636</a><br>
<br>
and you can see a recent message about this here:<br>
<br>
<a href="https://mm.icann.org/pipermail/tz/2020-December/029616.html" rel="noreferrer" target="_blank">https://mm.icann.org/pipermail/tz/2020-December/029616.html</a></blockquote><div><br></div><div style="font-family:arial,helvetica,sans-serif" class="gmail_default">Yup, I did read those messages, and the 1996  emails too. I am still confused why the normal semantics require 2 transitions. Could you be kind enough to explain? Because I implemented my code before I knew about the special code in zic(1) to handle this case. My code produces only one transition for Grand_Turk at 2:00, and one transition for the original Atlantic/Stanley zone at 00:00 on Sept 15 1985, as referenced in the 1996 email thread.<br></div><div style="font-family:arial,helvetica,sans-serif" class="gmail_default"><br></div><div style="font-family:arial,helvetica,sans-serif" class="gmail_default">Brian<br></div></div></div>