hare

commit ad46c132720c1cbcdd8cac9f19fa0f18dedb0ab1
parent 6f3e97bf2192929cfbc33df215e0aa3ce18c0d28
Author: Byron Torres <b@torresjrjr.com>
Date:   Sun,  9 Jan 2022 23:05:07 +0000

rename some martian entities

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

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

3 files changed, 7 insertions(+), 7 deletions(-)
diff --git a/time/chrono/chronology.ha b/time/chrono/chronology.ha
@@ -56,7 +56,7 @@ export def EARTH_DAY: time::duration = 86400 * time::SECOND;
 // TODO: figure out a future-proof naming convention.
 
 // The temporal length of a solar day on Marth, in Martian seconds
-export def MARS_MARTIAN_SOL: time::duration = 86400 * time::SECOND;
+export def MARS_SOL_MARTIAN: time::duration = 86400 * time::SECOND;
 
 // The temporal length of a solar day on Marth, in Earth (SI) seconds
-export def MARS_TERRESTRIAL_SOL: time::duration = 88775.244147 * time::SECOND;
+export def MARS_SOL_TERRESTRIAL: time::duration = 88775.244147 * time::SECOND;
diff --git a/time/chrono/timescales.ha b/time/chrono/timescales.ha
@@ -163,13 +163,13 @@ fn conv_tt_tai(tt: time::instant) (time::instant | ambiguous | nonexistent) = {
 };
 
 
-// Coordinated Martian Time
+// Coordinated Mars Time
 //
 // Used for local solar time on Mars.
 // Based on TT, with a constant factor.
 // Continuous (no leap seconds).
 export const MTC: timescale = timescale {
-	name = "Coordinated Martian Time",
+	name = "Coordinated Mars Time",
 	abbrev = "MTC",
 	to_tai = &conv_mtc_tai,
 	from_tai = &conv_tai_mtc,
diff --git a/time/chrono/timezone.ha b/time/chrono/timezone.ha
@@ -156,17 +156,17 @@ const TZ_TAI: timezone = timezone {
 	transitions = [],
 };
 
-// The MTC (Coordinated Martian Time) "Zulu" timezone
+// The MTC (Coordinated Mars Time) "Zulu" timezone
 export const MTC_Z: locality = &TZ_MTC;
 
 const TZ_MTC: timezone = timezone {
 	name = "",
 	timescale = &MTC,
-	daylength = MARS_MARTIAN_SOL,
+	daylength = MARS_SOL_MARTIAN,
 	zones = [
 		zone {
 			zoffset = 0 * time::SECOND,
-			name = "Coordinated Martian Time",
+			name = "Coordinated Mars Time",
 			abbrev = "MTC",
 			dst = false,
 		},