From a0889b2ee76c1ae7a9a5bbe2eec9f051b4f341e4 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 26 Jul 2019 21:23:27 -0400 Subject: No more "n/"-prefixed functions. --- stdlib/source/program/licentia/input.lux | 3 ++- stdlib/source/program/licentia/license/notice.lux | 4 +++- 2 files changed, 5 insertions(+), 2 deletions(-) (limited to 'stdlib/source/program/licentia') diff --git a/stdlib/source/program/licentia/input.lux b/stdlib/source/program/licentia/input.lux index 0fb4b5f84..7d2192fe1 100644 --- a/stdlib/source/program/licentia/input.lux +++ b/stdlib/source/program/licentia/input.lux @@ -10,6 +10,7 @@ [format ["." json (#+ Reader)]] [number + ["n" nat] ["i" int] ["f" frac]]]] [// @@ -63,7 +64,7 @@ #let [period {#time.start start #time.end end}] _ (parser.assert (ex.construct invalid-period period) - (n/<= end start))] + (n.<= end start))] (wrap period)))) (def: copyright-holder diff --git a/stdlib/source/program/licentia/license/notice.lux b/stdlib/source/program/licentia/license/notice.lux index 947669035..d4df7d166 100644 --- a/stdlib/source/program/licentia/license/notice.lux +++ b/stdlib/source/program/licentia/license/notice.lux @@ -1,6 +1,8 @@ (.module: [lux #* [data + [number + ["n" nat]] ["." text ["%" format (#+ format)]] [collection @@ -18,7 +20,7 @@ (def: #export (copyright-holder holder) (-> //copyright.Holder Text) (let [(^slots [#//time.start #//time.end]) (get@ #//copyright.period holder) - single-year? (n/= start end) + single-year? (n.= start end) period-section (if single-year? (%.nat start) (format (%.nat start) "-" (%.nat end)))] -- cgit v1.2.3