aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/locale/language.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/locale/language.lux')
-rw-r--r--stdlib/source/test/lux/locale/language.lux54
1 files changed, 27 insertions, 27 deletions
diff --git a/stdlib/source/test/lux/locale/language.lux b/stdlib/source/test/lux/locale/language.lux
index 9b03b8308..f3bf54cad 100644
--- a/stdlib/source/test/lux/locale/language.lux
+++ b/stdlib/source/test/lux/locale/language.lux
@@ -1,27 +1,27 @@
(.using
- [library
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- [monad {"+" do}]
- [hash {"+" Hash}]
- [\\specification
- ["$[0]" hash]]]
- [control
- ["[0]" maybe]]
- [data
- ["[0]" text]
- [collection
- ["[0]" set {"+" Set}]
- ["[0]" list ("[1]#[0]" functor mix)]]]
- [macro
- ["[0]" template]]
- [math
- ["[0]" random {"+" Random}]
- [number
- ["n" nat]]]]]
- [\\library
- ["[0]" /]])
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [monad {"+" do}]
+ [hash {"+" Hash}]
+ [\\specification
+ ["$[0]" hash]]]
+ [control
+ ["[0]" maybe]]
+ [data
+ ["[0]" text]
+ [collection
+ ["[0]" set {"+" Set}]
+ ["[0]" list ("[1]#[0]" functor mix)]]]
+ [macro
+ ["[0]" template]]
+ [math
+ ["[0]" random {"+" Random}]
+ [number
+ ["n" nat]]]]]
+ [\\library
+ ["[0]" /]])
(type: Bundle
(Record
@@ -190,7 +190,7 @@
(List Bundle)
[Nat (Set a)]))
(list#mix (function (_ bundle [amount set])
- [(n.+ amount (value@ #amount bundle))
+ [(n.+ amount (the #amount bundle))
(set.union set (lens bundle))])
[0 (set.empty hash)]
territories))
@@ -199,11 +199,11 @@
Test
(|> ..languages
list.reversed
- (list#each (value@ #test))
+ (list#each (the #test))
(list#mix _.and
(`` ($_ _.and
(~~ (template [<lens> <tag> <hash>]
- [(let [[amount set] (..aggregate (value@ <tag>) <hash> ..languages)]
+ [(let [[amount set] (..aggregate (the <tag>) <hash> ..languages)]
(_.cover [<lens>]
(n.= amount (set.size set))))]
@@ -279,7 +279,7 @@
(def: .public random
(Random /.Language)
(let [options (|> ..languages
- (list#each (|>> (value@ #languages) set.list))
+ (list#each (|>> (the #languages) set.list))
list.together)]
(do [! random.monad]
[choice (# ! each (n.% (list.size options))