diff options
| author | Eduardo Julian | 2021-08-24 05:23:45 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-24 05:23:45 -0400 |
| commit | 36303d6cb2ce3ab9e36d045b9516c997bd461862 (patch) | |
| tree | b9d2f1495143054d61d9af129f36833624db9dac /licentia/source/test/licentia.lux | |
| parent | ec1f31b5a1492d5e0ab260397291d4449483bbd9 (diff) | |
Outsourced the syntax for labelled type definitions to macros.
Diffstat (limited to '')
| -rw-r--r-- | licentia/source/test/licentia.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux index e9a1da86e..ec8fc04a9 100644 --- a/licentia/source/test/licentia.lux +++ b/licentia/source/test/licentia.lux @@ -50,7 +50,7 @@ [start (random.filter (|>> (n.= n\top) not) random.nat) #let [wiggle_room (n.- start n\top)] - end (\ ! map + end (\ ! each (|>> (n.% wiggle_room) (n.max 1)) random.nat)] (wrap {#time.start start @@ -109,7 +109,7 @@ (def: (variable_list max_size gen_element) (All [a] (-> Nat (Random a) (Random (List a)))) (do {! random.monad} - [amount (\ ! map (n.% (n.max 1 max_size)) + [amount (\ ! each (n.% (n.max 1 max_size)) random.nat)] (random.list amount gen_element))) @@ -247,14 +247,14 @@ (_.test "The attribution phrase is present." (|> attribution (value@ #license.phrase) - (maybe\map present?) + (maybe\each present?) (maybe.default true))) (_.test "The attribution URL is present." (present? (value@ #license.url attribution))) (_.test "The attribution image is present." (|> attribution (value@ #license.image) - (maybe\map present?) + (maybe\each present?) (maybe.default true))) )) @@ -315,7 +315,7 @@ bit.yes) every_entity_is_mentioned? (|> black_list (value@ #license.entities) - (list\map black_list.entity) + (list\each black_list.entity) (list.every? present?))] (and black_list_is_justified? every_entity_is_mentioned?))) |