archives

« Bugzilla Issues Index

#4036 — 20.3.1.9: various


In 20.3.1.9 "Local Time",

(a) The section header should have a parameter list.

(b) The abstract operation UTC should presumably have a section of its own.

(c) UTC / step 2 says:
ReturnIfAbrupt(t). t – LocalTZA – DaylightSavingTA(t – LocalTZA).

s|ReturnIfAbrupt(t).|Return|

(d) In the Note, it might be helpful to give an example where the equality
doesn't hold.


fixed in rev35 editor's draft

fixed a-c

I'm not qualified to provide the example for (d) (plus it's probably subject to changes as the political entities that control DST play their games)

Since it's just an informative note, I'm not too concerned about it.


fixed in rev35