aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/target
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/target')
-rw-r--r--stdlib/source/library/lux/target/common_lisp.lux4
-rw-r--r--stdlib/source/library/lux/target/js.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/attribute.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/attribute/code.lux6
-rw-r--r--stdlib/source/library/lux/target/jvm/attribute/code/exception.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/attribute/constant.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/bytecode.lux8
-rw-r--r--stdlib/source/library/lux/target/jvm/bytecode/address.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/bytecode/environment.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux6
-rw-r--r--stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/bytecode/instruction.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/bytecode/jump.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/class.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/constant.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/constant/pool.lux6
-rw-r--r--stdlib/source/library/lux/target/jvm/constant/tag.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/encoding/name.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/encoding/signed.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/encoding/unsigned.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/field.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/index.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/loader.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/magic.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/method.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/modifier.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/modifier/inner.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/reflection.lux8
-rw-r--r--stdlib/source/library/lux/target/jvm/type.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/type/alias.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/type/box.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/type/category.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/type/descriptor.lux6
-rw-r--r--stdlib/source/library/lux/target/jvm/type/lux.lux8
-rw-r--r--stdlib/source/library/lux/target/jvm/type/parser.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/type/reflection.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/type/signature.lux6
-rw-r--r--stdlib/source/library/lux/target/jvm/version.lux2
-rw-r--r--stdlib/source/library/lux/target/lua.lux4
-rw-r--r--stdlib/source/library/lux/target/php.lux4
-rw-r--r--stdlib/source/library/lux/target/python.lux4
-rw-r--r--stdlib/source/library/lux/target/r.lux6
-rw-r--r--stdlib/source/library/lux/target/ruby.lux4
-rw-r--r--stdlib/source/library/lux/target/scheme.lux4
46 files changed, 84 insertions, 84 deletions
diff --git a/stdlib/source/library/lux/target/common_lisp.lux b/stdlib/source/library/lux/target/common_lisp.lux
index b0107d234..ec18f3c38 100644
--- a/stdlib/source/library/lux/target/common_lisp.lux
+++ b/stdlib/source/library/lux/target/common_lisp.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Code int if cond or and comment let symbol)
[control
@@ -7,7 +7,7 @@
["[0]" text
["%" \\format (.only format)]]
[collection
- ["[0]" list (.open: "[1]#[0]" monad monoid)]]]
+ ["[0]" list (.use "[1]#[0]" monad monoid)]]]
[macro
["[0]" template]]
[math
diff --git a/stdlib/source/library/lux/target/js.lux b/stdlib/source/library/lux/target/js.lux
index 5b057a697..453d9e9fc 100644
--- a/stdlib/source/library/lux/target/js.lux
+++ b/stdlib/source/library/lux/target/js.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Location Code Label or and function if undefined for comment not int try ++ -- the type_of at)
[control
@@ -7,7 +7,7 @@
["[0]" text (.only)
["%" \\format (.only format)]]
[collection
- ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+ ["[0]" list (.use "[1]#[0]" functor mix)]]]
[macro
["[0]" template]]
[math
diff --git a/stdlib/source/library/lux/target/jvm.lux b/stdlib/source/library/lux/target/jvm.lux
index 24135ce07..e5909d3ba 100644
--- a/stdlib/source/library/lux/target/jvm.lux
+++ b/stdlib/source/library/lux/target/jvm.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Type Primitive Label)
[data
diff --git a/stdlib/source/library/lux/target/jvm/attribute.lux b/stdlib/source/library/lux/target/jvm/attribute.lux
index eb6fd8566..a1796629b 100644
--- a/stdlib/source/library/lux/target/jvm/attribute.lux
+++ b/stdlib/source/library/lux/target/jvm/attribute.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Info Code Type)
[abstract
@@ -24,7 +24,7 @@
[encoding
["[1][0]" unsigned (.only U2 U4)]]
["[1][0]" constant (.only UTF8 Class Value)
- ["[2][0]" pool (.only Pool Resource) (.open: "[1]#[0]" monad)]]]
+ ["[2][0]" pool (.only Pool Resource) (.use "[1]#[0]" monad)]]]
["[0]" /
["[1][0]" constant (.only Constant)]
["[1][0]" code]])
diff --git a/stdlib/source/library/lux/target/jvm/attribute/code.lux b/stdlib/source/library/lux/target/jvm/attribute/code.lux
index 835b6726a..24bb2bdd1 100644
--- a/stdlib/source/library/lux/target/jvm/attribute/code.lux
+++ b/stdlib/source/library/lux/target/jvm/attribute/code.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Code)
[abstract
@@ -7,9 +7,9 @@
["[0]" product]
["[0]" binary (.only Binary)]
["[0]" binary
- ["[1]F" \\format (.only Writer) (.open: "[1]#[0]" monoid)]]
+ ["[1]F" \\format (.only Writer) (.use "[1]#[0]" monoid)]]
[collection
- ["[0]" sequence (.only Sequence) (.open: "[1]#[0]" functor mix)]]]
+ ["[0]" sequence (.only Sequence) (.use "[1]#[0]" functor mix)]]]
[math
[number
["n" nat]]]]]
diff --git a/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux b/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux
index f71d52cfd..ee7d960cb 100644
--- a/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux
+++ b/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/library/lux/target/jvm/attribute/constant.lux b/stdlib/source/library/lux/target/jvm/attribute/constant.lux
index 34c8582ca..799124c9a 100644
--- a/stdlib/source/library/lux/target/jvm/attribute/constant.lux
+++ b/stdlib/source/library/lux/target/jvm/attribute/constant.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/library/lux/target/jvm/bytecode.lux b/stdlib/source/library/lux/target/jvm/bytecode.lux
index 99901a4a3..5d74511b8 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Type Label int try except)
["[0]" ffi (.only import)]
@@ -10,14 +10,14 @@
["[0]" writer (.only Writer)]
["[0]" state (.only +State)]
["[0]" maybe]
- ["[0]" try (.only Try) (.open: "[1]#[0]" monad)]
+ ["[0]" try (.only Try) (.use "[1]#[0]" monad)]
["[0]" exception (.only exception:)]]
[data
["[0]" product]
[text
["%" \\format (.only format)]]
[collection
- ["[0]" list (.open: "[1]#[0]" functor mix)]
+ ["[0]" list (.use "[1]#[0]" functor mix)]
["[0]" dictionary (.only Dictionary)]
["[0]" sequence (.only Sequence)]]]
[macro
@@ -31,7 +31,7 @@
["[0]" /
["[1][0]" address (.only Address)]
["[1][0]" jump (.only Jump Big_Jump)]
- ["_" instruction (.only Primitive_Array_Type Instruction Estimator) (.open: "[1]#[0]" monoid)]
+ ["_" instruction (.only Primitive_Array_Type Instruction Estimator) (.use "[1]#[0]" monoid)]
["[1][0]" environment (.only Environment)
[limit
["/[0]" registry (.only Register Registry)]
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/address.lux b/stdlib/source/library/lux/target/jvm/bytecode/address.lux
index 5c2dd04d2..58a9d411e 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/address.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/address.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment.lux
index 14e8d5543..b3f322519 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/environment.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/environment.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Type static has)
[abstract
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux
index 261e9a5ce..3cda1e1f1 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Type static)
[abstract
@@ -9,7 +9,7 @@
[data
["[0]" product]
[binary
- ["[0]" \\format (.only Writer) (.open: "[1]#[0]" monoid)]]]
+ ["[0]" \\format (.only Writer) (.use "[1]#[0]" monoid)]]]
[math
[number
["n" nat]]]]]
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux
index 3aae9a289..88b3e4dec 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux
@@ -1,15 +1,15 @@
-(.using
+(.require
[library
[lux (.except Type for static has)
[abstract
["[0]" equivalence (.only Equivalence)]]
[control
- ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]]
+ ["[0]" try (.only Try) (.use "[1]#[0]" functor)]]
[data
[binary
[\\format (.only Writer)]]
[collection
- ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+ ["[0]" list (.use "[1]#[0]" functor mix)]]]
[math
[number
["n" nat]]]
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux
index 59c3c50ce..5d485efb2 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux b/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux
index ca4dfcff6..060e751a5 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[ffi (.only)]
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/jump.lux b/stdlib/source/library/lux/target/jvm/bytecode/jump.lux
index 676930f65..d2931b2c8 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/jump.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/jump.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/library/lux/target/jvm/class.lux b/stdlib/source/library/lux/target/jvm/class.lux
index cbbc47502..8bb2ea186 100644
--- a/stdlib/source/library/lux/target/jvm/class.lux
+++ b/stdlib/source/library/lux/target/jvm/class.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Type public private)
[abstract
@@ -10,7 +10,7 @@
[data
["[0]" product]
["[0]" binary
- ["[1]F" \\format (.only Writer) (.open: "[1]#[0]" monoid)]]
+ ["[1]F" \\format (.only Writer) (.use "[1]#[0]" monoid)]]
[collection
["[0]" sequence (.only Sequence)]]]]]
["[0]" //
diff --git a/stdlib/source/library/lux/target/jvm/constant.lux b/stdlib/source/library/lux/target/jvm/constant.lux
index ebeccfaa4..54b1d15d5 100644
--- a/stdlib/source/library/lux/target/jvm/constant.lux
+++ b/stdlib/source/library/lux/target/jvm/constant.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["@" target]
@@ -11,7 +11,7 @@
["[0]" product]
["[0]" text]
["[0]" binary
- ["[1]F" \\format (.only Writer) (.open: "[1]#[0]" monoid)]]]
+ ["[1]F" \\format (.only Writer) (.use "[1]#[0]" monoid)]]]
[macro
["^" pattern]
["[0]" template]]
diff --git a/stdlib/source/library/lux/target/jvm/constant/pool.lux b/stdlib/source/library/lux/target/jvm/constant/pool.lux
index 787af5c99..bbfc2be17 100644
--- a/stdlib/source/library/lux/target/jvm/constant/pool.lux
+++ b/stdlib/source/library/lux/target/jvm/constant/pool.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["[0]" ffi]
@@ -14,9 +14,9 @@
["[0]" product]
["[0]" text]
[binary
- ["[0]" \\format (.only Writer) (.open: "specification#[0]" monoid)]]
+ ["[0]" \\format (.only Writer) (.use "specification#[0]" monoid)]]
[collection
- ["[0]" sequence (.only Sequence) (.open: "[1]#[0]" mix)]]]
+ ["[0]" sequence (.only Sequence) (.use "[1]#[0]" mix)]]]
[math
[number
["[0]" int]
diff --git a/stdlib/source/library/lux/target/jvm/constant/tag.lux b/stdlib/source/library/lux/target/jvm/constant/tag.lux
index 58684f493..060628096 100644
--- a/stdlib/source/library/lux/target/jvm/constant/tag.lux
+++ b/stdlib/source/library/lux/target/jvm/constant/tag.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
@@ -12,7 +12,7 @@
[primitive (.except)]]]]
["[0]" ///
[encoding
- ["[1][0]" unsigned (.only U1) (.open: "u1//[0]" equivalence)]]])
+ ["[1][0]" unsigned (.only U1) (.use "u1//[0]" equivalence)]]])
(primitive .public Tag
U1
diff --git a/stdlib/source/library/lux/target/jvm/encoding/name.lux b/stdlib/source/library/lux/target/jvm/encoding/name.lux
index 068c11a36..558dfcad5 100644
--- a/stdlib/source/library/lux/target/jvm/encoding/name.lux
+++ b/stdlib/source/library/lux/target/jvm/encoding/name.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[data
diff --git a/stdlib/source/library/lux/target/jvm/encoding/signed.lux b/stdlib/source/library/lux/target/jvm/encoding/signed.lux
index b00ff6ba3..b25fc4412 100644
--- a/stdlib/source/library/lux/target/jvm/encoding/signed.lux
+++ b/stdlib/source/library/lux/target/jvm/encoding/signed.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except int)
[abstract
diff --git a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux
index 0d2a16d52..33477f551 100644
--- a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux
+++ b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except nat)
[abstract
diff --git a/stdlib/source/library/lux/target/jvm/field.lux b/stdlib/source/library/lux/target/jvm/field.lux
index fa84b191b..d8d6ab791 100644
--- a/stdlib/source/library/lux/target/jvm/field.lux
+++ b/stdlib/source/library/lux/target/jvm/field.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Type static public private)
[abstract
@@ -7,7 +7,7 @@
[data
["[0]" product]
["[0]" binary
- ["[1]F" \\format (.only Writer) (.open: "[1]#[0]" monoid)]]
+ ["[1]F" \\format (.only Writer) (.use "[1]#[0]" monoid)]]
[collection
["[0]" sequence (.only Sequence)]]]]]
["[0]" //
diff --git a/stdlib/source/library/lux/target/jvm/index.lux b/stdlib/source/library/lux/target/jvm/index.lux
index f21318b91..e54447e78 100644
--- a/stdlib/source/library/lux/target/jvm/index.lux
+++ b/stdlib/source/library/lux/target/jvm/index.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/library/lux/target/jvm/loader.lux b/stdlib/source/library/lux/target/jvm/loader.lux
index a16372f06..0ce3ffe3f 100644
--- a/stdlib/source/library/lux/target/jvm/loader.lux
+++ b/stdlib/source/library/lux/target/jvm/loader.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
["@" target]
diff --git a/stdlib/source/library/lux/target/jvm/magic.lux b/stdlib/source/library/lux/target/jvm/magic.lux
index a4064361e..b59147f41 100644
--- a/stdlib/source/library/lux/target/jvm/magic.lux
+++ b/stdlib/source/library/lux/target/jvm/magic.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[control
diff --git a/stdlib/source/library/lux/target/jvm/method.lux b/stdlib/source/library/lux/target/jvm/method.lux
index 082ede18b..9632c28a0 100644
--- a/stdlib/source/library/lux/target/jvm/method.lux
+++ b/stdlib/source/library/lux/target/jvm/method.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Type static public private)
[abstract
@@ -9,7 +9,7 @@
[data
["[0]" product]
[binary
- ["[0]" \\format (.only Writer) (.open: "[1]#[0]" monoid)]]
+ ["[0]" \\format (.only Writer) (.use "[1]#[0]" monoid)]]
[collection
["[0]" sequence (.only Sequence)]
["[0]" list]]]]]
diff --git a/stdlib/source/library/lux/target/jvm/modifier.lux b/stdlib/source/library/lux/target/jvm/modifier.lux
index 1034f5cab..058027fab 100644
--- a/stdlib/source/library/lux/target/jvm/modifier.lux
+++ b/stdlib/source/library/lux/target/jvm/modifier.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/stdlib/source/library/lux/target/jvm/modifier/inner.lux b/stdlib/source/library/lux/target/jvm/modifier/inner.lux
index 693946b75..1537dbe10 100644
--- a/stdlib/source/library/lux/target/jvm/modifier/inner.lux
+++ b/stdlib/source/library/lux/target/jvm/modifier/inner.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except static)
[type
diff --git a/stdlib/source/library/lux/target/jvm/reflection.lux b/stdlib/source/library/lux/target/jvm/reflection.lux
index e09c3d85a..262ad8145 100644
--- a/stdlib/source/library/lux/target/jvm/reflection.lux
+++ b/stdlib/source/library/lux/target/jvm/reflection.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Primitive type parameter)
["[0]" ffi (.only import)]
@@ -6,14 +6,14 @@
[abstract
["[0]" monad (.only do)]]
[control
- ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]
+ ["[0]" try (.only Try) (.use "[1]#[0]" functor)]
["[0]" exception (.only exception:)]]
[data
- ["[0]" text (.open: "[1]#[0]" equivalence)
+ ["[0]" text (.use "[1]#[0]" equivalence)
["%" \\format (.only format)]
["<t>" \\parser]]
[collection
- ["[0]" list (.open: "[1]#[0]" mix functor)]
+ ["[0]" list (.use "[1]#[0]" mix functor)]
["[0]" array]
["[0]" dictionary]]]
[macro
diff --git a/stdlib/source/library/lux/target/jvm/type.lux b/stdlib/source/library/lux/target/jvm/type.lux
index 3734c5e99..f2ae2d59d 100644
--- a/stdlib/source/library/lux/target/jvm/type.lux
+++ b/stdlib/source/library/lux/target/jvm/type.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Primitive Type int char)
[abstract
@@ -10,7 +10,7 @@
["[0]" text (.only)
["%" \\format (.only Format)]]
[collection
- ["[0]" list (.open: "[1]#[0]" functor)]]]
+ ["[0]" list (.use "[1]#[0]" functor)]]]
[math
[number
["n" nat]]]
diff --git a/stdlib/source/library/lux/target/jvm/type/alias.lux b/stdlib/source/library/lux/target/jvm/type/alias.lux
index 0ec86571b..9eb7986d2 100644
--- a/stdlib/source/library/lux/target/jvm/type/alias.lux
+++ b/stdlib/source/library/lux/target/jvm/type/alias.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Type Primitive int char type parameter)
[abstract
diff --git a/stdlib/source/library/lux/target/jvm/type/box.lux b/stdlib/source/library/lux/target/jvm/type/box.lux
index 051f45391..367efa5ed 100644
--- a/stdlib/source/library/lux/target/jvm/type/box.lux
+++ b/stdlib/source/library/lux/target/jvm/type/box.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except int char)]]
[///
diff --git a/stdlib/source/library/lux/target/jvm/type/category.lux b/stdlib/source/library/lux/target/jvm/type/category.lux
index c9115e3b4..772503318 100644
--- a/stdlib/source/library/lux/target/jvm/type/category.lux
+++ b/stdlib/source/library/lux/target/jvm/type/category.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Primitive)
[macro
diff --git a/stdlib/source/library/lux/target/jvm/type/descriptor.lux b/stdlib/source/library/lux/target/jvm/type/descriptor.lux
index 3de5b4483..332a1c128 100644
--- a/stdlib/source/library/lux/target/jvm/type/descriptor.lux
+++ b/stdlib/source/library/lux/target/jvm/type/descriptor.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Primitive int char)
[abstract
@@ -6,10 +6,10 @@
[control
["[0]" maybe]]
[data
- ["[0]" text (.open: "[1]#[0]" equivalence)
+ ["[0]" text (.use "[1]#[0]" equivalence)
["%" \\format (.only format)]]
[collection
- ["[0]" list (.open: "[1]#[0]" functor)]]]
+ ["[0]" list (.use "[1]#[0]" functor)]]]
[math
[number
["n" nat]]]
diff --git a/stdlib/source/library/lux/target/jvm/type/lux.lux b/stdlib/source/library/lux/target/jvm/type/lux.lux
index 3490eaed9..8ae726f26 100644
--- a/stdlib/source/library/lux/target/jvm/type/lux.lux
+++ b/stdlib/source/library/lux/target/jvm/type/lux.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Primitive int char type parameter)
[abstract
@@ -6,10 +6,10 @@
[control
["[0]" try]
["[0]" exception (.only exception:)]
- ["<>" parser (.open: "[1]#[0]" monad)]]
+ ["<>" parser (.use "[1]#[0]" monad)]]
[data
["[0]" product]
- ["[0]" text (.open: "[1]#[0]" equivalence)
+ ["[0]" text (.use "[1]#[0]" equivalence)
["%" \\format (.only format)]
["<[1]>" \\parser (.only Parser)]]
[collection
@@ -17,7 +17,7 @@
["[0]" dictionary (.only Dictionary)]]]
[type
[primitive (.except)]
- ["[0]" check (.only Check) (.open: "[1]#[0]" monad)]]]]
+ ["[0]" check (.only Check) (.use "[1]#[0]" monad)]]]]
["[0]" // (.only)
[category (.only Void Value Return Method Primitive Object Class Array Var Parameter)]
["[1][0]" descriptor]
diff --git a/stdlib/source/library/lux/target/jvm/type/parser.lux b/stdlib/source/library/lux/target/jvm/type/parser.lux
index 9eb9db150..15a46e8ec 100644
--- a/stdlib/source/library/lux/target/jvm/type/parser.lux
+++ b/stdlib/source/library/lux/target/jvm/type/parser.lux
@@ -1,10 +1,10 @@
-(.using
+(.require
[library
[lux (.except Type Primitive int char parameter)
[abstract
[monad (.only do)]]
[control
- ["<>" parser (.open: "[1]#[0]" monad)]
+ ["<>" parser (.use "[1]#[0]" monad)]
["[0]" try]
["[0]" function]]
[data
diff --git a/stdlib/source/library/lux/target/jvm/type/reflection.lux b/stdlib/source/library/lux/target/jvm/type/reflection.lux
index cfd7be86b..cac395b22 100644
--- a/stdlib/source/library/lux/target/jvm/type/reflection.lux
+++ b/stdlib/source/library/lux/target/jvm/type/reflection.lux
@@ -1,10 +1,10 @@
-(.using
+(.require
[library
[lux (.except Primitive int char)
[abstract
[equivalence (.only Equivalence)]]
[data
- ["[0]" text (.open: "[1]#[0]" equivalence)
+ ["[0]" text (.use "[1]#[0]" equivalence)
["%" \\format (.only format)]]]
[type
[primitive (.except)]]]]
diff --git a/stdlib/source/library/lux/target/jvm/type/signature.lux b/stdlib/source/library/lux/target/jvm/type/signature.lux
index 288b0a75e..cbde0203a 100644
--- a/stdlib/source/library/lux/target/jvm/type/signature.lux
+++ b/stdlib/source/library/lux/target/jvm/type/signature.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Primitive int char)
[abstract
@@ -7,10 +7,10 @@
[control
["[0]" pipe]]
[data
- ["[0]" text (.open: "[1]#[0]" hash)
+ ["[0]" text (.use "[1]#[0]" hash)
["%" \\format (.only format)]]
[collection
- ["[0]" list (.open: "[1]#[0]" functor)]]]
+ ["[0]" list (.use "[1]#[0]" functor)]]]
[type
[primitive (.except)]]]]
["[0]" //
diff --git a/stdlib/source/library/lux/target/jvm/version.lux b/stdlib/source/library/lux/target/jvm/version.lux
index 9b23f8fff..5d23d62c1 100644
--- a/stdlib/source/library/lux/target/jvm/version.lux
+++ b/stdlib/source/library/lux/target/jvm/version.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[control
diff --git a/stdlib/source/library/lux/target/lua.lux b/stdlib/source/library/lux/target/lua.lux
index 7ac944f82..0aed4c5f4 100644
--- a/stdlib/source/library/lux/target/lua.lux
+++ b/stdlib/source/library/lux/target/lua.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Location Code Label int if function or and not let local comment the)
["@" target]
@@ -14,7 +14,7 @@
["[0]" text (.only)
["%" \\format (.only format)]]
[collection
- ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+ ["[0]" list (.use "[1]#[0]" functor mix)]]]
[macro
[syntax (.only syntax)]
["[0]" template]
diff --git a/stdlib/source/library/lux/target/php.lux b/stdlib/source/library/lux/target/php.lux
index c7ec0f9f5..9924b5229 100644
--- a/stdlib/source/library/lux/target/php.lux
+++ b/stdlib/source/library/lux/target/php.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Location Code Global Label static int if cond or and not comment for try global the parameter)
["@" target]
@@ -14,7 +14,7 @@
["[0]" text (.only)
["%" \\format (.only format)]]
[collection
- ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+ ["[0]" list (.use "[1]#[0]" functor mix)]]]
[macro
[syntax (.only syntax)]
["[0]" template]
diff --git a/stdlib/source/library/lux/target/python.lux b/stdlib/source/library/lux/target/python.lux
index 54a9dbd9c..3a737f2df 100644
--- a/stdlib/source/library/lux/target/python.lux
+++ b/stdlib/source/library/lux/target/python.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Location Code not or and list if int comment exec try the is def)
["@" target]
@@ -15,7 +15,7 @@
["[0]" text (.only)
["%" \\format (.only format)]]
[collection
- ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+ ["[0]" list (.use "[1]#[0]" functor mix)]]]
[macro
[syntax (.only syntax)]
["[0]" template]
diff --git a/stdlib/source/library/lux/target/r.lux b/stdlib/source/library/lux/target/r.lux
index f31a950fe..6ec894694 100644
--- a/stdlib/source/library/lux/target/r.lux
+++ b/stdlib/source/library/lux/target/r.lux
@@ -1,17 +1,17 @@
-(.using
+(.require
[library
[lux (.except Code or and list if function cond not int)
[control
["[0]" pipe]
["[0]" function]
- ["[0]" maybe (.open: "[1]#[0]" functor)]
+ ["[0]" maybe (.use "[1]#[0]" functor)]
[parser
["<[0]>" code]]]
[data
["[0]" text
["%" \\format (.only format)]]
[collection
- ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+ ["[0]" list (.use "[1]#[0]" functor mix)]]]
[macro
[syntax (.only syntax)]
["[0]" template]
diff --git a/stdlib/source/library/lux/target/ruby.lux b/stdlib/source/library/lux/target/ruby.lux
index d196e2308..0750ed717 100644
--- a/stdlib/source/library/lux/target/ruby.lux
+++ b/stdlib/source/library/lux/target/ruby.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Location Code static int if function or and not comment local global symbol the)
["@" target]
@@ -14,7 +14,7 @@
["[0]" text (.only)
["%" \\format (.only format)]]
[collection
- ["[0]" list (.open: "[1]#[0]" functor mix)]]]
+ ["[0]" list (.use "[1]#[0]" functor mix)]]]
[macro
[syntax (.only syntax)]
["[0]" template]
diff --git a/stdlib/source/library/lux/target/scheme.lux b/stdlib/source/library/lux/target/scheme.lux
index c3d1722b1..5657061a3 100644
--- a/stdlib/source/library/lux/target/scheme.lux
+++ b/stdlib/source/library/lux/target/scheme.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Code int or and if cond let symbol)
["@" target]
@@ -11,7 +11,7 @@
["[0]" text (.only)
["%" \\format (.only format)]]
[collection
- ["[0]" list (.open: "[1]#[0]" functor monoid)]]]
+ ["[0]" list (.use "[1]#[0]" functor monoid)]]]
[macro
["[0]" template]]
[math