ed564b6dda
Phase 1.5 of time-system. Calendar is pluggable: EarthCalendar (IANA zones, DST, Gregorian) is the default; MarsCalendar, CycleCalendar(period), NoCycleCalendar handle non-Earth cases. Rhythm abstracts recurrence from clock units - rhythm_cycle_phase(0.5) means "midpoint of cycle" whether the cycle is 24 hours on Earth or 30 hours on a station or 300 years on a long-cycle world. Phase 1 (Instant + Duration) unchanged. EarthCalendar(zone_local()) is the user-facing default; nobody who doesn't care about non-Earth calendars sees the abstraction. Self-host fixed point holds at 6339 lines. Snapshot tagged at dist/platform/elc.20260502-1321-self-host. Phase 2 (scheduling primitives every/after/at) lands next, now with Calendar-aware grounding instead of Earth-time hardcoded. Backlog: bl-297f66d8 (supersedes bl-b29b3e60)
23 lines
742 B
EmacsLisp
23 lines
742 B
EmacsLisp
// cross-calendar-comparison.el — same Instant under two different calendars
|
|
// produces identical cal_to_instant() outputs. Calendar choice does not change
|
|
// the underlying instant — only the projection.
|
|
|
|
fn run_test() -> Int {
|
|
let i: Instant = unix_seconds(1782216000)
|
|
let z: Zone = zone("America/New_York")
|
|
let earth: Calendar = earth_calendar(z)
|
|
let mars: Calendar = mars_calendar()
|
|
let ct_earth: CalendarTime = in_calendar(i, earth)
|
|
let ct_mars: CalendarTime = in_calendar(i, mars)
|
|
let i_earth: Instant = cal_to_instant(ct_earth)
|
|
let i_mars: Instant = cal_to_instant(ct_mars)
|
|
if i_earth == i_mars {
|
|
return 1
|
|
}
|
|
return 0
|
|
}
|
|
|
|
fn main() -> Void {
|
|
println(int_to_str(run_test()))
|
|
}
|