From 065e8a4d8122d4616b570496915d2c0e2c78cd6b Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 11 Aug 2022 04:15:07 -0400 Subject: Re-named the "case" macro to "when". --- licentia/source/test/licentia.lux | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'licentia/source/test/licentia.lux') 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) -- cgit v1.2.3