fix: tests

leanprover · Sep 20, 2024 · b213fc7 · b213fc7
1 parent 18feda1
commit b213fc7
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/tests/lean/run/timeFormats.lean b/tests/lean/run/timeFormats.lean
@@ -131,7 +131,7 @@ def localTm : Second.Offset := 1723730627
 /--
 This PlainDate is relative to the local time.
 -/
-def PlainDate : PlainDateTime := Timestamp.toPlainDateTime (Timestamp.ofSecondsSinceUnixEpoch localTm)
+def PlainDate : PlainDateTime := Timestamp.toPlainDateTimeAssumingUTC (Timestamp.ofSecondsSinceUnixEpoch localTm)
 
 def dateBR₁ := DateTime.ofLocalDateTime PlainDate brTZ
 def dateJP₁ := DateTime.ofLocalDateTime PlainDate jpTZ

diff --git a/tests/lean/run/timeTzifParse.lean b/tests/lean/run/timeTzifParse.lean
@@ -44,7 +44,7 @@ info: 91
 info: 3
 -/
 #guard_msgs in
-#eval code.v1.PlainTimeTypes.size
+#eval code.v1.localTimeTypes.size
 
 /--
 info: 0
@@ -59,13 +59,13 @@ info: 0
 #eval code.v1.utLocalIndicators.size
 
 /--
-info: some (date% 1969-12-30T21:00:00,000000000-03:00)
+info: some (zoned("1969-12-30T21:00:00.000000000-03:00"))
 -/
 #guard_msgs in
 #eval ZonedDateTime.ofZoneRules (Timestamp.ofSecondsSinceUnixEpoch 0) rules
 
 /--
-info: some (date% 2012-12-10T00:35:47,000000000-02:00)
+info: some (zoned("2012-12-10T00:35:47.000000000-02:00"))
 -/
 #guard_msgs in
 #eval ZonedDateTime.ofZoneRules (Timestamp.ofSecondsSinceUnixEpoch 1355106947) rules