aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm
diff options
context:
space:
mode:
authorEduardo Julian2021-09-15 21:22:09 -0400
committerEduardo Julian2021-09-15 21:22:09 -0400
commita8536d6f44345d7ef86cdc9c67e6efbe80f024de (patch)
tree6ea9c4dc2abb4484ddc6e9b2b578250758a1d99e /lux-jvm
parentc234d5d25331d6ed3b9455ce8c93ec4d34402f91 (diff)
"module:" => "using"
Diffstat (limited to 'lux-jvm')
-rw-r--r--lux-jvm/source/luxc/lang/directive/jvm.lux2
-rw-r--r--lux-jvm/source/luxc/lang/host/jvm.lux2
-rw-r--r--lux-jvm/source/luxc/lang/host/jvm/def.lux2
-rw-r--r--lux-jvm/source/luxc/lang/host/jvm/inst.lux2
-rw-r--r--lux-jvm/source/luxc/lang/synthesis/variable.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/case.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/expression.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/extension.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/function.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/loop.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/primitive.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/program.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/reference.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/runtime.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/structure.lux2
-rw-r--r--lux-jvm/source/program.lux2
-rw-r--r--lux-jvm/source/test/program.lux2
-rw-r--r--lux-jvm/test/test/luxc/lang/analysis/host.jvm.lux2
-rw-r--r--lux-jvm/test/test/luxc/lang/synthesis/loop.lux2
-rw-r--r--lux-jvm/test/test/luxc/lang/synthesis/procedure.lux2
-rw-r--r--lux-jvm/test/test/luxc/lang/translation/js.lux2
-rw-r--r--lux-jvm/test/test/luxc/lang/translation/jvm.lux2
25 files changed, 25 insertions, 25 deletions
diff --git a/lux-jvm/source/luxc/lang/directive/jvm.lux b/lux-jvm/source/luxc/lang/directive/jvm.lux
index 71b0a4dac..60032010d 100644
--- a/lux-jvm/source/luxc/lang/directive/jvm.lux
+++ b/lux-jvm/source/luxc/lang/directive/jvm.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
[library
[lux {"-" Type Primitive static local}
["[0]" ffi {"+" Inheritance Privacy State import:}]
diff --git a/lux-jvm/source/luxc/lang/host/jvm.lux b/lux-jvm/source/luxc/lang/host/jvm.lux
index 321316261..46771939d 100644
--- a/lux-jvm/source/luxc/lang/host/jvm.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
[library
[lux {"-" Definition Type Label}
[ffi {"+" import:}]
diff --git a/lux-jvm/source/luxc/lang/host/jvm/def.lux b/lux-jvm/source/luxc/lang/host/jvm/def.lux
index e1e7e3c7c..1fff1604a 100644
--- a/lux-jvm/source/luxc/lang/host/jvm/def.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm/def.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
[library
[lux {"-" Type}
["[0]" ffi {"+" import: do_to}]
diff --git a/lux-jvm/source/luxc/lang/host/jvm/inst.lux b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
index 597426143..7af807189 100644
--- a/lux-jvm/source/luxc/lang/host/jvm/inst.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
[library
[lux {"-" Type Primitive int char try}
["[0]" ffi {"+" import: do_to}]
diff --git a/lux-jvm/source/luxc/lang/synthesis/variable.lux b/lux-jvm/source/luxc/lang/synthesis/variable.lux
index 02f3c0757..f1ea56e27 100644
--- a/lux-jvm/source/luxc/lang/synthesis/variable.lux
+++ b/lux-jvm/source/luxc/lang/synthesis/variable.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
lux
(lux (data [library
[number]]
diff --git a/lux-jvm/source/luxc/lang/translation/jvm.lux b/lux-jvm/source/luxc/lang/translation/jvm.lux
index 5fee195d4..7642a6952 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
[library
[lux {"-" Module Definition}
["[0]" ffi {"+" import: do_to object}]
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/case.lux b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
index 1cded57dd..0c9ad675f 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/case.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
[library
[lux {"-" Type Label Primitive if let case}
[abstract
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/expression.lux b/lux-jvm/source/luxc/lang/translation/jvm/expression.lux
index 087cc8c3b..c92212370 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/expression.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/expression.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
[library
[lux "*"
[tool
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension.lux
index 8ebacd941..997f850ca 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
[library
[lux "*"
[data
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
index 79eeb98b5..888a7a5a5 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
[library
[lux {"-" Type Label}
[ffi {"+" import:}]
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
index c31d9b90b..bbc8920f6 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
[library
[lux {"-" Type Label Primitive int char type}
[ffi {"+" import:}]
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/function.lux b/lux-jvm/source/luxc/lang/translation/jvm/function.lux
index 441eac0f6..6d2d3e8f9 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/function.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/function.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
[library
[lux {"-" Type Label Primitive function}
[abstract
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/loop.lux b/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
index f31a5d094..7c4c0fd36 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
[library
[lux "*"
[abstract
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux b/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
index b598f1d35..d3e69daec 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
[library
[lux {"-" i64}
["[0]" ffi {"+" import:}]
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/program.lux b/lux-jvm/source/luxc/lang/translation/jvm/program.lux
index 8523e30f2..7e408ecc4 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/program.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/program.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
[library
[lux "*"
[data
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/reference.lux b/lux-jvm/source/luxc/lang/translation/jvm/reference.lux
index 6ac46d542..88b2af2ed 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/reference.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/reference.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
[library
[lux {"-" local}
[abstract
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
index df493f551..6058ba138 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
[library
[lux {"-" Type Label Primitive try}
[abstract
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
index 81f3faaa8..9c8b8b52a 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
[library
[lux {"-" Type Primitive}
["[0]" ffi {"+" import:}]
diff --git a/lux-jvm/source/program.lux b/lux-jvm/source/program.lux
index 79205fd84..b4710d116 100644
--- a/lux-jvm/source/program.lux
+++ b/lux-jvm/source/program.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
[library
[lux {"-" Definition}
[program {"+" program:}]
diff --git a/lux-jvm/source/test/program.lux b/lux-jvm/source/test/program.lux
index cbce7b97e..112225a56 100644
--- a/lux-jvm/source/test/program.lux
+++ b/lux-jvm/source/test/program.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
[lux "*"
["_" test {"+" Test}]
[control
diff --git a/lux-jvm/test/test/luxc/lang/analysis/host.jvm.lux b/lux-jvm/test/test/luxc/lang/analysis/host.jvm.lux
index 68d75bac5..c42eddb60 100644
--- a/lux-jvm/test/test/luxc/lang/analysis/host.jvm.lux
+++ b/lux-jvm/test/test/luxc/lang/analysis/host.jvm.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
[lux "*"
[control
pipe
diff --git a/lux-jvm/test/test/luxc/lang/synthesis/loop.lux b/lux-jvm/test/test/luxc/lang/synthesis/loop.lux
index 16ec6ceda..51e4f3ace 100644
--- a/lux-jvm/test/test/luxc/lang/synthesis/loop.lux
+++ b/lux-jvm/test/test/luxc/lang/synthesis/loop.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
lux
(lux [io]
(control [monad {"+" do}])
diff --git a/lux-jvm/test/test/luxc/lang/synthesis/procedure.lux b/lux-jvm/test/test/luxc/lang/synthesis/procedure.lux
index 2e2f16659..73d8ee873 100644
--- a/lux-jvm/test/test/luxc/lang/synthesis/procedure.lux
+++ b/lux-jvm/test/test/luxc/lang/synthesis/procedure.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
lux
(lux [io]
(control [monad {"+" do}]
diff --git a/lux-jvm/test/test/luxc/lang/translation/js.lux b/lux-jvm/test/test/luxc/lang/translation/js.lux
index 6bb10bf0e..3487c24f8 100644
--- a/lux-jvm/test/test/luxc/lang/translation/js.lux
+++ b/lux-jvm/test/test/luxc/lang/translation/js.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
lux
(lux [io {"+" IO}]
(control [monad {"+" do}]
diff --git a/lux-jvm/test/test/luxc/lang/translation/jvm.lux b/lux-jvm/test/test/luxc/lang/translation/jvm.lux
index 601c0de41..57074884c 100644
--- a/lux-jvm/test/test/luxc/lang/translation/jvm.lux
+++ b/lux-jvm/test/test/luxc/lang/translation/jvm.lux
@@ -1,4 +1,4 @@
-(.module:
+(.using
lux
(lux [io]
(control pipe