Made extension-definition macros specify their bindings the same way as syntax:.

2 files changed, 8 insertions, 8 deletions

diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index 6e84811e6..c3c0b9cc1 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -76,9 +76,9 @@
     (Parser Date)
     (do <>.monad
       [year (<>.codec n.decimal (<text>.exactly 4 <text>.decimal))
-       year (<>.lift (year.year (.int year)))
+       year (<>.lifted (year.year (.int year)))
        month (<>.codec n.decimal (<text>.exactly 2 <text>.decimal))
-       month (<>.lift (month.by_number month))
+       month (<>.lifted (month.by_number month))
        day_of_month (<>.codec n.decimal (<text>.exactly 2 <text>.decimal))
-       date (<>.lift (date.date year month day_of_month))]
+       date (<>.lifted (date.date year month day_of_month))]
       (in (:abstraction date)))))
diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux
index 8b33d5732..0db035d56 100644
--- a/stdlib/source/program/aedifex/artifact/time/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time/time.lux
@@ -32,8 +32,8 @@
     [hour (<>.codec n.decimal (<text>.exactly 2 <text>.decimal))
      minute (<>.codec n.decimal (<text>.exactly 2 <text>.decimal))
      second (<>.codec n.decimal (<text>.exactly 2 <text>.decimal))]
-    (<>.lift (time.time
-              {#time.hour hour
-               #time.minute minute
-               #time.second second
-               #time.milli_second 0}))))
+    (<>.lifted (time.time
+                {#time.hour hour
+                 #time.minute minute
+                 #time.second second
+                 #time.milli_second 0}))))