Closed darrenldl closed 3 years ago
Approach settled on was to parse output from zdump (see code files in gen/
), and generates time_zone_data.ml
in gen_artifacts
. A copy stanza is added to dune files to copy gen_artifacts/time_zone_data.ml
.
Right now as of 2a6a0ff , only Pattern
resolution examines the transitions of time zone of interest. Hms interval is also formulated to use search based (namely it translates to between_exc).
Need
Draft of implementation
[t1, t2)
is not DST in effect,[t2, t3)
is DST in effect, then we retrieve corresponding timezone offsets offset12 for[t1, t2)
and offset23 for[t2, t3)
t
, we evaluate(change_tz_offset_s offset12 (interval_exc t1 t2 & t)) ||| (change_tz_offset_s offset23 (interval_exc t2 t3 & t))