aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/data
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/data')
-rw-r--r--stdlib/source/test/lux/data/binary.lux8
-rw-r--r--stdlib/source/test/lux/data/bit.lux2
-rw-r--r--stdlib/source/test/lux/data/collection.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/array.lux6
-rw-r--r--stdlib/source/test/lux/data/collection/bits.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary.lux6
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary/ordered.lux10
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary/plist.lux6
-rw-r--r--stdlib/source/test/lux/data/collection/list.lux6
-rw-r--r--stdlib/source/test/lux/data/collection/queue.lux6
-rw-r--r--stdlib/source/test/lux/data/collection/queue/priority.lux6
-rw-r--r--stdlib/source/test/lux/data/collection/sequence.lux10
-rw-r--r--stdlib/source/test/lux/data/collection/set.lux6
-rw-r--r--stdlib/source/test/lux/data/collection/set/multi.lux6
-rw-r--r--stdlib/source/test/lux/data/collection/set/ordered.lux6
-rw-r--r--stdlib/source/test/lux/data/collection/stack.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/stream.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/tree.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/tree/finger.lux8
-rw-r--r--stdlib/source/test/lux/data/collection/tree/zipper.lux4
-rw-r--r--stdlib/source/test/lux/data/color.lux2
-rw-r--r--stdlib/source/test/lux/data/color/named.lux2
-rw-r--r--stdlib/source/test/lux/data/format/json.lux10
-rw-r--r--stdlib/source/test/lux/data/format/tar.lux8
-rw-r--r--stdlib/source/test/lux/data/format/xml.lux18
-rw-r--r--stdlib/source/test/lux/data/identity.lux2
-rw-r--r--stdlib/source/test/lux/data/product.lux2
-rw-r--r--stdlib/source/test/lux/data/sum.lux4
-rw-r--r--stdlib/source/test/lux/data/text.lux8
-rw-r--r--stdlib/source/test/lux/data/text/buffer.lux4
-rw-r--r--stdlib/source/test/lux/data/text/encoding.lux6
-rw-r--r--stdlib/source/test/lux/data/text/encoding/utf8.lux2
-rw-r--r--stdlib/source/test/lux/data/text/escape.lux6
-rw-r--r--stdlib/source/test/lux/data/text/regex.lux4
-rw-r--r--stdlib/source/test/lux/data/text/unicode/block.lux2
-rw-r--r--stdlib/source/test/lux/data/text/unicode/set.lux6
36 files changed, 99 insertions, 99 deletions
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux
index cdb0d9101..4ae5fc849 100644
--- a/stdlib/source/test/lux/data/binary.lux
+++ b/stdlib/source/test/lux/data/binary.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[ffi (.only)]
@@ -21,12 +21,12 @@
[data
["[0]" sum]
["[0]" bit]
- ["[0]" text (.open: "[1]#[0]" equivalence)
+ ["[0]" text (.use "[1]#[0]" equivalence)
["%" \\format (.only format)]
[encoding
["[0]" utf8]]]
[collection
- ["[0]" list (.open: "[1]#[0]" functor)]
+ ["[0]" list (.use "[1]#[0]" functor)]
["[0]" sequence]
["[0]" set]
[array
@@ -45,7 +45,7 @@
[meta
["[0]" symbol]]]]
[\\library
- ["[0]" / (.only) (.open: "[1]#[0]" equivalence)
+ ["[0]" / (.only) (.use "[1]#[0]" equivalence)
["!" \\unsafe]
["[0]" \\format]
["[0]" \\parser]]])
diff --git a/stdlib/source/test/lux/data/bit.lux b/stdlib/source/test/lux/data/bit.lux
index 7b6b72d08..a0ee85ca0 100644
--- a/stdlib/source/test/lux/data/bit.lux
+++ b/stdlib/source/test/lux/data/bit.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
diff --git a/stdlib/source/test/lux/data/collection.lux b/stdlib/source/test/lux/data/collection.lux
index 2f85ba057..83351d7c1 100644
--- a/stdlib/source/test/lux/data/collection.lux
+++ b/stdlib/source/test/lux/data/collection.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]]]
diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux
index 73d2b7b3a..d2be45fa4 100644
--- a/stdlib/source/test/lux/data/collection/array.lux
+++ b/stdlib/source/test/lux/data/collection/array.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
@@ -13,10 +13,10 @@
["$[0]" equivalence]
["$[0]" functor (.only Injection)]]]
[control
- ["[0]" maybe (.open: "[1]#[0]" functor)]]
+ ["[0]" maybe (.use "[1]#[0]" functor)]]
[data
["[0]" bit]
- ["[0]" text (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.use "[1]#[0]" equivalence)]
[collection
["[0]" list]
["[0]" set]]]
diff --git a/stdlib/source/test/lux/data/collection/bits.lux b/stdlib/source/test/lux/data/collection/bits.lux
index a53a0f042..a96aff9cc 100644
--- a/stdlib/source/test/lux/data/collection/bits.lux
+++ b/stdlib/source/test/lux/data/collection/bits.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
diff --git a/stdlib/source/test/lux/data/collection/dictionary.lux b/stdlib/source/test/lux/data/collection/dictionary.lux
index e4207f540..f9eeb51fe 100644
--- a/stdlib/source/test/lux/data/collection/dictionary.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
@@ -9,13 +9,13 @@
["$[0]" equivalence]
["$[0]" functor (.only Injection)]]]
[control
- ["[0]" maybe (.open: "[1]#[0]" functor)]
+ ["[0]" maybe (.use "[1]#[0]" functor)]
["[0]" try]
["[0]" exception]]
[data
["[0]" product]
[collection
- ["[0]" list (.open: "[1]#[0]" functor)]
+ ["[0]" list (.use "[1]#[0]" functor)]
["[0]" set]]]
[math
["[0]" random]
diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
index c90d91cda..24f9415b8 100644
--- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
@@ -9,15 +9,15 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" maybe (.open: "[1]#[0]" monad)]]
+ ["[0]" maybe (.use "[1]#[0]" monad)]]
[data
["[0]" product]
- ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" bit (.use "[1]#[0]" equivalence)]
[collection
["[0]" set]
- ["[0]" list (.open: "[1]#[0]" functor)]]]
+ ["[0]" list (.use "[1]#[0]" functor)]]]
[math
- ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.use "[1]#[0]" monad)]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/data/collection/dictionary/plist.lux b/stdlib/source/test/lux/data/collection/dictionary/plist.lux
index 46874e2d1..4b83ece89 100644
--- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
@@ -8,9 +8,9 @@
["$[0]" equivalence]
["$[0]" monoid]]]
[control
- ["[0]" maybe (.open: "[1]#[0]" monad)]]
+ ["[0]" maybe (.use "[1]#[0]" monad)]]
[data
- ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" bit (.use "[1]#[0]" equivalence)]
["[0]" text]
[collection
["[0]" set]
diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux
index 61d1f7a0d..c90d09e27 100644
--- a/stdlib/source/test/lux/data/collection/list.lux
+++ b/stdlib/source/test/lux/data/collection/list.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
@@ -21,7 +21,7 @@
[data
["[0]" bit]
["[0]" product]
- ["[0]" text (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.use "[1]#[0]" equivalence)]
[collection
["[0]" set]]]
[math
@@ -30,7 +30,7 @@
["n" nat]
["[0]" int]]]]]
[\\library
- ["[0]" / (.open: "[1]#[0]" monad)]])
+ ["[0]" / (.use "[1]#[0]" monad)]])
(def bounded_size
(Random Nat)
diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux
index c5fe69611..d047930f2 100644
--- a/stdlib/source/test/lux/data/collection/queue.lux
+++ b/stdlib/source/test/lux/data/collection/queue.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
@@ -8,10 +8,10 @@
["$[0]" equivalence]
["$[0]" functor (.only Injection)]]]
[data
- ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" bit (.use "[1]#[0]" equivalence)]
[collection
["[0]" set]
- ["[0]" list (.open: "[1]#[0]" monoid)]]]
+ ["[0]" list (.use "[1]#[0]" monoid)]]]
[math
["[0]" random]
[number
diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux
index 9013b4a44..13e01a0b3 100644
--- a/stdlib/source/test/lux/data/collection/queue/priority.lux
+++ b/stdlib/source/test/lux/data/collection/queue/priority.lux
@@ -1,13 +1,13 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
[abstract
["[0]" monad (.only do)]]
[control
- ["[0]" maybe (.open: "[1]#[0]" functor)]]
+ ["[0]" maybe (.use "[1]#[0]" functor)]]
[data
- ["[0]" bit (.open: "[1]#[0]" equivalence)]]
+ ["[0]" bit (.use "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux
index c6d9f6d4d..ac58c3008 100644
--- a/stdlib/source/test/lux/data/collection/sequence.lux
+++ b/stdlib/source/test/lux/data/collection/sequence.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
@@ -15,17 +15,17 @@
["[0]" try (.only Try)]
["[0]" exception]]
[data
- ["[0]" bit (.open: "[1]#[0]" equivalence)]
- ["[0]" text (.open: "[1]#[0]" equivalence)]
+ ["[0]" bit (.use "[1]#[0]" equivalence)]
+ ["[0]" text (.use "[1]#[0]" equivalence)]
[collection
- ["[0]" list (.open: "[1]#[0]" mix)]
+ ["[0]" list (.use "[1]#[0]" mix)]
["[0]" set]]]
[math
["[0]" random]
[number
["n" nat]]]]]
[\\library
- ["[0]" / (.open: "[1]#[0]" monad)]])
+ ["[0]" / (.use "[1]#[0]" monad)]])
(def signatures
Test
diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux
index 7dfd3b682..f4544abf4 100644
--- a/stdlib/source/test/lux/data/collection/set.lux
+++ b/stdlib/source/test/lux/data/collection/set.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
@@ -10,7 +10,7 @@
["$[0]" hash]
["$[0]" monoid]]]
[data
- ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" bit (.use "[1]#[0]" equivalence)]
[collection
["[0]" list]]]
[math
@@ -18,7 +18,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" / (.open: "[1]#[0]" equivalence)]])
+ ["[0]" / (.use "[1]#[0]" equivalence)]])
(def gen_nat
(Random Nat)
diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux
index 6a05d80c9..1b48f0fd0 100644
--- a/stdlib/source/test/lux/data/collection/set/multi.lux
+++ b/stdlib/source/test/lux/data/collection/set/multi.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
@@ -10,10 +10,10 @@
["$[0]" equivalence]
["$[0]" hash]]]
[data
- ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" bit (.use "[1]#[0]" equivalence)]
[collection
["[0]" set]
- ["[0]" list (.open: "[1]#[0]" mix)]]]
+ ["[0]" list (.use "[1]#[0]" mix)]]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux
index f95f2e481..8827b719f 100644
--- a/stdlib/source/test/lux/data/collection/set/ordered.lux
+++ b/stdlib/source/test/lux/data/collection/set/ordered.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
@@ -8,11 +8,11 @@
[\\specification
["$[0]" equivalence]]]
[data
- ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" bit (.use "[1]#[0]" equivalence)]
[collection
["[0]" list]]]
[math
- ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.use "[1]#[0]" monad)]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux
index 64339fccd..51dbc5dba 100644
--- a/stdlib/source/test/lux/data/collection/stack.lux
+++ b/stdlib/source/test/lux/data/collection/stack.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
@@ -10,7 +10,7 @@
[control
["[0]" maybe]]
[data
- ["[0]" bit (.open: "[1]#[0]" equivalence)]]
+ ["[0]" bit (.use "[1]#[0]" equivalence)]]
[math
["[0]" random]
[number
diff --git a/stdlib/source/test/lux/data/collection/stream.lux b/stdlib/source/test/lux/data/collection/stream.lux
index 398873f2f..b8b40e495 100644
--- a/stdlib/source/test/lux/data/collection/stream.lux
+++ b/stdlib/source/test/lux/data/collection/stream.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
@@ -13,7 +13,7 @@
["[0]" text (.only)
["%" \\format (.only format)]]
[collection
- ["[0]" list (.open: "[1]#[0]" functor)]]]
+ ["[0]" list (.use "[1]#[0]" functor)]]]
[math
["[0]" random]
[number
diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux
index a302565f9..6e5c5fde7 100644
--- a/stdlib/source/test/lux/data/collection/tree.lux
+++ b/stdlib/source/test/lux/data/collection/tree.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
@@ -11,7 +11,7 @@
[data
["[0]" product]
[collection
- ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+ ["[0]" list (.use "[1]#[0]" functor mix)]]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux
index bad7dec35..2f9e4c374 100644
--- a/stdlib/source/test/lux/data/collection/tree/finger.lux
+++ b/stdlib/source/test/lux/data/collection/tree/finger.lux
@@ -1,15 +1,15 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
[abstract
[monad (.only do)]]
[control
- ["[0]" maybe (.open: "[1]#[0]" functor)]]
+ ["[0]" maybe (.use "[1]#[0]" functor)]]
[data
- ["[0]" text (.open: "[1]#[0]" equivalence monoid)]
+ ["[0]" text (.use "[1]#[0]" equivalence monoid)]
[collection
- ["[0]" list (.open: "[1]#[0]" mix)]]]
+ ["[0]" list (.use "[1]#[0]" mix)]]]
[math
["[0]" random]
[number
diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux
index c98560160..19f4d71ed 100644
--- a/stdlib/source/test/lux/data/collection/tree/zipper.lux
+++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
@@ -10,7 +10,7 @@
["$[0]" comonad]]]
[control
["[0]" pipe]
- ["[0]" maybe (.open: "[1]#[0]" functor)]]
+ ["[0]" maybe (.use "[1]#[0]" functor)]]
[data
["[0]" product]
["[0]" text]
diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux
index a59494de6..aa77f88f9 100644
--- a/stdlib/source/test/lux/data/color.lux
+++ b/stdlib/source/test/lux/data/color.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
diff --git a/stdlib/source/test/lux/data/color/named.lux b/stdlib/source/test/lux/data/color/named.lux
index 4365468df..49aeb9f7f 100644
--- a/stdlib/source/test/lux/data/color/named.lux
+++ b/stdlib/source/test/lux/data/color/named.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux
index 1f626c15d..4dd656edd 100644
--- a/stdlib/source/test/lux/data/format/json.lux
+++ b/stdlib/source/test/lux/data/format/json.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Variant Record)
["_" test (.only Test)]
@@ -17,17 +17,17 @@
["[0]" pipe]
["[0]" maybe]
["[0]" exception]
- ["[0]" try (.open: "[1]#[0]" functor)]]
+ ["[0]" try (.use "[1]#[0]" functor)]]
[data
["[0]" product]
["[0]" bit]
["[0]" text (.only)
["%" \\format (.only format)]]
[collection
- ["[0]" sequence (.only sequence) (.open: "[1]#[0]" functor)]
+ ["[0]" sequence (.only sequence) (.use "[1]#[0]" functor)]
["[0]" dictionary (.only Dictionary)]
["[0]" set]
- ["[0]" list (.open: "[1]#[0]" functor)]]]
+ ["[0]" list (.use "[1]#[0]" functor)]]]
["[0]" macro (.only)
["^" pattern]
["[0]" syntax (.only syntax)]
@@ -48,7 +48,7 @@
["[0]" \\polytypic]
["[0]" \\parser]
[\\library
- ["[0]" / (.only JSON) (.open: "[1]#[0]" equivalence)]])
+ ["[0]" / (.only JSON) (.use "[1]#[0]" equivalence)]])
(def !expect
(template (_ <pattern> <value>)
diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux
index dad5eea06..5cf8a6d35 100644
--- a/stdlib/source/test/lux/data/format/tar.lux
+++ b/stdlib/source/test/lux/data/format/tar.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
@@ -11,10 +11,10 @@
["[0]" exception]]
[data
["[0]" product]
- ["[0]" binary (.open: "[1]#[0]" equivalence monoid)
+ ["[0]" binary (.use "[1]#[0]" equivalence monoid)
["<b>" \\parser]
["[0]" \\format]]
- ["[0]" text (.open: "[1]#[0]" equivalence)
+ ["[0]" text (.use "[1]#[0]" equivalence)
["%" \\format (.only format)]
[encoding
["[0]" utf8]]
@@ -23,7 +23,7 @@
["[1]/[0]" block]]]
[collection
["[0]" sequence]
- ["[0]" list (.open: "[1]#[0]" mix)]]]
+ ["[0]" list (.use "[1]#[0]" mix)]]]
[time
["[0]" instant (.only Instant)]
["[0]" duration]]
diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux
index d003276e9..53f9346c0 100644
--- a/stdlib/source/test/lux/data/format/xml.lux
+++ b/stdlib/source/test/lux/data/format/xml.lux
@@ -1,36 +1,36 @@
-(.using
+(.require
[library
[lux (.except char symbol)
["_" test (.only Test)]
- ["[0]" type (.open: "[1]#[0]" equivalence)]
+ ["[0]" type (.use "[1]#[0]" equivalence)]
[abstract
[monad (.only do)]
[\\specification
["$[0]" equivalence]
["$[0]" codec]]]
[control
- ["<>" parser (.open: "[1]#[0]" monad)]
+ ["<>" parser (.use "[1]#[0]" monad)]
["[0]" maybe]
- ["[0]" try (.open: "[1]#[0]" functor)]
+ ["[0]" try (.use "[1]#[0]" functor)]
["[0]" exception]]
[data
- ["[0]" text (.open: "[1]#[0]" equivalence)
+ ["[0]" text (.use "[1]#[0]" equivalence)
["%" \\format (.only format)]]
[collection
["[0]" dictionary]
- ["[0]" list (.open: "[1]#[0]" functor)]]]
+ ["[0]" list (.use "[1]#[0]" functor)]]]
[macro
["^" pattern]
["[0]" template]]
[math
- ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.use "[1]#[0]" monad)]
[number
["n" nat]]]
[meta
- ["[0]" symbol (.open: "[1]#[0]" equivalence)]]]]
+ ["[0]" symbol (.use "[1]#[0]" equivalence)]]]]
["[0]" \\parser]
[\\library
- ["[0]" / (.open: "[1]#[0]" equivalence)]])
+ ["[0]" / (.use "[1]#[0]" equivalence)]])
(def !expect
(template (_ <pattern> <value>)
diff --git a/stdlib/source/test/lux/data/identity.lux b/stdlib/source/test/lux/data/identity.lux
index b7d1ff001..050117d2d 100644
--- a/stdlib/source/test/lux/data/identity.lux
+++ b/stdlib/source/test/lux/data/identity.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
diff --git a/stdlib/source/test/lux/data/product.lux b/stdlib/source/test/lux/data/product.lux
index df2d4dc93..2bfd265f8 100644
--- a/stdlib/source/test/lux/data/product.lux
+++ b/stdlib/source/test/lux/data/product.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux
index fd3f4fecc..d4b18571d 100644
--- a/stdlib/source/test/lux/data/sum.lux
+++ b/stdlib/source/test/lux/data/sum.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
@@ -12,7 +12,7 @@
[data
["[0]" text]
[collection
- ["[0]" list (.open: "[1]#[0]" functor)]]]
+ ["[0]" list (.use "[1]#[0]" functor)]]]
[math
["[0]" random]
[number
diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux
index 15e456a9c..8a71ca938 100644
--- a/stdlib/source/test/lux/data/text.lux
+++ b/stdlib/source/test/lux/data/text.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except char)
["_" test (.only Test)]
@@ -25,7 +25,7 @@
["[0]" bit]
[collection
["[0]" set]
- ["[0]" list (.open: "[1]#[0]" functor)]
+ ["[0]" list (.use "[1]#[0]" functor)]
[tree
["[0]" finger]]]
[format
@@ -39,7 +39,7 @@
["^" pattern]
["[0]" code]]
[math
- ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.use "[1]#[0]" monad)]
["[0]" modulus]
["[0]" modular]
[number
@@ -75,7 +75,7 @@
["[1][0]" unicode
["[1]" set]]]
[\\library
- ["[0]" / (.open: "[1]#[0]" equivalence)]]
+ ["[0]" / (.use "[1]#[0]" equivalence)]]
["[0]" \\parser]
["[0]" \\format])
diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux
index f11248cd8..3d8e4b250 100644
--- a/stdlib/source/test/lux/data/text/buffer.lux
+++ b/stdlib/source/test/lux/data/text/buffer.lux
@@ -1,11 +1,11 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
[abstract
[monad (.only do)]]
[data
- ["[0]" text (.open: "[1]#[0]" equivalence)
+ ["[0]" text (.use "[1]#[0]" equivalence)
["%" \\format (.only format)]]]
[math
["[0]" random (.only Random)]
diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux
index a3686fc6a..15c1b5bbb 100644
--- a/stdlib/source/test/lux/data/text/encoding.lux
+++ b/stdlib/source/test/lux/data/text/encoding.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
@@ -10,9 +10,9 @@
["[0]" maybe]
["[0]" try]]
[data
- ["[0]" text (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.use "[1]#[0]" equivalence)]
[collection
- ["[0]" list (.open: "[1]#[0]" mix)]
+ ["[0]" list (.use "[1]#[0]" mix)]
["[0]" set]]]
[macro
["[0]" template]]
diff --git a/stdlib/source/test/lux/data/text/encoding/utf8.lux b/stdlib/source/test/lux/data/text/encoding/utf8.lux
index e7cdc660d..e8e4df424 100644
--- a/stdlib/source/test/lux/data/text/encoding/utf8.lux
+++ b/stdlib/source/test/lux/data/text/encoding/utf8.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux
index 082f638c2..b2536f305 100644
--- a/stdlib/source/test/lux/data/text/escape.lux
+++ b/stdlib/source/test/lux/data/text/escape.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
@@ -12,8 +12,8 @@
[parser
["<[0]>" code]]]
[data
- ["[0]" bit (.open: "[1]#[0]" equivalence)]
- ["[0]" text (.only Char) (.open: "[1]#[0]" equivalence)
+ ["[0]" bit (.use "[1]#[0]" equivalence)]
+ ["[0]" text (.only Char) (.use "[1]#[0]" equivalence)
["%" \\format (.only format)]]
[collection
["[0]" set (.only Set)]]]
diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux
index 787d432a6..08403a42d 100644
--- a/stdlib/source/test/lux/data/text/regex.lux
+++ b/stdlib/source/test/lux/data/text/regex.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
@@ -10,7 +10,7 @@
[parser
["<[0]>" code]]]
[data
- ["[0]" text (.open: "[1]#[0]" equivalence)
+ ["[0]" text (.use "[1]#[0]" equivalence)
["%" \\format (.only format)]
["<[1]>" \\parser (.only Parser)]]]
["[0]" macro (.only)
diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux
index 4c07e1531..ff4c5b773 100644
--- a/stdlib/source/test/lux/data/text/unicode/block.lux
+++ b/stdlib/source/test/lux/data/text/unicode/block.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux
index e2bbc663c..da4ea8e60 100644
--- a/stdlib/source/test/lux/data/text/unicode/set.lux
+++ b/stdlib/source/test/lux/data/text/unicode/set.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["_" test (.only Test)]
@@ -8,9 +8,9 @@
["$[0]" equivalence]]]
[data
["[0]" product]
- ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" bit (.use "[1]#[0]" equivalence)]
[collection
- ["[0]" set (.open: "[1]#[0]" equivalence)]]]
+ ["[0]" set (.use "[1]#[0]" equivalence)]]]
[math
["[0]" random (.only Random)]
[number