diff options
Diffstat (limited to '')
-rw-r--r-- | licentia/source/program/licentia/input.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/licentia/source/program/licentia/input.lux b/licentia/source/program/licentia/input.lux index 2ce3d9144..ebedde054 100644 --- a/licentia/source/program/licentia/input.lux +++ b/licentia/source/program/licentia/input.lux @@ -58,8 +58,8 @@ (exception: .public (invalid_period [period (Period Nat)]) (exception.report - ["Start" (%.nat (value@ #time.start period))] - ["End" (%.nat (value@ #time.end period))])) + ["Start" (%.nat (value@ time.#start period))] + ["End" (%.nat (value@ time.#end period))])) (def: period (Parser (Period Nat)) @@ -67,8 +67,8 @@ (do <>.monad [start (<json>.field "start" ..amount) end (<json>.field "end" ..amount) - #let [period [#time.start start - #time.end end]] + #let [period [time.#start start + time.#end end]] _ (<>.assert (exception.construct ..invalid_period [period]) (n.<= end start))] (wrap period)))) @@ -163,6 +163,6 @@ (<json>.field "extension" ..extension) (<json>.field "black-lists" (<json>.array (<>.some ..black_list))) (<json>.field "attribution" (<json>.nullable ..attribution)) - (<>.default [#//.commons_clause? false] + (<>.default [//.#commons_clause? false] (<json>.field "addendum" ..addendum)) ))) |