diff options
Diffstat (limited to 'licentia/source/test/licentia.lux')
| -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) |