From df0e015145981602b3f97113bcfa586b4f6d0757 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sun, 20 Nov 2022 18:55:23 -0400 Subject: Fixed a bug when optimization record access. --- stdlib/source/program/aedifex/artifact/time/date.lux | 6 +++--- stdlib/source/program/aedifex/artifact/time/time.lux | 2 +- stdlib/source/program/aedifex/metadata/artifact.lux | 8 ++++---- stdlib/source/program/aedifex/pom.lux | 2 +- 4 files changed, 9 insertions(+), 9 deletions(-) (limited to 'stdlib/source/program') 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 (.exactly 4 .decimal)) - year (<>.lifted (year.year (.int year))) + year (<>.of_try (year.year (.int year))) month (<>.codec n.decimal (.exactly 2 .decimal)) - month (<>.lifted (month.by_number month)) + month (<>.of_try (month.by_number month)) day_of_month (<>.codec n.decimal (.exactly 2 .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 (.exactly 2 .decimal)) minute (<>.codec n.decimal (.exactly 2 .decimal)) second (<>.codec n.decimal (.exactly 2 .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 @@ (.Parser Date) (do <>.monad [year (<>.codec n.decimal (.exactly 4 .decimal)) - year (<>.lifted (year.year (.int year))) + year (<>.of_try (year.year (.int year))) month (<>.codec n.decimal (.exactly 2 .decimal)) - month (<>.lifted (month.by_number month)) + month (<>.of_try (month.by_number month)) day_of_month (<>.codec n.decimal (.exactly 2 .decimal))] - (<>.lifted (date.date year month day_of_month)))) + (<>.of_try (date.date year month day_of_month)))) (def time_parser (.Parser Time) @@ -128,7 +128,7 @@ [hour (<>.codec n.decimal (.exactly 2 .decimal)) minute (<>.codec n.decimal (.exactly 2 .decimal)) second (<>.codec n.decimal (.exactly 2 .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) (<| (.node ["" ..dependency_tag]) (<>.some ..property_parser)))] - (<| <>.lifted + (<| <>.of_try try.of_maybe (do maybe.monad [group (dictionary.value ["" ..group_tag] properties) -- cgit v1.2.3