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 /stdlib/source/test/lux/meta.lux | |
parent | ec1f31b5a1492d5e0ab260397291d4449483bbd9 (diff) |
Outsourced the syntax for labelled type definitions to macros.
Diffstat (limited to 'stdlib/source/test/lux/meta.lux')
-rw-r--r-- | stdlib/source/test/lux/meta.lux | 82 |
1 files changed, 41 insertions, 41 deletions
diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux index 742523a67..7d397e5d5 100644 --- a/stdlib/source/test/lux/meta.lux +++ b/stdlib/source/test/lux/meta.lux @@ -248,13 +248,13 @@ (_.cover [/.imported_modules] (and (|> (/.imported_modules expected_current_module) (/.result expected_lux) - (try\map (\ (list.equivalence text.equivalence) = - (list imported_module_name))) + (try\each (\ (list.equivalence text.equivalence) = + (list imported_module_name))) (try.else false)) (|> (/.imported_modules imported_module_name) (/.result expected_lux) - (try\map (\ (list.equivalence text.equivalence) = - (list))) + (try\each (\ (list.equivalence text.equivalence) = + (list))) (try.else false)))) (_.cover [/.imported_by?] (|> (/.imported_by? imported_module_name expected_current_module) @@ -290,8 +290,8 @@ version (random.ascii/upper 1) source_code (random.ascii/upper 1) expected_current_module (random.ascii/upper 1) - expected_type (\ ! map (function (_ name) - (#.Primitive name (list))) + expected_type (\ ! each (function (_ name) + (#.Primitive name (list))) (random.ascii/upper 1)) expected_seed random.nat expected random.nat @@ -338,7 +338,7 @@ (_.cover [.Type_Context /.type_context] (|> /.type_context (/.result expected_lux) - (try\map (same? type_context)) + (try\each (same? type_context)) (try.else false))) ))) @@ -349,8 +349,8 @@ expected_macro_module (random.only (|>> (text\= expected_current_module) not) (random.ascii/upper 1)) expected_short (random.ascii/upper 1) - expected_type (\ ! map (function (_ name) - (#.Primitive name (list))) + expected_type (\ ! each (function (_ name) + (#.Primitive name (list))) (random.ascii/upper 1)) expected_value (random.either (in .def:) (in .macro:)) @@ -470,8 +470,8 @@ expected_macro_module (random.only (|>> (text\= expected_current_module) not) (random.ascii/upper 1)) expected_short (random.ascii/upper 1) - expected_type (\ ! map (function (_ name) - (#.Primitive name (list))) + expected_type (\ ! each (function (_ name) + (#.Primitive name (list))) (random.ascii/upper 1)) .let [expected_annotations (' [])] expected_value (random.either (in .def:) @@ -580,11 +580,11 @@ (expected_lux true (#.Some .Macro))] (and (|> (/.de_aliased [expected_macro_module expected_short]) (/.result expected_lux) - (try\map (name\= [expected_macro_module expected_short])) + (try\each (name\= [expected_macro_module expected_short])) (try.else false)) (|> (/.de_aliased [expected_current_module expected_short]) (/.result expected_lux) - (try\map (name\= [expected_macro_module expected_short])) + (try\each (name\= [expected_macro_module expected_short])) (try.else false))))) (_.cover [/.definition] (let [[current_globals macro_globals expected_lux] @@ -654,11 +654,11 @@ name_1 (random.only (|>> (text\= name_0) not) (random.ascii/upper 1)) - .let [random_tag (\ ! map (|>> [tag_module]) + .let [random_tag (\ ! each (|>> [tag_module]) (random.ascii/upper 1))] all_tags (|> random_tag (random.set name.hash 10) - (\ ! map set.list)) + (\ ! each set.list)) .let [tags_0 (list.first 5 all_tags) tags_1 (list.after 5 all_tags) @@ -690,14 +690,14 @@ #.module_aliases (list) #.definitions (list) #.imports (list) - #.tags (list\compose (|> tags_0 - list.enumeration - (list\map (function (_ [index [_ short]]) - [short [index tags_0 false type_0]]))) - (|> tags_1 - list.enumeration - (list\map (function (_ [index [_ short]]) - [short [index tags_1 true type_1]])))) + #.tags (list\composite (|> tags_0 + list.enumeration + (list\each (function (_ [index [_ short]]) + [short [index tags_0 false type_0]]))) + (|> tags_1 + list.enumeration + (list\each (function (_ [index [_ short]]) + [short [index tags_1 true type_1]])))) #.types (list entry_0 entry_1) #.module_annotations #.None #.module_state #.Active}]) @@ -719,12 +719,12 @@ type.equivalence))] (|> (/.tag_lists tag_module) (/.result expected_lux) - (try\map (\ equivalence = (list [tags_1 type_1]))) + (try\each (\ equivalence = (list [tags_1 type_1]))) (try.else false)))) (_.cover [/.tags_of] (|> (/.tags_of [tag_module name_1]) (/.result expected_lux) - (try\map (\ (maybe.equivalence (list.equivalence name.equivalence)) = (#.Some tags_1))) + (try\each (\ (maybe.equivalence (list.equivalence name.equivalence)) = (#.Some tags_1))) (try.else false))) (_.cover [/.tag] (|> tags_1 @@ -757,7 +757,7 @@ [current_module (random.ascii/upper 1) [name_0 name_1 name_2 name_3 name_4] (|> (random.ascii/upper 1) (random.set text.hash 5) - (\ ! map set.list) + (\ ! each set.list) (random.one (function (_ values) (case values (^ (list name_0 name_1 name_2 name_3 name_4)) @@ -831,51 +831,51 @@ type.equivalence))))] (|> /.locals (/.result expected_lux) - (try\map (\ equivalence = (list (list [name_3 type_3]) - (list [name_1 type_1] - [name_2 type_2])))) + (try\each (\ equivalence = (list (list [name_3 type_3]) + (list [name_1 type_1] + [name_2 type_2])))) (try.else false)))) (_.cover [/.var_type] (and (|> (/.var_type name_0) (/.result expected_lux) - (try\map (\ type.equivalence = type_0)) + (try\each (\ type.equivalence = type_0)) (try.else false)) (|> (/.var_type name_1) (/.result expected_lux) - (try\map (\ type.equivalence = type_1)) + (try\each (\ type.equivalence = type_1)) (try.else false)) (|> (/.var_type name_2) (/.result expected_lux) - (try\map (\ type.equivalence = type_2)) + (try\each (\ type.equivalence = type_2)) (try.else false)) (|> (/.var_type name_3) (/.result expected_lux) - (try\map (\ type.equivalence = type_3)) + (try\each (\ type.equivalence = type_3)) (try.else false)))) (_.cover [/.type] (and (|> (/.type ["" name_0]) (/.result expected_lux) - (try\map (\ type.equivalence = type_0)) + (try\each (\ type.equivalence = type_0)) (try.else false)) (|> (/.type ["" name_1]) (/.result expected_lux) - (try\map (\ type.equivalence = type_1)) + (try\each (\ type.equivalence = type_1)) (try.else false)) (|> (/.type ["" name_2]) (/.result expected_lux) - (try\map (\ type.equivalence = type_2)) + (try\each (\ type.equivalence = type_2)) (try.else false)) (|> (/.type ["" name_3]) (/.result expected_lux) - (try\map (\ type.equivalence = type_3)) + (try\each (\ type.equivalence = type_3)) (try.else false)) (|> (/.type [current_module name_4]) (/.result expected_lux) - (try\map (\ type.equivalence = type_4)) + (try\each (\ type.equivalence = type_4)) (try.else false)) (|> (/.type ["" name_4]) (/.result expected_lux) - (try\map (\ type.equivalence = type_4)) + (try\each (\ type.equivalence = type_4)) (try.else false)))) ))) @@ -904,8 +904,8 @@ version (random.ascii/upper 1) source_code (random.ascii/upper 1) expected_current_module (random.ascii/upper 1) - expected_type (\ ! map (function (_ name) - (#.Primitive name (list))) + expected_type (\ ! each (function (_ name) + (#.Primitive name (list))) (random.ascii/upper 1)) expected_seed random.nat expected random.nat |