aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program
diff options
context:
space:
mode:
authorEduardo Julian2022-11-20 18:55:23 -0400
committerEduardo Julian2022-11-20 18:55:23 -0400
commitdf0e015145981602b3f97113bcfa586b4f6d0757 (patch)
tree3613c83b65df3bc83f6548abb7ad71fc801b434c /stdlib/source/program
parentd4c72c03c1a47fe388ec36e973db17cb95dfdcfb (diff)
Fixed a bug when optimization record access.
Diffstat (limited to '')
-rw-r--r--stdlib/source/program/aedifex/artifact/time/date.lux6
-rw-r--r--stdlib/source/program/aedifex/artifact/time/time.lux2
-rw-r--r--stdlib/source/program/aedifex/metadata/artifact.lux8
-rw-r--r--stdlib/source/program/aedifex/pom.lux2
4 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index f78a6c54d..43b5efe6e 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -77,9 +77,9 @@
(Parser Date)
(do <>.monad
[year (<>.codec n.decimal (<text>.exactly 4 <text>.decimal))
- year (<>.lifted (year.year (.int year)))
+ year (<>.of_try (year.year (.int year)))
month (<>.codec n.decimal (<text>.exactly 2 <text>.decimal))
- month (<>.lifted (month.by_number month))
+ month (<>.of_try (month.by_number month))
day_of_month (<>.codec n.decimal (<text>.exactly 2 <text>.decimal))
- date (<>.lifted (date.date year month day_of_month))]
+ date (<>.of_try (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 f093c7577..0bac9a892 100644
--- a/stdlib/source/program/aedifex/artifact/time/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time/time.lux
@@ -33,7 +33,7 @@
[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))]
- (<>.lifted (time.time
+ (<>.of_try (time.time
[time.#hour hour
time.#minute minute
time.#second second
diff --git a/stdlib/source/program/aedifex/metadata/artifact.lux b/stdlib/source/program/aedifex/metadata/artifact.lux
index 61fa4f9bb..3fa300bf8 100644
--- a/stdlib/source/program/aedifex/metadata/artifact.lux
+++ b/stdlib/source/program/aedifex/metadata/artifact.lux
@@ -116,11 +116,11 @@
(<text>.Parser Date)
(do <>.monad
[year (<>.codec n.decimal (<text>.exactly 4 <text>.decimal))
- year (<>.lifted (year.year (.int year)))
+ year (<>.of_try (year.year (.int year)))
month (<>.codec n.decimal (<text>.exactly 2 <text>.decimal))
- month (<>.lifted (month.by_number month))
+ month (<>.of_try (month.by_number month))
day_of_month (<>.codec n.decimal (<text>.exactly 2 <text>.decimal))]
- (<>.lifted (date.date year month day_of_month))))
+ (<>.of_try (date.date year month day_of_month))))
(def time_parser
(<text>.Parser Time)
@@ -128,7 +128,7 @@
[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))]
- (<>.lifted (time.time
+ (<>.of_try (time.time
[time.#hour hour
time.#minute minute
time.#second second
diff --git a/stdlib/source/program/aedifex/pom.lux b/stdlib/source/program/aedifex/pom.lux
index cafb480a2..93c6b9f47 100644
--- a/stdlib/source/program/aedifex/pom.lux
+++ b/stdlib/source/program/aedifex/pom.lux
@@ -184,7 +184,7 @@
[properties (at ! each (dictionary.of_list symbol.hash)
(<| (<xml>.node ["" ..dependency_tag])
(<>.some ..property_parser)))]
- (<| <>.lifted
+ (<| <>.of_try
try.of_maybe
(do maybe.monad
[group (dictionary.value ["" ..group_tag] properties)