diff options
author | Eduardo Julian | 2022-08-11 04:15:07 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-08-11 04:15:07 -0400 |
commit | 065e8a4d8122d4616b570496915d2c0e2c78cd6b (patch) | |
tree | f2bbdc3e40b796b34026ab04c9a478d8a3f082d5 /licentia/source/test | |
parent | 68d78235694c633c956bb9e8a007cad7d65370bc (diff) |
Re-named the "case" macro to "when".
Diffstat (limited to 'licentia/source/test')
-rw-r--r-- | licentia/source/test/licentia.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux index 91121c9b1..4183dc564 100644 --- a/licentia/source/test/licentia.lux +++ b/licentia/source/test/licentia.lux @@ -229,7 +229,7 @@ (bit#= (the license.#must_be_distinguishable? extension) (present? extension.distinctness_requirement))) (_.test "The community must be notified of new extensions." - (case (the license.#notification_period extension) + (when (the license.#notification_period extension) {.#Some period} (present? (extension.notification_requirement period)) @@ -298,7 +298,7 @@ (the license.#copyright_holders license))) (_.test "Identification is present (if the license is identified)." - (case (the license.#identification license) + (when (the license.#identification license) {.#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 (the license.#justification black_list) + (let [black_list_is_justified? (when (the license.#justification black_list) {.#Some justification} (present? justification) @@ -348,7 +348,7 @@ (..about_extension present? (the license.#extension license)) - (case (the license.#attribution license) + (when (the license.#attribution license) {.#Some attribution} (..about_attribution present? attribution) |