diff options
Diffstat (limited to 'stdlib/source/test/lux/data/name.lux')
-rw-r--r-- | stdlib/source/test/lux/data/name.lux | 46 |
1 files changed, 23 insertions, 23 deletions
diff --git a/stdlib/source/test/lux/data/name.lux b/stdlib/source/test/lux/data/name.lux index 8c2722466..958d236bf 100644 --- a/stdlib/source/test/lux/data/name.lux +++ b/stdlib/source/test/lux/data/name.lux @@ -1,22 +1,23 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." hash] - ["$." order] - ["$." codec]]] - [control - pipe] - [data - ["." text ("#\." equivalence)]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." hash] + ["$." order] + ["$." codec]]] + [control + pipe] + [data + ["." text ("#\." equivalence)]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." /]]) (def: #export (random module_size short_size) @@ -57,18 +58,17 @@ (_.cover [/.module /.short] (and (is? module1 (/.module name1)) (is? short1 (/.short name1)))) - (_.for [.name_of] (let [(^open "/\.") /.equivalence] ($_ _.and (_.test "Can obtain Name from identifier." - (and (/\= ["lux" "yolo"] (.name_of .yolo)) + (and (/\= [.prelude_module "yolo"] (.name_of .yolo)) (/\= ["test/lux/data/name" "yolo"] (.name_of ..yolo)) (/\= ["" "yolo"] (.name_of yolo)) - (/\= ["lux/test" "yolo"] (.name_of lux/test.yolo)))) + (/\= ["library/lux/test" "yolo"] (.name_of library/lux/test.yolo)))) (_.test "Can obtain Name from tag." - (and (/\= ["lux" "yolo"] (.name_of #.yolo)) + (and (/\= [.prelude_module "yolo"] (.name_of #.yolo)) (/\= ["test/lux/data/name" "yolo"] (.name_of #..yolo)) (/\= ["" "yolo"] (.name_of #yolo)) - (/\= ["lux/test" "yolo"] (.name_of #lux/test.yolo))))))) + (/\= ["library/lux/test" "yolo"] (.name_of #library/lux/test.yolo))))))) ))))) |