aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/licentia
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/program/licentia')
-rw-r--r--stdlib/source/program/licentia/input.lux3
-rw-r--r--stdlib/source/program/licentia/license/notice.lux4
2 files changed, 5 insertions, 2 deletions
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)))]