From dda05bca0956af5e5b3875c4cc36e61aa04772e4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 12 Sep 2021 00:07:08 -0400
Subject: Made the "#" character great again!

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

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

diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux
index c27b1b69c..8b3258c3a 100644
--- a/stdlib/source/program/aedifex/artifact/time/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time/time.lux
@@ -21,10 +21,10 @@
 
 (def: .public (format value)
   (%.Format Time)
-  (let [(^slots [#time.hour #time.minute #time.second]) (time.clock value)]
-    (%.format (//.pad hour)
-              (//.pad minute)
-              (//.pad second))))
+  (let [(^slots [time.#hour time.#minute time.#second]) (time.clock value)]
+    (%.format (//.pad #hour)
+              (//.pad #minute)
+              (//.pad #second))))
 
 (def: .public parser
   (<text>.Parser Time)
@@ -33,7 +33,7 @@
      minute (<>.codec n.decimal (<text>.exactly 2 <text>.decimal))
      second (<>.codec n.decimal (<text>.exactly 2 <text>.decimal))]
     (<>.lifted (time.time
-                [#time.hour hour
-                 #time.minute minute
-                 #time.second second
-                 #time.milli_second 0]))))
+                [time.#hour hour
+                 time.#minute minute
+                 time.#second second
+                 time.#milli_second 0]))))
-- 
cgit v1.2.3