diff options
Diffstat (limited to 'lux-jvm')
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 |