aboutsummaryrefslogtreecommitdiff
path: root/licentia/source
diff options
context:
space:
mode:
Diffstat (limited to 'licentia/source')
-rw-r--r--licentia/source/program/licentia.lux4
-rw-r--r--licentia/source/program/licentia/output.lux8
-rw-r--r--licentia/source/test/licentia.lux8
3 files changed, 10 insertions, 10 deletions
diff --git a/licentia/source/program/licentia.lux b/licentia/source/program/licentia.lux
index 058f762c7..21ba1bbfd 100644
--- a/licentia/source/program/licentia.lux
+++ b/licentia/source/program/licentia.lux
@@ -76,8 +76,8 @@
(\ ! each /output.license))))]
(\ file.default write (\ utf8.codec encoded document) output)))]
(wrap (debug.log! (case ?done
- (#try.Success _)
+ {#try.Success _}
(success_message output)
- (#try.Failure message)
+ {#try.Failure message}
message)))))
diff --git a/licentia/source/program/licentia/output.lux b/licentia/source/program/licentia/output.lux
index c271f3005..3429df952 100644
--- a/licentia/source/program/licentia/output.lux
+++ b/licentia/source/program/licentia/output.lux
@@ -167,7 +167,7 @@
(def: .public (extension value)
(-> Extension Text)
(let [[show? document] (case (value@ #license.notification_period value)
- (#.Some period)
+ {#.Some period}
[true (extension.notification_requirement period)]
#.None
@@ -195,14 +195,14 @@
(-> Attribution Text)
(let [copyright_notice (format "Attribution Copyright Notice: " (value@ #license.copyright_notice value))
phrase (case (value@ #license.phrase value)
- (#.Some phrase)
+ {#.Some phrase}
(format text.new_line "Attribution Phrase: " phrase text.new_line)
#.None
"")
url (format text.new_line "Attribution URL: " (value@ #license.url value))
image (case (value@ #license.image value)
- (#.Some image)
+ {#.Some image}
(format text.new_line "Attribution Image: " image)
#.None
@@ -258,7 +258,7 @@
(maybe\each ..identification)
(maybe.default ""))
identified? (case (value@ #license.identification value)
- (#.Some _)
+ {#.Some _}
true
#.None
diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux
index 4940b31eb..7caf5301c 100644
--- a/licentia/source/test/licentia.lux
+++ b/licentia/source/test/licentia.lux
@@ -229,7 +229,7 @@
(present? extension.distinctness_requirement)))
(_.test "The community must be notified of new extensions."
(case (value@ #license.notification_period extension)
- (#.Some period)
+ {#.Some period}
(present? (extension.notification_requirement period))
#.None
@@ -298,7 +298,7 @@
(_.test "Identification is present (if the license is identified)."
(case (value@ #license.identification license)
- (#.Some identification)
+ {#.Some identification}
(and (present? (output.identification identification))
(present? miscellaneous.new_versions))
@@ -308,7 +308,7 @@
(_.test "Black-lists (if wanted by licensor) are explicitly enumerated and justified."
(list.every? (function (_ black_list)
(let [black_list_is_justified? (case (value@ #license.justification black_list)
- (#.Some justification)
+ {#.Some justification}
(present? justification)
#.None
@@ -348,7 +348,7 @@
(..about_extension present? (value@ #license.extension license))
(case (value@ #license.attribution license)
- (#.Some attribution)
+ {#.Some attribution}
(..about_attribution present? attribution)
#.None