From af3e6e2cb011dc2ad9204440990731a2f272716d Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 12 Jun 2021 01:32:40 -0400
Subject: Constraining the year of the snapshot time in Aedifex.

---
 .../program/aedifex/artifact/snapshot/stamp.lux    |  5 -----
 .../program/aedifex/artifact/snapshot/time.lux     | 22 +++++++++++-----------
 2 files changed, 11 insertions(+), 16 deletions(-)

(limited to 'stdlib/source/program/aedifex/artifact/snapshot')

diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
index ca59b11a6..f321e11c1 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
@@ -42,11 +42,6 @@
   (list (..time_format time)
         (//build.format build)))
 
-## (exception: #export (mismatch {expected Instant} {actual Instant})
-##   (exception.report
-##    ["Expected" (%.instant expected)]
-##    ["Actual" (%.instant actual)]))
-
 (def: time_parser
   (Parser Time)
   (do <>.monad
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/time.lux b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
index ea9bf3047..e0cb8c112 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
@@ -16,30 +16,30 @@
    [time
     ["." instant (#+ Instant)]]]
   ["." /// #_
-   [time
-    ["#." date]
-    ["#." time]]])
+   ["#." time
+    ["#/." date]
+    ["#/." time]]])
 
 (type: #export Time
-  Instant)
+  ///time.Time)
 
 (def: #export equivalence
   (Equivalence Time)
-  instant.equivalence)
+  ///time.equivalence)
 
 (def: separator
   ".")
 
-(def: #export (format value)
+(def: #export (format [date time])
   (%.Format Time)
-  (%.format (///date.format (instant.date value))
+  (%.format (///time/date.format date)
             ..separator
-            (///time.format (instant.time value))))
+            (///time/time.format time)))
 
 (def: #export parser
   (<text>.Parser Time)
   (do <>.monad
-    [date ///date.parser
+    [date ///time/date.parser
      _ (<text>.this ..separator)
-     time ///time.parser]
-    (wrap (instant.from_date_time date time))))
+     time ///time/time.parser]
+    (wrap [date time])))
-- 
cgit v1.2.3