From bf53ee92fc3c33a4885aa227e55d24f7ba3cb2c4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 16 Mar 2022 08:37:23 -0400
Subject: De-sigil-ification: prefix :

---
 stdlib/source/program/aedifex/artifact/time/date.lux | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

(limited to 'stdlib/source/program/aedifex/artifact/time/date.lux')

diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index 8189c6978..862eeec23 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -21,7 +21,7 @@
     ["[0]" year]
     ["[0]" month]]
    [type
-    abstract]]])
+    [abstract {"-" pattern}]]]])
 
 (def: .public (pad value)
   (-> Nat Text)
@@ -43,7 +43,7 @@
 
   (def: .public epoch
     Date
-    (:abstraction date.epoch))
+    (abstraction date.epoch))
 
   (def: .public (date raw)
     (-> date.Date (Try Date))
@@ -51,24 +51,24 @@
       (if (or (i.< ..min_year year)
               (i.> ..max_year year))
         (exception.except ..year_is_out_of_range [(date.year raw)])
-        {try.#Success (:abstraction raw)})))
+        {try.#Success (abstraction raw)})))
 
   (def: .public value
     (-> Date date.Date)
-    (|>> :representation))
+    (|>> representation))
 
   (implementation: .public equivalence
     (Equivalence Date)
 
     (def: (= reference subject)
-      (date#= (:representation reference)
-              (:representation subject))))
+      (date#= (representation reference)
+              (representation subject))))
 
   (def: .public (format value)
     (%.Format Date)
-    (%.format (|> value :representation date.year year.value .nat %.nat)
-              (|> value :representation date.month month.number ..pad)
-              (|> value :representation date.day_of_month ..pad)))
+    (%.format (|> value representation date.year year.value .nat %.nat)
+              (|> value representation date.month month.number ..pad)
+              (|> value representation date.day_of_month ..pad)))
 
   (def: .public parser
     (Parser Date)
@@ -79,4 +79,4 @@
        month (<>.lifted (month.by_number month))
        day_of_month (<>.codec n.decimal (<text>.exactly 2 <text>.decimal))
        date (<>.lifted (date.date year month day_of_month))]
-      (in (:abstraction date)))))
+      (in (abstraction date)))))
-- 
cgit v1.2.3