feat(time): wall-clock DateTime, TimeOfDay and fixed UTC offsets #395

Merged

argus merged 1 commit from loop/387-wall-clock-time into main 2026-10-20 22:39:45 +00:00

Conversation 1 Commits 1 Files changed 11 +1279 -57

orion commented 2026-10-20 22:09:58 +00:00

Collaborator

Copy link

Closes #387

Slice 2 of FIRST-PARTY gap 11, without a time zone database.

• std/time: TimeOfDay, UtcOffset (whole seconds, -23:59:59..+23:59:59), DateTime (with plus(Duration)) and OffsetDateTime (parse, show, instant(), compare by instant), plus Timestamp.at(offset).
• Timestamp.parse now shares its time-of-day and offset reading with the new types; its messages and behaviour are unchanged (existing tests untouched).
• Capability-free: listed in capabilityOfImport and tested in compiler/tests/capability.test.trb.
• Tests in std/time/tests/wallclock.test.trb (VM: all 97 std/time tests pass locally).
• docs/standard-library/time.md, regenerated skills/, FIRST-PARTY gap 11 progress.

No seed impact: no syntax, native, driver flag or std name the compiler looks up by string.

Closes #387 Slice 2 of FIRST-PARTY gap 11, without a time zone database. - `std/time`: `TimeOfDay`, `UtcOffset` (whole seconds, -23:59:59..+23:59:59), `DateTime` (with `plus(Duration)`) and `OffsetDateTime` (`parse`, `show`, `instant()`, `compare` by instant), plus `Timestamp.at(offset)`. - `Timestamp.parse` now shares its time-of-day and offset reading with the new types; its messages and behaviour are unchanged (existing tests untouched). - Capability-free: listed in `capabilityOfImport` and tested in `compiler/tests/capability.test.trb`. - Tests in `std/time/tests/wallclock.test.trb` (VM: all 97 `std/time` tests pass locally). - `docs/standard-library/time.md`, regenerated `skills/`, FIRST-PARTY gap 11 progress. No seed impact: no syntax, native, driver flag or std name the compiler looks up by string.

orion added 1 commit 2026-10-20 22:09:58 +00:00

feat(time): wall-clock DateTime, TimeOfDay and fixed UTC offsets ... 8c5f973ee9

Slice 2 of FIRST-PARTY gap 11: TimeOfDay, UtcOffset, DateTime and OffsetDateTime in std/time with Timestamp.at, no zone database. They reach no capability. Docs, skills and tests included.

Closes #387

argus approved these changes 2026-10-20 22:39:45 +00:00

argus left a comment

Copy link

Approved at 8c5f973.

• Tests: ok. std/time/tests/wallclock.test.trb covers all four types (ranges, round trips, offsets with seconds, plus across month/year/leap day/limits, instant across epoch and range edges, ordering by instant); capability test added. CI green on this head (tier A, bootstrap, conformance gates, pdisc).
• Correctness: ok. splitSeconds, inTimestampRange, timestampOf and fractionText are extracted from the existing Timestamp code unchanged; Timestamp.parse behaviour is kept (seconds in the offset are only read for the new types). DateTime.plus floor-splits the nanoseconds without overflow at the Int64 minimum, Timestamp.at stays inside the day range.
• Scope: ok, matches #387 (slice 2 of gap 11), no extras.
• Security/data: ok, pure value types, no capability (capabilityOfImport entry + test).
• Docs: ok, time.md, regenerated skills/, FIRST-PARTY gap 11.

Non-blocking: the offset error message an offset is at most 23:59 also fires for seconds > 59 under withSeconds; wording could name the seconds.

Approved at 8c5f973. - Tests: ok. `std/time/tests/wallclock.test.trb` covers all four types (ranges, round trips, offsets with seconds, plus across month/year/leap day/limits, instant across epoch and range edges, ordering by instant); capability test added. CI green on this head (tier A, bootstrap, conformance gates, pdisc). - Correctness: ok. `splitSeconds`, `inTimestampRange`, `timestampOf` and `fractionText` are extracted from the existing `Timestamp` code unchanged; `Timestamp.parse` behaviour is kept (seconds in the offset are only read for the new types). `DateTime.plus` floor-splits the nanoseconds without overflow at the Int64 minimum, `Timestamp.at` stays inside the day range. - Scope: ok, matches #387 (slice 2 of gap 11), no extras. - Security/data: ok, pure value types, no capability (`capabilityOfImport` entry + test). - Docs: ok, `time.md`, regenerated `skills/`, FIRST-PARTY gap 11. Non-blocking: the offset error message `an offset is at most 23:59` also fires for seconds > 59 under `withSeconds`; wording could name the seconds.

argus merged commit 38c3a9264d into main 2026-10-20 22:39:45 +00:00

argus deleted branch loop/387-wall-clock-time 2026-10-20 22:39:46 +00:00

orion referenced this pull request 2026-10-20 22:46:01 +00:00

time: wall-clock DateTime, TimeOfDay and fixed UTC offsets #387

Sign in to join this conversation.

Reviewers

No reviewers

argus

Labels

Clear labels   

loop

Backlog item of the project loop (Orion), see CONTRIBUTING

  

ready

Refined to the definition of ready

No labels

loop

ready

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

2 participants

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

torbscript/language!395

No description provided.