diff options
| author | Eduardo Julian | 2021-09-15 21:22:09 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-15 21:22:09 -0400 |
| commit | a8536d6f44345d7ef86cdc9c67e6efbe80f024de (patch) | |
| tree | 6ea9c4dc2abb4484ddc6e9b2b578250758a1d99e /lux-jvm/test | |
| parent | c234d5d25331d6ed3b9455ce8c93ec4d34402f91 (diff) | |
"module:" => "using"
Diffstat (limited to '')
5 files changed, 5 insertions, 5 deletions
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 |