diff options
| author | Eduardo Julian | 2022-11-20 18:55:23 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-11-20 18:55:23 -0400 |
| commit | df0e015145981602b3f97113bcfa586b4f6d0757 (patch) | |
| tree | 3613c83b65df3bc83f6548abb7ad71fc801b434c /stdlib/source/program/aedifex/artifact/time | |
| parent | d4c72c03c1a47fe388ec36e973db17cb95dfdcfb (diff) | |
Fixed a bug when optimization record access.
Diffstat (limited to 'stdlib/source/program/aedifex/artifact/time')
| -rw-r--r-- | stdlib/source/program/aedifex/artifact/time/date.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/program/aedifex/artifact/time/time.lux | 2 |
2 files changed, 4 insertions, 4 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 |