hare

commit d360c181d81ed23430ccc547694d4ab885732e93
parent 9f5e76ca88b1335b633c3543b1ec6a5655a6a189
Author: Byron Torres <b@torresjrjr.com>
Date:   Sat,  8 Jan 2022 15:38:32 +0000

update martian comments

Signed-off-by: Byron Torres <b@torresjrjr.com>

Diffstat:
M
time/chrono/chronology.ha
 | 
3
++-
M
time/chrono/timescales.ha
 | 
4
++--

2 files changed, 4 insertions(+), 3 deletions(-)
diff --git a/time/chrono/chronology.ha b/time/chrono/chronology.ha
@@ -16,7 +16,8 @@ export type epochal = i64;
 export def EARTH_DAY: time::duration = 86400 * time::SECOND;
 
 // The following are temporary constants for demonstration of non-terrestrial
-// timescales, and should probably be moved to a third-party martian:: library.
+// timescales as proof of feasibility, and should probably be moved to a
+// third-party martian:: library.
 //
 // TODO: figure out a future-proof naming convention.
 
diff --git a/time/chrono/timescales.ha b/time/chrono/timescales.ha
@@ -164,7 +164,7 @@ export const MTC: timescale = timescale {
 def FACTOR_TERRESTRIAL_MARTIAN: f64 = 1.0274912517;
 
 fn conv_tai_mtc(tai: time::instant) (time::instant | ambiguous | nonexistent) = {
-	// TODO: propagated ambiguous errors, how to reason about?
+	// TODO: handle propagated ambiguous errors
 	const tt = TT.from_tai(tai)?;
 	const mtc = time::instant {
 		sec = (tt.sec: f64 * FACTOR_TERRESTRIAL_MARTIAN): i64,
@@ -178,7 +178,7 @@ fn conv_mtc_tai(mtc: time::instant) (time::instant | ambiguous | nonexistent) = 
 		sec = (mtc.sec: f64 / FACTOR_TERRESTRIAL_MARTIAN): i64,
 		nsec = mtc.nsec,
 	};
-	// TODO: propagated ambiguous errors, how to reason about?
+	// TODO: handle propagated ambiguous errors
 	const tai = TT.to_tai(tt)?;
 	return tai;
 };