aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/documentation/lux.lux4
-rw-r--r--stdlib/source/documentation/lux/control/concatenative.lux8
-rw-r--r--stdlib/source/documentation/lux/extension.lux4
-rw-r--r--stdlib/source/documentation/lux/type/poly.lux45
-rw-r--r--stdlib/source/library/lux.lux27
-rw-r--r--stdlib/source/library/lux/abstract/apply.lux4
-rw-r--r--stdlib/source/library/lux/control/concatenative.lux84
-rw-r--r--stdlib/source/library/lux/control/concurrency/atom.lux32
-rw-r--r--stdlib/source/library/lux/control/concurrency/thread.lux20
-rw-r--r--stdlib/source/library/lux/control/thread.lux4
-rw-r--r--stdlib/source/library/lux/control/writer.lux4
-rw-r--r--stdlib/source/library/lux/data/binary.lux44
-rw-r--r--stdlib/source/library/lux/data/collection/array.lux24
-rw-r--r--stdlib/source/library/lux/data/collection/list.lux8
-rw-r--r--stdlib/source/library/lux/data/collection/row.lux8
-rw-r--r--stdlib/source/library/lux/data/collection/tree/zipper.lux12
-rw-r--r--stdlib/source/library/lux/data/text.lux16
-rw-r--r--stdlib/source/library/lux/data/text/buffer.lux24
-rw-r--r--stdlib/source/library/lux/data/text/encoding/utf8.lux12
-rw-r--r--stdlib/source/library/lux/debug.lux14
-rw-r--r--stdlib/source/library/lux/math.lux4
-rw-r--r--stdlib/source/library/lux/program.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/constant.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/loader.lux4
-rw-r--r--stdlib/source/library/lux/target/python.lux8
-rw-r--r--stdlib/source/library/lux/time/instant.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/default/platform.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux6
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux6
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux13
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux6
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux6
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux8
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux8
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux2
-rw-r--r--stdlib/source/library/lux/type.lux3
-rw-r--r--stdlib/source/library/lux/type/check.lux3
-rw-r--r--stdlib/source/library/lux/world/console.lux4
-rw-r--r--stdlib/source/library/lux/world/file.lux4
-rw-r--r--stdlib/source/library/lux/world/file/watch.lux4
-rw-r--r--stdlib/source/library/lux/world/net/http/client.lux4
-rw-r--r--stdlib/source/library/lux/world/program.lux24
-rw-r--r--stdlib/source/library/lux/world/shell.lux4
-rw-r--r--stdlib/source/program/aedifex/dependency/resolution.lux4
-rw-r--r--stdlib/source/program/compositor.lux4
-rw-r--r--stdlib/source/test/lux.lux26
-rw-r--r--stdlib/source/test/lux/control/concurrency/async.lux4
-rw-r--r--stdlib/source/test/lux/control/concurrency/semaphore.lux4
-rw-r--r--stdlib/source/test/lux/debug.lux2
-rw-r--r--stdlib/source/test/lux/extension.lux20
-rw-r--r--stdlib/source/test/lux/math/number/frac.lux8
-rw-r--r--stdlib/source/test/lux/static.lux2
-rw-r--r--stdlib/source/test/lux/target/jvm.lux108
-rw-r--r--stdlib/source/test/lux/type/poly/equivalence.lux4
-rw-r--r--stdlib/source/test/lux/type/poly/functor.lux2
-rw-r--r--stdlib/source/test/lux/type/poly/json.lux4
59 files changed, 358 insertions, 375 deletions
diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index e9c09dfee..e81beecb2 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -861,8 +861,8 @@
[(def: js
"JavaScript")
- (for {"JVM" (do jvm stuff)
- js (do js stuff)}
+ (for ["JVM" (do jvm stuff)
+ js (do js stuff)]
(do default stuff))])
(documentation: /.``
diff --git a/stdlib/source/documentation/lux/control/concatenative.lux b/stdlib/source/documentation/lux/control/concatenative.lux
index ef19810e2..745cca04f 100644
--- a/stdlib/source/documentation/lux/control/concatenative.lux
+++ b/stdlib/source/documentation/lux/control/concatenative.lux
@@ -27,10 +27,10 @@
(=> [t] []))]
[(All (_ a b c)
(=> [a b c] [b c a]))]
- [(All (_ ___a ___z)
- (=> {then (=> ___a ___z)
- else (=> ___a ___z)}
- ___a [Bit then else] ___z))])
+ [(All (_ ,,,0 ,,,1)
+ (=> [then (=> ,,,0 ,,,1)
+ else (=> ,,,0 ,,,1)]
+ ,,,0 [Bit then else] ,,,1))])
(documentation: /.||>
"A self-contained sequence of concatenative instructions."
diff --git a/stdlib/source/documentation/lux/extension.lux b/stdlib/source/documentation/lux/extension.lux
index c9216cb0c..5d0e64f51 100644
--- a/stdlib/source/documentation/lux/extension.lux
+++ b/stdlib/source/documentation/lux/extension.lux
@@ -38,10 +38,10 @@
(documentation: /.generation:
""
[(generation: ("my generation" self phase archive [pass_through <synthesis>.any])
- (for {@.jvm
+ (for [@.jvm
(\ phase.monad each (|>> #jvm.Embedded
row.row)
- (phase archive pass_through))}
+ (phase archive pass_through))]
(phase archive pass_through)))])
(documentation: /.directive:
diff --git a/stdlib/source/documentation/lux/type/poly.lux b/stdlib/source/documentation/lux/type/poly.lux
index 8708d3f90..f3d1ef3af 100644
--- a/stdlib/source/documentation/lux/type/poly.lux
+++ b/stdlib/source/documentation/lux/type/poly.lux
@@ -17,48 +17,6 @@
[\\library
["[0]" /]])
-(documentation: /.derived:
- ""
- [(type: Variant
- (.Variant
- (#Bit Bit)
- (#Text Text)
- (#Frac Frac)))
-
- (type: Recursive
- (Rec Recursive
- (.Variant
- (#Number Frac)
- (#Addition Frac Recursive))))
-
- (type: Record
- (.Record
- [#bit Bit
- #frac Frac
- #text Text
- #maybe (Maybe Frac)
- #list (List Frac)
- #dictionary (Dictionary Text Frac)
- #variant Variant
- #tuple [Bit Text Frac]
- #recursive Recursive
- #date Date
- #grams (Qty Gram)]))
-
- (derived: equivalence
- ($equivalence.equivalence
- Record))
-
- (: (Equivalence Record)
- equivalence)
-
- (derived: codec
- ($codec.codec
- Record))
-
- (: (Codec Json Record)
- codec)])
-
(documentation: /.code
""
[(code env type)])
@@ -67,7 +25,6 @@
(.List $.Module)
($.module /._
""
- [..derived:
- ..code
+ [..code
($.default /.poly:)]
[]))
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux
index d10f8d2f5..0872e57c1 100644
--- a/stdlib/source/library/lux.lux
+++ b/stdlib/source/library/lux.lux
@@ -4868,15 +4868,34 @@
(in_meta (list pick))
(target_pick target options' default)))))
+(def: (pairs' tokens)
+ (-> (List Code) (Maybe (List [Code Code])))
+ (if (|> tokens
+ list\size
+ (n/% 2)
+ ("lux i64 =" 0))
+ (#Some (pairs tokens))
+ #None))
+
(macro: .public (for tokens)
(do meta_monad
[target ..target]
(case tokens
- (^ (list [_ (#Record options)]))
- (target_pick target options #None)
+ (^ (list [_ (#Tuple options)]))
+ (case (pairs' options)
+ (#Some options)
+ (target_pick target options #None)
+
+ #None
+ (failure (..wrong_syntax_error (name_of ..for))))
- (^ (list [_ (#Record options)] default))
- (target_pick target options (#Some default))
+ (^ (list [_ (#Tuple options)] default))
+ (case (pairs' options)
+ (#Some options)
+ (target_pick target options (#Some default))
+
+ #None
+ (failure (..wrong_syntax_error (name_of ..for))))
_
(failure (..wrong_syntax_error (name_of ..for))))))
diff --git a/stdlib/source/library/lux/abstract/apply.lux b/stdlib/source/library/lux/abstract/apply.lux
index 48598dfa5..f1b2b9344 100644
--- a/stdlib/source/library/lux/abstract/apply.lux
+++ b/stdlib/source/library/lux/abstract/apply.lux
@@ -26,10 +26,10 @@
(def: (on fgx fgf)
... TODO: Switch from this version to the one below (in comments) ASAP.
- (for {@.old (let [fgf' (\ f_apply on
+ (for [@.old (let [fgf' (\ f_apply on
fgf
(\ f_monad in (function (_ gf gx) (\ g_apply on gx gf))))]
- (:expected (\ f_apply on (:expected fgx) (:expected fgf'))))}
+ (:expected (\ f_apply on (:expected fgx) (:expected fgf'))))]
(let [fgf' (\ f_apply on
fgf
(\ f_monad in (function (_ gf gx) (\ g_apply on gx gf))))]
diff --git a/stdlib/source/library/lux/control/concatenative.lux b/stdlib/source/library/lux/control/concatenative.lux
index 24883f901..28a48035f 100644
--- a/stdlib/source/library/lux/control/concatenative.lux
+++ b/stdlib/source/library/lux/control/concatenative.lux
@@ -38,8 +38,7 @@
(Parser (List Alias))
(|> (<>.and <code>.local_identifier <code>.any)
<>.some
- <code>.record
- (<>.else (list))))
+ <code>.tuple))
(def: top^
(Parser (List Code))
@@ -75,9 +74,12 @@
(meta.failure (format "Cannot expand to more than a single AST/Code node:" text.new_line
(|> expansion (list\each %.code) (text.interposed " ")))))))
-(syntax: .public (=> [aliases aliases^
- inputs stack^
- outputs stack^])
+(def: signature^
+ (Parser [(List Alias) Stack Stack])
+ (<>.either ($_ <>.and aliases^ stack^ stack^)
+ ($_ <>.and (<>\in (list)) stack^ stack^)))
+
+(syntax: .public (=> [[aliases inputs outputs] signature^])
(let [de_alias (function (_ aliased)
(list\mix (function (_ [from to] pre)
(code.replaced (code.local_identifier from) to pre))
@@ -248,26 +250,26 @@
)
(def: .public if
- (All (_ ___a ___z)
- (=> {then (=> ___a ___z)
- else (=> ___a ___z)}
- ___a [Bit then else] ___z))
+ (All (_ ,,,0 ,,,1)
+ (=> [then (=> ,,,0 ,,,1)
+ else (=> ,,,0 ,,,1)]
+ ,,,0 [Bit then else] ,,,1))
(function (_ [[[stack test] then] else])
(.if test
(then stack)
(else stack))))
(def: .public call
- (All (_ ___a ___z)
- (=> {quote (=> ___a ___z)}
- ___a [quote] ___z))
+ (All (_ ,,,0 ,,,1)
+ (=> [quote (=> ,,,0 ,,,1)]
+ ,,,0 [quote] ,,,1))
(function (_ [stack quote])
(quote stack)))
(def: .public loop
- (All (_ ___)
- (=> {test (=> ___ ___ [Bit])}
- ___ [test] ___))
+ (All (_ ,,,)
+ (=> [test (=> ,,, ,,, [Bit])]
+ ,,, [test] ,,,))
(function (loop [stack pred])
(let [[stack' verdict] (pred stack)]
(.if verdict
@@ -275,34 +277,34 @@
stack'))))
(def: .public dip
- (All (_ ___ a)
- (=> ___ [a (=> ___ ___)]
- ___ [a]))
+ (All (_ ,,, a)
+ (=> ,,, [a (=> ,,, ,,,)]
+ ,,, [a]))
(function (_ [[stack a] quote])
[(quote stack) a]))
(def: .public dip/2
- (All (_ ___ a b)
- (=> ___ [a b (=> ___ ___)]
- ___ [a b]))
+ (All (_ ,,, a b)
+ (=> ,,, [a b (=> ,,, ,,,)]
+ ,,, [a b]))
(function (_ [[[stack a] b] quote])
[[(quote stack) a] b]))
(def: .public do
- (All (_ ___a ___z)
- (=> {body (=> ___a ___z)
- pred (=> ___z ___a [Bit])}
- ___a [pred body]
- ___z [pred body]))
+ (All (_ ,,,0 ,,,1)
+ (=> [body (=> ,,,0 ,,,1)
+ pred (=> ,,,1 ,,,0 [Bit])]
+ ,,,0 [pred body]
+ ,,,1 [pred body]))
(function (_ [[stack pred] body])
[[(body stack) pred] body]))
(def: .public while
- (All (_ ___a ___z)
- (=> {body (=> ___z ___a)
- pred (=> ___a ___z [Bit])}
- ___a [pred body]
- ___z))
+ (All (_ ,,,0 ,,,1)
+ (=> [body (=> ,,,1 ,,,0)
+ pred (=> ,,,0 ,,,1 [Bit])]
+ ,,,0 [pred body]
+ ,,,1))
(function (while [[stack pred] body])
(let [[stack' verdict] (pred stack)]
(.if verdict
@@ -310,24 +312,24 @@
stack'))))
(def: .public compose
- (All (_ ___a ___ ___z)
- (=> [(=> ___a ___) (=> ___ ___z)]
- [(=> ___a ___z)]))
+ (All (_ ,,,0 ,,, ,,,1)
+ (=> [(=> ,,,0 ,,,) (=> ,,, ,,,1)]
+ [(=> ,,,0 ,,,1)]))
(function (_ [[stack f] g])
[stack (|>> f g)]))
(def: .public partial
- (All (_ ___a ___z a)
- (=> ___a [a (=> ___a [a] ___z)]
- ___a [(=> ___a ___z)]))
+ (All (_ ,,,0 ,,,1 a)
+ (=> ,,,0 [a (=> ,,,0 [a] ,,,1)]
+ ,,,0 [(=> ,,,0 ,,,1)]))
(function (_ [[stack arg] quote])
[stack (|>> (push arg) quote)]))
(word: .public when
- (All (_ ___)
- (=> {body (=> ___ ___)}
- ___ [Bit body]
- ___))
+ (All (_ ,,,)
+ (=> [body (=> ,,, ,,,)]
+ ,,, [Bit body]
+ ,,,))
swap
(push ..call)
(push ..drop)
diff --git a/stdlib/source/library/lux/control/concurrency/atom.lux b/stdlib/source/library/lux/control/concurrency/atom.lux
index 6309f4f35..091273281 100644
--- a/stdlib/source/library/lux/control/concurrency/atom.lux
+++ b/stdlib/source/library/lux/control/concurrency/atom.lux
@@ -20,57 +20,57 @@
(new [a])
(get [] a)
(compareAndSet [a a] boolean)]))]
- (for {@.old <jvm>
- @.jvm <jvm>}
+ (for [@.old <jvm>
+ @.jvm <jvm>]
(as_is)))
-(with_expansions [<new> (for {@.js "js array new"
+(with_expansions [<new> (for [@.js "js array new"
@.python "python array new"
@.lua "lua array new"
@.ruby "ruby array new"
@.php "php array new"
- @.scheme "scheme array new"}
+ @.scheme "scheme array new"]
(as_is))
- <write> (for {@.js "js array write"
+ <write> (for [@.js "js array write"
@.python "python array write"
@.lua "lua array write"
@.ruby "ruby array write"
@.php "php array write"
- @.scheme "scheme array write"}
+ @.scheme "scheme array write"]
(as_is))
- <read> (for {@.js "js array read"
+ <read> (for [@.js "js array read"
@.python "python array read"
@.lua "lua array read"
@.ruby "ruby array read"
@.php "php array read"
- @.scheme "scheme array read"}
+ @.scheme "scheme array read"]
(as_is))]
(abstract: .public (Atom a)
(with_expansions [<jvm> (java/util/concurrent/atomic/AtomicReference a)]
- (for {@.old <jvm>
- @.jvm <jvm>}
+ (for [@.old <jvm>
+ @.jvm <jvm>]
(array.Array a)))
[(def: .public (atom value)
(All (_ a) (-> a (Atom a)))
(:abstraction (with_expansions [<jvm> (java/util/concurrent/atomic/AtomicReference::new value)]
- (for {@.old <jvm>
- @.jvm <jvm>}
+ (for [@.old <jvm>
+ @.jvm <jvm>]
(<write> 0 value (<new> 1))))))
(def: .public (read! atom)
(All (_ a) (-> (Atom a) (IO a)))
(io.io (with_expansions [<jvm> (java/util/concurrent/atomic/AtomicReference::get (:representation atom))]
- (for {@.old <jvm>
- @.jvm <jvm>}
+ (for [@.old <jvm>
+ @.jvm <jvm>]
(<read> 0 (:representation atom))))))
(def: .public (compare_and_swap! current new atom)
(All (_ a) (-> a a (Atom a) (IO Bit)))
(io.io (with_expansions [<jvm> (java/util/concurrent/atomic/AtomicReference::compareAndSet current new (:representation atom))]
- (for {@.old <jvm>
- @.jvm <jvm>}
+ (for [@.old <jvm>
+ @.jvm <jvm>]
(let [old (<read> 0 (:representation atom))]
(if (same? old current)
(exec (<write> 0 new (:representation atom))
diff --git a/stdlib/source/library/lux/control/concurrency/thread.lux b/stdlib/source/library/lux/control/concurrency/thread.lux
index 4e82d76a6..c9430c1ed 100644
--- a/stdlib/source/library/lux/control/concurrency/thread.lux
+++ b/stdlib/source/library/lux/control/concurrency/thread.lux
@@ -45,7 +45,7 @@
["[1]::[0]"
(new [int])
(schedule [java/lang/Runnable long java/util/concurrent/TimeUnit] "io" (java/util/concurrent/ScheduledFuture java/lang/Object))]))]
- (for {@.old (as_is <jvm>)
+ (for [@.old (as_is <jvm>)
@.jvm (as_is <jvm>)
@.js
@@ -55,7 +55,7 @@
(ffi.import: threading/Timer
["[1]::[0]"
(new [ffi.Float ffi.Function])
- (start [] "io" "?" Any)])}
+ (start [] "io" "?" Any)])]
... Default
(type: Thread
@@ -70,18 +70,18 @@
(with_expansions [<jvm> (|> (java/lang/Runtime::getRuntime)
(java/lang/Runtime::availableProcessors)
.nat)]
- (for {@.old <jvm>
- @.jvm <jvm>}
+ (for [@.old <jvm>
+ @.jvm <jvm>]
... Default
1)))
(with_expansions [<jvm> (as_is (def: runner
java/util/concurrent/ScheduledThreadPoolExecutor
(java/util/concurrent/ScheduledThreadPoolExecutor::new (.int ..parallelism))))]
- (for {@.old <jvm>
+ (for [@.old <jvm>
@.jvm <jvm>
@.js (as_is)
- @.python (as_is)}
+ @.python (as_is)]
... Default
(def: runner
@@ -111,7 +111,7 @@
0 (java/util/concurrent/Executor::execute runnable runner)
_ (java/util/concurrent/ScheduledThreadPoolExecutor::schedule runnable (.int milli_seconds) java/util/concurrent/TimeUnit::MILLISECONDS
runner))))]
- (for {@.old <jvm>
+ (for [@.old <jvm>
@.jvm <jvm>
@.js
@@ -124,7 +124,7 @@
[(|> milli_seconds n.frac (f./ +1,000.0))]
threading/Timer::new
(threading/Timer::start []))]
- (in []))}
+ (in []))]
... Default
(do [! io.monad]
@@ -135,10 +135,10 @@
..runner)]
(in [])))))
-(for {@.old (as_is)
+(for [@.old (as_is)
@.jvm (as_is)
@.js (as_is)
- @.python (as_is)}
+ @.python (as_is)]
... Default
(as_is (exception: .public cannot_continue_running_threads)
diff --git a/stdlib/source/library/lux/control/thread.lux b/stdlib/source/library/lux/control/thread.lux
index b2945a7a0..ec49d9a1a 100644
--- a/stdlib/source/library/lux/control/thread.lux
+++ b/stdlib/source/library/lux/control/thread.lux
@@ -30,7 +30,7 @@
(def: .public (read! box)
(All (_ ! a) (-> (Box ! a) (Thread ! a)))
(function (_ !)
- (for {@.old
+ (for [@.old
("jvm aaload" (:representation box) 0)
@.jvm
@@ -46,7 +46,7 @@
@.lua ("lua array read" 0 (:representation box))
@.ruby ("ruby array read" 0 (:representation box))
@.php ("php array read" 0 (:representation box))
- @.scheme ("scheme array read" 0 (:representation box))})))
+ @.scheme ("scheme array read" 0 (:representation box))])))
(def: .public (write! value box)
(All (_ a) (-> a (All (_ !) (-> (Box ! a) (Thread ! Any)))))
diff --git a/stdlib/source/library/lux/control/writer.lux b/stdlib/source/library/lux/control/writer.lux
index cabc9268c..0805da036 100644
--- a/stdlib/source/library/lux/control/writer.lux
+++ b/stdlib/source/library/lux/control/writer.lux
@@ -62,9 +62,9 @@
(def: (conjoint MlMla)
(do monad
- [[l1 Mla] (for {@.old
+ [[l1 Mla] (for [@.old
(: ((:parameter 1) (Writer (:parameter 0) ((:parameter 1) (Writer (:parameter 0) (:parameter 2)))))
- MlMla)}
+ MlMla)]
... On new compiler
MlMla)
[l2 a] Mla]
diff --git a/stdlib/source/library/lux/data/binary.lux b/stdlib/source/library/lux/data/binary.lux
index 8d1975b8f..33bac997b 100644
--- a/stdlib/source/library/lux/data/binary.lux
+++ b/stdlib/source/library/lux/data/binary.lux
@@ -60,12 +60,12 @@
(def: byte
(-> (I64 Any) (primitive "java.lang.Byte"))
- (for {@.old
+ (for [@.old
(|>> .int ffi.long_to_byte)
@.jvm
- (|>> .int (:as (primitive "java.lang.Long")) ffi.long_to_byte)})))]
- (for {@.old (as_is <jvm>)
+ (|>> .int (:as (primitive "java.lang.Long")) ffi.long_to_byte)])))]
+ (for [@.old (as_is <jvm>)
@.jvm (as_is <jvm>)
@.js
@@ -92,14 +92,14 @@
(ffi.import: (make-bytevector [Nat] Binary))
(ffi.import: (bytevector-u8-ref [Binary Nat] I64))
(ffi.import: (bytevector-u8-set! [Binary Nat (I64 Any)] Any))
- (ffi.import: (bytevector-length [Binary] Nat)))}
+ (ffi.import: (bytevector-length [Binary] Nat)))]
... Default
(type: .public Binary
(array.Array (I64 Any)))))
(template: (!size binary)
- [(for {@.old (ffi.length binary)
+ [(for [@.old (ffi.length binary)
@.jvm (ffi.length binary)
@.js
@@ -113,13 +113,13 @@
"python array length")
@.scheme
- (..bytevector-length [binary])}
+ (..bytevector-length [binary])]
... Default
(array.size binary))])
(template: (!read index binary)
- [(for {@.old (..i64 (ffi.read! index binary))
+ [(for [@.old (..i64 (ffi.read! index binary))
@.jvm (..i64 (ffi.read! index binary))
@.js
@@ -136,7 +136,7 @@
("python array read" index))
@.scheme
- (..bytevector-u8-ref [binary index])}
+ (..bytevector-u8-ref [binary index])]
... Default
(|> binary
@@ -152,13 +152,13 @@
(:as ..Binary))])
(template: (!write index value binary)
- [(for {@.old (ffi.write! index (..byte value) binary)
+ [(for [@.old (ffi.write! index (..byte value) binary)
@.jvm (ffi.write! index (..byte value) binary)
@.js (!!write .Frac n.frac "js array write" index value binary)
@.python (!!write (I64 Any) (:as (I64 Any)) "python array write" index value binary)
@.scheme (exec (..bytevector-u8-set! [binary index value])
- binary)}
+ binary)]
... Default
(array.write! index (|> value .nat (n.% (hex "100"))) binary))])
@@ -169,7 +169,7 @@
(def: .public (empty size)
(-> Nat Binary)
- (for {@.old (ffi.array byte size)
+ (for [@.old (ffi.array byte size)
@.jvm (ffi.array byte size)
@.js
@@ -181,7 +181,7 @@
(:as Binary))
@.scheme
- (..make-bytevector size)}
+ (..make-bytevector size)]
... Default
(array.empty size)))
@@ -261,7 +261,7 @@
(def: .public (write/64! index value binary)
(-> Nat (I64 Any) Binary (Try Binary))
(if (n.< (..!size binary) (n.+ 7 index))
- (for {@.scheme (let [write_high (|>> (!write index (i64.right_shifted 56 value))
+ (for [@.scheme (let [write_high (|>> (!write index (i64.right_shifted 56 value))
(!write (n.+ 1 index) (i64.right_shifted 48 value))
(!write (n.+ 2 index) (i64.right_shifted 40 value))
(!write (n.+ 3 index) (i64.right_shifted 32 value)))
@@ -269,7 +269,7 @@
(!write (n.+ 5 index) (i64.right_shifted 16 value))
(!write (n.+ 6 index) (i64.right_shifted 8 value))
(!write (n.+ 7 index) value))]
- (|> binary write_high write_low #try.Success))}
+ (|> binary write_high write_low #try.Success))]
(#try.Success (|> binary
(!write index (i64.right_shifted 56 value))
(!write (n.+ 1 index) (i64.right_shifted 48 value))
@@ -286,8 +286,8 @@
(def: (= reference sample)
(with_expansions [<jvm> (java/util/Arrays::equals reference sample)]
- (for {@.old <jvm>
- @.jvm <jvm>}
+ (for [@.old <jvm>
+ @.jvm <jvm>]
(let [limit (!size reference)]
(and (n.= limit
(!size sample))
@@ -298,8 +298,8 @@
(recur (++ index)))
true))))))))
-(for {@.old (as_is)
- @.jvm (as_is)}
+(for [@.old (as_is)
+ @.jvm (as_is)]
... Default
(exception: .public (cannot_copy_bytes [bytes Nat
@@ -315,8 +315,8 @@
(with_expansions [<jvm> (as_is (do try.monad
[_ (java/lang/System::arraycopy source (.int source_offset) target (.int target_offset) (.int bytes))]
(in target)))]
- (for {@.old <jvm>
- @.jvm <jvm>}
+ (for [@.old <jvm>
+ @.jvm <jvm>]
... Default
(let [source_input (n.- source_offset (!size source))
@@ -338,8 +338,8 @@
(if (n.> size limit)
(exception.except ..slice_out_of_bounds [size offset length])
(with_expansions [<jvm> (as_is (#try.Success (java/util/Arrays::copyOfRange binary (.int offset) (.int limit))))]
- (for {@.old <jvm>
- @.jvm <jvm>}
+ (for [@.old <jvm>
+ @.jvm <jvm>]
... Default
(..copy length offset binary 0 (..empty length)))))))
diff --git a/stdlib/source/library/lux/data/collection/array.lux b/stdlib/source/library/lux/data/collection/array.lux
index 3c04a7d7f..0bd99245d 100644
--- a/stdlib/source/library/lux/data/collection/array.lux
+++ b/stdlib/source/library/lux/data/collection/array.lux
@@ -27,17 +27,17 @@
(with_expansions [<index_type> (primitive "java.lang.Long")
<elem_type> (primitive "java.lang.Object")
<array_type> (type (Array <elem_type>))]
- (for {@.jvm
+ (for [@.jvm
(template: (!int value)
[(|> value
(:as <index_type>)
"jvm object cast"
- "jvm conversion long-to-int")])}
+ "jvm conversion long-to-int")])]
(as_is))
(def: .public (empty size)
(All (_ a) (-> Nat (Array a)))
- (for {@.old
+ (for [@.old
(:expected ("jvm anewarray" "(java.lang.Object )" size))
@.jvm
@@ -52,11 +52,11 @@
@.lua ("lua array new" size)
@.ruby ("ruby array new" size)
@.php ("php array new" size)
- @.scheme ("scheme array new" size)}))
+ @.scheme ("scheme array new" size)]))
(def: .public (size array)
(All (_ a) (-> (Array a) Nat))
- (for {@.old
+ (for [@.old
("jvm arraylength" array)
@.jvm
@@ -73,7 +73,7 @@
@.lua ("lua array length" array)
@.ruby ("ruby array length" array)
@.php ("php array length" array)
- @.scheme ("scheme array length" array)}))
+ @.scheme ("scheme array length" array)]))
(template: (!read! <read!> <null?>)
[(let [output (<read!> index array)]
@@ -85,7 +85,7 @@
(All (_ a)
(-> Nat (Array a) (Maybe a)))
(if (n.< (size array) index)
- (for {@.old
+ (for [@.old
(let [value ("jvm aaload" array index)]
(if ("jvm object null?" value)
#.None
@@ -104,13 +104,13 @@
@.lua (!read! "lua array read" "lua object nil?")
@.ruby (!read! "ruby array read" "ruby object nil?")
@.php (!read! "php array read" "php object null?")
- @.scheme (!read! "scheme array read" "scheme object nil?")})
+ @.scheme (!read! "scheme array read" "scheme object nil?")])
#.None))
(def: .public (write! index value array)
(All (_ a)
(-> Nat a (Array a) (Array a)))
- (for {@.old
+ (for [@.old
("jvm aastore" array index value)
@.jvm
@@ -124,13 +124,13 @@
@.lua ("lua array write" index value array)
@.ruby ("ruby array write" index value array)
@.php ("php array write" index value array)
- @.scheme ("scheme array write" index value array)}))
+ @.scheme ("scheme array write" index value array)]))
(def: .public (delete! index array)
(All (_ a)
(-> Nat (Array a) (Array a)))
(if (n.< (size array) index)
- (for {@.old
+ (for [@.old
(write! index (:expected ("jvm object null")) array)
@.jvm
@@ -141,7 +141,7 @@
@.lua ("lua array delete" index array)
@.ruby ("ruby array delete" index array)
@.php ("php array delete" index array)
- @.scheme ("scheme array delete" index array)})
+ @.scheme ("scheme array delete" index array)])
array))
)
diff --git a/stdlib/source/library/lux/data/collection/list.lux b/stdlib/source/library/lux/data/collection/list.lux
index ead69db05..286290c96 100644
--- a/stdlib/source/library/lux/data/collection/list.lux
+++ b/stdlib/source/library/lux/data/collection/list.lux
@@ -203,7 +203,7 @@
(def: .public (all check xs)
(All (_ a b)
(-> (-> a (Maybe b)) (List a) (List b)))
- (for {... TODO: Stop relying on this ASAP.
+ (for [... TODO: Stop relying on this ASAP.
@.js
(mix (function (_ head tail)
(case (check head)
@@ -213,7 +213,7 @@
#.None
tail))
#.End
- (reversed xs))}
+ (reversed xs))]
(case xs
#.End
#.End
@@ -572,9 +572,9 @@
(do [! monad]
[lMla MlMla
... TODO: Remove this version ASAP and use one below.
- lla (for {@.old
+ lla (for [@.old
(: ((:parameter 0) (List (List (:parameter 1))))
- (monad.all ! lMla))}
+ (monad.all ! lMla))]
(monad.all ! lMla))]
(in (..together lla)))))
diff --git a/stdlib/source/library/lux/data/collection/row.lux b/stdlib/source/library/lux/data/collection/row.lux
index 5080c4c1c..728a67ce4 100644
--- a/stdlib/source/library/lux/data/collection/row.lux
+++ b/stdlib/source/library/lux/data/collection/row.lux
@@ -224,9 +224,9 @@
... If so, a brand-new root must be established, that is
... 1-level taller.
(|> row
- (with@ #root (|> (for {@.old
+ (with@ #root (|> (for [@.old
(: (Hierarchy (:parameter 0))
- (empty_hierarchy []))}
+ (empty_hierarchy []))]
(empty_hierarchy []))
(array.write! 0 (#Hierarchy (value@ #root row)))
(array.write! 1 (..path (value@ #level row) (value@ #tail row)))))
@@ -293,9 +293,9 @@
(#try.Success (if (n.< (tail_off row_size) idx)
(revised@ #root (hierarchy\has (value@ #level row) idx val)
row)
- (revised@ #tail (for {@.old
+ (revised@ #tail (for [@.old
(: (-> (Base (:parameter 0)) (Base (:parameter 0)))
- (|>> array.clone (array.write! (branch_idx idx) val)))}
+ (|>> array.clone (array.write! (branch_idx idx) val)))]
(|>> array.clone (array.write! (branch_idx idx) val)))
row)))
(exception.except ..index_out_of_bounds [row idx]))))
diff --git a/stdlib/source/library/lux/data/collection/tree/zipper.lux b/stdlib/source/library/lux/data/collection/tree/zipper.lux
index 36b162843..ee7daa341 100644
--- a/stdlib/source/library/lux/data/collection/tree/zipper.lux
+++ b/stdlib/source/library/lux/data/collection/tree/zipper.lux
@@ -103,13 +103,13 @@
(do maybe.monad
[family (value@ #family zipper)]
(in (let [(^slots [#parent #lefts #rights]) family]
- (for {@.old
+ (for [@.old
(revised@ #node (: (-> (Tree (:parameter 0))
(Tree (:parameter 0)))
(with@ #//.children (list\composite (list.reversed lefts)
(#.Item (value@ #node zipper)
rights))))
- parent)}
+ parent)]
(with@ [#node #//.children]
(list\composite (list.reversed lefts)
(#.Item (value@ #node zipper)
@@ -123,11 +123,11 @@
(#.Some family)
(case (value@ <side> family)
(#.Item next side')
- (#.Some (for {@.old
+ (#.Some (for [@.old
[#family (#.Some (|> family
(with@ <side> side')
(revised@ <op_side> (|>> (#.Item (value@ #node zipper))))))
- #node next]}
+ #node next]]
(let [move (: (All (_ a) (-> (List (Tree a)) (Zipper a) (Family Zipper a) (Family Zipper a)))
(function (_ side' zipper)
(|>> (with@ <side> side')
@@ -153,11 +153,11 @@
#.None
(#.Item last prevs)
- (#.Some (for {@.old [#family (#.Some (|> family
+ (#.Some (for [@.old [#family (#.Some (|> family
(with@ <side> #.End)
(revised@ <op_side> (|>> (#.Item (value@ #node zipper))
(list\composite prevs)))))
- #node last]}
+ #node last]]
(let [move (: (All (_ a) (-> (List (Tree a)) (Zipper a) (Family Zipper a) (Family Zipper a)))
(function (_ prevs zipper)
(|>> (with@ <side> #.End)
diff --git a/stdlib/source/library/lux/data/text.lux b/stdlib/source/library/lux/data/text.lux
index aadcb9dbe..b3961edc4 100644
--- a/stdlib/source/library/lux/data/text.lux
+++ b/stdlib/source/library/lux/data/text.lux
@@ -184,7 +184,7 @@
(def: .public (replaced pattern replacement template)
(-> Text Text Text Text)
- (for {@.old
+ (for [@.old
(:as Text
("jvm invokevirtual:java.lang.String:replace:java.lang.CharSequence,java.lang.CharSequence"
(:as (primitive "java.lang.String") template)
@@ -214,7 +214,7 @@
... TODO @.scheme
... TODO @.common_lisp
... TODO @.r
- }
+ ]
... Inefficient default
(loop [left ""
right template]
@@ -253,7 +253,7 @@
(def: &equivalence ..equivalence)
(def: (hash input)
- (for {@.old
+ (for [@.old
(|> input
(: (primitive "java.lang.String"))
"jvm invokevirtual:java.lang.String:hashCode:"
@@ -267,7 +267,7 @@
"jvm conversion int-to-long"
"jvm object cast"
(: (primitive "java.lang.Long"))
- (:as Nat))}
+ (:as Nat))]
... Platform-independent default.
(let [length ("lux text size" input)]
(loop [index 0
@@ -323,7 +323,7 @@
(def: .public (lower_cased value)
(-> Text Text)
- (for {@.old
+ (for [@.old
(:as Text
("jvm invokevirtual:java.lang.String:toLowerCase:"
(:as (primitive "java.lang.String") value)))
@@ -342,11 +342,11 @@
("lua apply" ("lua constant" "string.lower") value))
@.ruby
(:as Text
- ("ruby object do" "downcase" value))}))
+ ("ruby object do" "downcase" value))]))
(def: .public (upper_cased value)
(-> Text Text)
- (for {@.old
+ (for [@.old
(:as Text
("jvm invokevirtual:java.lang.String:toUpperCase:"
(:as (primitive "java.lang.String") value)))
@@ -365,4 +365,4 @@
("lua apply" ("lua constant" "string.upper") value))
@.ruby
(:as Text
- ("ruby object do" "upcase" value))}))
+ ("ruby object do" "upcase" value))]))
diff --git a/stdlib/source/library/lux/data/text/buffer.lux b/stdlib/source/library/lux/data/text/buffer.lux
index af3341930..b8955f732 100644
--- a/stdlib/source/library/lux/data/text/buffer.lux
+++ b/stdlib/source/library/lux/data/text/buffer.lux
@@ -34,7 +34,7 @@
["[1]::[0]"
(new [int])
(toString [] java/lang/String)]))]
- (`` (for {@.old (as_is <jvm>)
+ (`` (for [@.old (as_is <jvm>)
@.jvm (as_is <jvm>)
@.js (as_is (import: (JS_Array a)
["[1]::[0]"
@@ -44,24 +44,24 @@
...https://www.lua.org/manual/5.3/manual.html#pdf-table.concat
(import: (table/insert [(array.Array Text) Text] "?" Nothing))
... https://www.lua.org/manual/5.3/manual.html#pdf-table.insert
- )}
+ )]
(as_is))))
(`` (abstract: .public Buffer
- (for {@.old [Nat (-> java/lang/StringBuilder java/lang/StringBuilder)]
+ (for [@.old [Nat (-> java/lang/StringBuilder java/lang/StringBuilder)]
@.jvm [Nat (-> java/lang/StringBuilder java/lang/StringBuilder)]
@.js [Nat (-> (JS_Array Text) (JS_Array Text))]
- @.lua [Nat (-> (array.Array Text) (array.Array Text))]}
+ @.lua [Nat (-> (array.Array Text) (array.Array Text))]]
... default
(Row Text))
[(def: .public empty
Buffer
(:abstraction (with_expansions [<jvm> [0 function.identity]]
- (for {@.old <jvm>
+ (for [@.old <jvm>
@.jvm <jvm>
@.js [0 function.identity]
- @.lua [0 function.identity]}
+ @.lua [0 function.identity]]
... default
row.empty))))
@@ -76,7 +76,7 @@
builder)))]
(:abstraction [(n.+ (//.size chunk) capacity)
(|>> transform (then! chunk))]))]
- (for {@.old <jvm>
+ (for [@.old <jvm>
@.jvm <jvm>
@.js (let [[capacity transform] (:representation buffer)
then! (: (-> (JS_Array Text) (JS_Array Text))
@@ -93,17 +93,17 @@
(table/insert [array chunk])
array)))]
(:abstraction [(n.+ (//.size chunk) capacity)
- (|>> transform then!)]))}
+ (|>> transform then!)]))]
... default
(|> buffer :representation (row.suffix chunk) :abstraction))))
(def: .public size
(-> Buffer Nat)
(with_expansions [<jvm> (|>> :representation product.left)]
- (for {@.old <jvm>
+ (for [@.old <jvm>
@.jvm <jvm>
@.js <jvm>
- @.lua <jvm>}
+ @.lua <jvm>]
... default
(|>> :representation
(row\mix (function (_ chunk total)
@@ -116,7 +116,7 @@
(|> (java/lang/StringBuilder::new (.int capacity))
transform
java/lang/StringBuilder::toString))]
- (for {@.old <jvm>
+ (for [@.old <jvm>
@.jvm <jvm>
@.js (let [[capacity transform] (:representation buffer)]
(|> (array.empty 0)
@@ -124,7 +124,7 @@
transform
(JS_Array::join [""])))
@.lua (let [[capacity transform] (:representation buffer)]
- (table/concat [(transform (array.empty 0)) ""]))}
+ (table/concat [(transform (array.empty 0)) ""]))]
... default
(row\mix (function (_ chunk total)
(format total chunk))
diff --git a/stdlib/source/library/lux/data/text/encoding/utf8.lux b/stdlib/source/library/lux/data/text/encoding/utf8.lux
index 19867bae4..817288316 100644
--- a/stdlib/source/library/lux/data/text/encoding/utf8.lux
+++ b/stdlib/source/library/lux/data/text/encoding/utf8.lux
@@ -15,7 +15,7 @@
["[1]::[0]"
(new [[byte] java/lang/String])
(getBytes [java/lang/String] [byte])]))]
- (for {@.old (as_is <jvm>)
+ (for [@.old (as_is <jvm>)
@.jvm (as_is <jvm>)
@.js
@@ -59,12 +59,12 @@
@.scheme
... https://srfi.schemers.org/srfi-140/srfi-140.html
(as_is (ffi.import: (string->utf8 [Text] Binary))
- (ffi.import: (utf8->string [Binary] Text)))}
+ (ffi.import: (utf8->string [Binary] Text)))]
(as_is)))
(def: (encoded value)
(-> Text Binary)
- (for {@.old
+ (for [@.old
(java/lang/String::getBytes (//.name //.utf_8)
... TODO: Remove coercion below.
... The coercion below may seem
@@ -109,12 +109,12 @@
(:as Binary))
@.scheme
- (..string->utf8 value)}))
+ (..string->utf8 value)]))
(def: (decoded value)
(-> Binary (Try Text))
(with_expansions [<jvm> (#try.Success (java/lang/String::new value (//.name //.utf_8)))]
- (for {@.old <jvm>
+ (for [@.old <jvm>
@.jvm <jvm>
@.js
@@ -155,7 +155,7 @@
@.scheme
(|> value
..utf8->string
- #try.Success)})))
+ #try.Success)])))
(implementation: .public codec
(Codec Binary Text)
diff --git a/stdlib/source/library/lux/debug.lux b/stdlib/source/library/lux/debug.lux
index 8ce5e58e7..8f3245ea2 100644
--- a/stdlib/source/library/lux/debug.lux
+++ b/stdlib/source/library/lux/debug.lux
@@ -66,7 +66,7 @@
(intValue [] int)
(longValue [] long)
(doubleValue [] double)]))]
- (for {@.old (as_is <jvm>)
+ (for [@.old (as_is <jvm>)
@.jvm (as_is <jvm>)
@.js
@@ -114,24 +114,24 @@
(import: (car [.Any] .Any))
(import: (cdr [.Any] .Any))
(import: (format [Text .Any] Text)))
- }))
+ ]))
(def: Inspector
(.type (Format Any)))
-(for {@.lua (def: (tuple_array tuple)
+(for [@.lua (def: (tuple_array tuple)
(-> (array.Array Any) (array.Array Any))
(array.of_list
(loop [idx 0]
(let [member ("lua array read" idx tuple)]
(if ("lua object nil?" member)
#.End
- (#.Item member (recur (++ idx))))))))}
+ (#.Item member (recur (++ idx))))))))]
(as_is))
(def: (tuple_inspection inspection)
(-> Inspector Inspector)
- (with_expansions [<adaption> (for {@.lua (~~ (as_is ..tuple_array))}
+ (with_expansions [<adaption> (for [@.lua (~~ (as_is ..tuple_array))]
(~~ (as_is)))]
(`` (|>> (:as (array.Array Any))
<adaption>
@@ -175,7 +175,7 @@
(tuple_inspection inspection value)))
#.None)
(java/lang/Object::toString object))))]
- (for {@.old <jvm>
+ (for [@.old <jvm>
@.jvm <jvm>
@.js
@@ -374,7 +374,7 @@
... else
(..format ["~s" value])
))
- })))
+ ])))
(exception: .public (cannot_represent_value [type Type])
(exception.report
diff --git a/stdlib/source/library/lux/math.lux b/stdlib/source/library/lux/math.lux
index b81ca5c50..d6c85234d 100644
--- a/stdlib/source/library/lux/math.lux
+++ b/stdlib/source/library/lux/math.lux
@@ -18,7 +18,7 @@
[tau +6.28318530717958647692]
)
-(for {@.old
+(for [@.old
(as_is (template [<name> <method>]
[(def: .public (<name> it)
(-> Frac Frac)
@@ -282,7 +282,7 @@
(def: .public root/3
(-> Frac Frac)
(..pow ("lux f64 /" +3.0 +1.0))))
- })
+ ])
(def: .public (round it)
(-> Frac Frac)
diff --git a/stdlib/source/library/lux/program.lux b/stdlib/source/library/lux/program.lux
index 00e75d32c..7b81afa69 100644
--- a/stdlib/source/library/lux/program.lux
+++ b/stdlib/source/library/lux/program.lux
@@ -35,10 +35,10 @@
(let [initialization+event_loop
(` ((~! do) (~! io.monad)
[(~ g!output) (~ body)
- (~+ (for {@.old (list)
+ (~+ (for [@.old (list)
@.jvm (list)
@.js (list)
- @.python (list)}
+ @.python (list)]
(list g!_ (` (~! thread.run!)))))]
((~' in) (~ g!output))))]
(in (list (` ("lux def program"
diff --git a/stdlib/source/library/lux/target/jvm/constant.lux b/stdlib/source/library/lux/target/jvm/constant.lux
index ef1076787..d1e9b2122 100644
--- a/stdlib/source/library/lux/target/jvm/constant.lux
+++ b/stdlib/source/library/lux/target/jvm/constant.lux
@@ -71,13 +71,13 @@
(Equivalence java/lang/Float)
(def: (= parameter subject)
- (for {@.old
+ (for [@.old
("jvm feq" parameter subject)
@.jvm
("jvm float ="
("jvm object cast" parameter)
- ("jvm object cast" subject))})))
+ ("jvm object cast" subject))])))
(import: java/lang/Double
["[1]::[0]"
diff --git a/stdlib/source/library/lux/target/jvm/loader.lux b/stdlib/source/library/lux/target/jvm/loader.lux
index fe2bba2e6..1d5eda342 100644
--- a/stdlib/source/library/lux/target/jvm/loader.lux
+++ b/stdlib/source/library/lux/target/jvm/loader.lux
@@ -102,11 +102,11 @@
(def: .public (memory library)
(-> Library java/lang/ClassLoader)
- (with_expansions [<cast> (for {@.old
+ (with_expansions [<cast> (for [@.old
(<|)
@.jvm
- "jvm object cast"})]
+ "jvm object cast"])]
(<| <cast>
(object [] java/lang/ClassLoader []
[]
diff --git a/stdlib/source/library/lux/target/python.lux b/stdlib/source/library/lux/target/python.lux
index 4988e4d78..af0514a76 100644
--- a/stdlib/source/library/lux/target/python.lux
+++ b/stdlib/source/library/lux/target/python.lux
@@ -31,19 +31,19 @@
(-> Text Text)
(text.enclosed ["(" ")"]))
-(for {@.old (as_is (ffi.import: java/lang/CharSequence)
+(for [@.old (as_is (ffi.import: java/lang/CharSequence)
(ffi.import: java/lang/String
["[1]::[0]"
- (replace [java/lang/CharSequence java/lang/CharSequence] java/lang/String)]))}
+ (replace [java/lang/CharSequence java/lang/CharSequence] java/lang/String)]))]
(as_is))
(def: nested
(-> Text Text)
(.let [nested_new_line (format text.new_line text.tab)]
- (for {@.old (|>> (format text.new_line)
+ (for [@.old (|>> (format text.new_line)
(:as java/lang/String)
(java/lang/String::replace (:as java/lang/CharSequence text.new_line)
- (:as java/lang/CharSequence nested_new_line)))}
+ (:as java/lang/CharSequence nested_new_line)))]
(|>> (format text.new_line)
(text.replaced text.new_line nested_new_line)))))
diff --git a/stdlib/source/library/lux/time/instant.lux b/stdlib/source/library/lux/time/instant.lux
index 696b204b0..57063a5a0 100644
--- a/stdlib/source/library/lux/time/instant.lux
+++ b/stdlib/source/library/lux/time/instant.lux
@@ -152,7 +152,7 @@
(def: .public now
(IO Instant)
- (io (..of_millis (for {@.old ("jvm invokestatic:java.lang.System:currentTimeMillis:")
+ (io (..of_millis (for [@.old ("jvm invokestatic:java.lang.System:currentTimeMillis:")
@.jvm (|> ("jvm member invoke static" [] "java.lang.System" "currentTimeMillis" [])
("jvm object cast")
(: (primitive "java.lang.Long"))
@@ -189,7 +189,7 @@
"common_lisp apply"
(:as Int)
(i.* +1,000))
- }))))
+ ]))))
(template [<field> <type> <post_processing>]
[(def: .public (<field> instant)
diff --git a/stdlib/source/library/lux/tool/compiler/default/platform.lux b/stdlib/source/library/lux/tool/compiler/default/platform.lux
index be5d7df27..d24ad8f33 100644
--- a/stdlib/source/library/lux/tool/compiler/default/platform.lux
+++ b/stdlib/source/library/lux/tool/compiler/default/platform.lux
@@ -101,11 +101,11 @@
(ioW.write system static module_id artifact_id content)))]
(do [! ..monad]
[_ (ioW.prepare system static module_id)
- _ (for {@.python (|> output
+ _ (for [@.python (|> output
row.list
(list.sub 128)
(monad.each ! (monad.each ! write_artifact!))
- (: (Action (List (List Any)))))}
+ (: (Action (List (List Any)))))]
(|> output
row.list
(monad.each ..monad write_artifact!)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux
index f5f47f98d..66b58bf74 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux
@@ -199,7 +199,7 @@
[.let [inputT (type.tuple (list.repeated arity Any))]
abstractionA (analysis/type.with_type (-> inputT Any)
(phase archive abstractionC))
- _ (analysis/type.infer (for {@.js ffi.Function}
+ _ (analysis/type.infer (for [@.js ffi.Function]
Any))]
(in (#analysis.Extension extension (list (analysis.nat arity)
abstractionA)))))]))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux
index dd7d43516..f7ed4ed54 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux
@@ -29,15 +29,15 @@
["[0]" phase]]]]]])
(def: Nil
- (for {@.lua ffi.Nil}
+ (for [@.lua ffi.Nil]
Any))
(def: Object
- (for {@.lua (type (ffi.Object Any))}
+ (for [@.lua (type (ffi.Object Any))]
Any))
(def: Function
- (for {@.lua ffi.Function}
+ (for [@.lua ffi.Function]
Any))
(def: array::new
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux
index 227bc4539..a52f8bb53 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux
@@ -108,15 +108,15 @@
)))
(def: Null
- (for {@.php ffi.Null}
+ (for [@.php ffi.Null]
Any))
(def: Object
- (for {@.php (type (ffi.Object Any))}
+ (for [@.php (type (ffi.Object Any))]
Any))
(def: Function
- (for {@.php ffi.Function}
+ (for [@.php ffi.Function]
Any))
(def: object::new
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux
index 2f07f677b..700f80163 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux
@@ -108,20 +108,23 @@
)))
(def: None
- (for {@.python
- ffi.None}
+ (for [@.python
+ ffi.None]
Any))
(def: Object
- (for {@.python (type (ffi.Object Any))}
+ (for [@.python
+ (type (ffi.Object Any))]
Any))
(def: Function
- (for {@.python ffi.Function}
+ (for [@.python
+ ffi.Function]
Any))
(def: Dict
- (for {@.python ffi.Dict}
+ (for [@.python
+ ffi.Dict]
Any))
(def: object::get
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux
index d267ca612..6bf24f1fa 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux
@@ -108,15 +108,15 @@
)))
(def: Nil
- (for {@.ruby ffi.Nil}
+ (for [@.ruby ffi.Nil]
Any))
(def: Object
- (for {@.ruby (type (ffi.Object Any))}
+ (for [@.ruby (type (ffi.Object Any))]
Any))
(def: Function
- (for {@.ruby ffi.Function}
+ (for [@.ruby ffi.Function]
Any))
(def: object::get
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux
index 688803a33..2075522d7 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux
@@ -108,12 +108,12 @@
)))
(def: Nil
- (for {@.scheme
- ffi.Nil}
+ (for [@.scheme
+ ffi.Nil]
Any))
(def: Function
- (for {@.scheme ffi.Function}
+ (for [@.scheme ffi.Function]
Any))
(def: bundle::object
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux
index e71de0758..1be1bcfa5 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux
@@ -211,7 +211,7 @@
(/.install "index" (trinary ..text//index))
(/.install "size" (unary //runtime.text//size))
... TODO: Use version below once the Lua compiler becomes self-hosted.
- ... (/.install "size" (unary (for {@.lua (!unary "utf8.len")}
+ ... (/.install "size" (unary (for [@.lua (!unary "utf8.len")]
... (!unary "string.len"))))
(/.install "char" (binary ..text//char))
(/.install "clip" (trinary ..text//clip))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
index d2b823b85..9ed2c2624 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux
@@ -342,7 +342,7 @@
(..char_index subject)
..lux_index)))))]
(with_vars [byte_index]
- (for {@.lua <normal>}
+ (for [@.lua <normal>]
(_.if ..on_rembulan?
<rembulan>
<normal>)))))
@@ -356,7 +356,7 @@
... (_.+ (_.int +1))
(..byte_index text)
(_.- (_.int +1)))))]
- (for {@.lua <normal>}
+ (for [@.lua <normal>]
(_.if ..on_rembulan?
<rembulan>
<normal>))))
@@ -364,7 +364,7 @@
(runtime: (text//size subject)
(with_expansions [<rembulan> (_.return (_.apply/1 (_.var "string.len") subject))
<normal> (_.return (_.apply/1 (_.var "utf8.len") subject))]
- (for {@.lua <normal>}
+ (for [@.lua <normal>]
(_.if ..on_rembulan?
<rembulan>
<normal>))))
@@ -383,7 +383,7 @@
(_.if (_.= _.nil offset)
(_.statement (_.error/1 (_.string "[Lux Error] Cannot get char from text.")))
(_.return (_.apply/2 (_.var "utf8.codepoint") text offset)))))]
- (for {@.lua <normal>}
+ (for [@.lua <normal>]
(_.if ..on_rembulan?
<rembulan>
<normal>))))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
index bfdf279fa..16283e2e9 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux
@@ -291,7 +291,7 @@
[(_.> ..i64::+limit) ..i64::+iteration ..i64::+cap ..i64::-limit]
[(_.< ..i64::-limit) ..i64::-iteration ..i64::-cap ..i64::+limit]
))
- (_.return (for {@.python input}
+ (_.return (for [@.python input]
... This +- is only necessary to guarantee that values within the limits are always longs in Python 2
(|> input (_.+ ..i64::+limit) (_.- ..i64::+limit))))))))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux
index b256823f5..4913559a1 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux
@@ -18,23 +18,23 @@
... This universe constant is for languages where one can't just turn all compiled definitions
... into the local variables of some scoping function.
(def: .public universe
- (for {... In the case of Lua, there is a limit of 200 locals in a function's scope.
+ (for [ ... In the case of Lua, there is a limit of 200 locals in a function's scope.
@.lua (not ("lua script universe"))
... Cannot make all definitions be local variables because of limitations with JRuby.
@.ruby (not ("ruby script universe"))
... Cannot make all definitions be local variables because of limitations with PHP itself.
@.php (not ("php script universe"))
... Cannot make all definitions be local variables because of limitations with Kawa.
- @.scheme (not ("scheme script universe"))}
+ @.scheme (not ("scheme script universe"))]
#0))
(def: universe_label
Text
(with_expansions [<label> (format "u" (%.nat (if ..universe 1 0)))]
- (for {@.lua <label>
+ (for [@.lua <label>
@.ruby <label>
@.php <label>
- @.scheme <label>}
+ @.scheme <label>]
"")))
(def: .public (artifact [module artifact])
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
index 3df8bb802..bd1aca3b3 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
@@ -51,7 +51,7 @@
["[0]" frac]]]]])
(template: (inline: <declaration> <type> <body>)
- [(for {@.python (def: <declaration> <type> <body>)}
+ [(for [@.python (def: <declaration> <type> <body>)]
(template: <declaration> [<body>]))])
... TODO: Implement "lux syntax char case!" as a custom extension.
diff --git a/stdlib/source/library/lux/type.lux b/stdlib/source/library/lux/type.lux
index effdf2251..7c347bd0e 100644
--- a/stdlib/source/library/lux/type.lux
+++ b/stdlib/source/library/lux/type.lux
@@ -179,7 +179,8 @@
(Equivalence Type)
(def: (= x y)
- (or (for {@.php false} ... TODO: Remove this once JPHP is gone.
+ (or (for [... TODO: Remove this once JPHP is gone.
+ @.php false]
(same? x y))
(case [x y]
[(#.Primitive xname xparams) (#.Primitive yname yparams)]
diff --git a/stdlib/source/library/lux/type/check.lux b/stdlib/source/library/lux/type/check.lux
index 51bb8d13e..bf8210953 100644
--- a/stdlib/source/library/lux/type/check.lux
+++ b/stdlib/source/library/lux/type/check.lux
@@ -557,7 +557,8 @@
... Type-check to ensure that the 'expected' type subsumes the 'actual' type.
(def: (check' assumptions expected actual)
(Checker Type)
- (if (for {@.php false} ... TODO: Remove this once JPHP is gone.
+ (if (for [... TODO: Remove this once JPHP is gone.
+ @.php false]
(same? expected actual))
(check\in assumptions)
(with ..type_check_failed [expected actual]
diff --git a/stdlib/source/library/lux/world/console.lux b/stdlib/source/library/lux/world/console.lux
index a31de2fdc..e3d156adf 100644
--- a/stdlib/source/library/lux/world/console.lux
+++ b/stdlib/source/library/lux/world/console.lux
@@ -94,8 +94,8 @@
(def: close
(|>> (exception.except ..cannot_close) in)))))))))]
- (for {@.old (as_is <jvm>)
- @.jvm (as_is <jvm>)}
+ (for [@.old (as_is <jvm>)
+ @.jvm (as_is <jvm>)]
(as_is)))
(def: .public (write_line message console)
diff --git a/stdlib/source/library/lux/world/file.lux b/stdlib/source/library/lux/world/file.lux
index 9cbb0f8e4..66c125a34 100644
--- a/stdlib/source/library/lux/world/file.lux
+++ b/stdlib/source/library/lux/world/file.lux
@@ -297,7 +297,7 @@
java/io/File::new
(java/io/File::renameTo (java/io/File::new destination))))
)))]
- (for {@.old (as_is <for_jvm>)
+ (for [@.old (as_is <for_jvm>)
@.jvm (as_is <for_jvm>)
@.js
@@ -983,7 +983,7 @@
... ..default_separator)
... ))
... )
- }
+ ]
(as_is)))
(def: .public (exists? monad fs path)
diff --git a/stdlib/source/library/lux/world/file/watch.lux b/stdlib/source/library/lux/world/file/watch.lux
index d26778c03..3af235af1 100644
--- a/stdlib/source/library/lux/world/file/watch.lux
+++ b/stdlib/source/library/lux/world/file/watch.lux
@@ -456,6 +456,6 @@
(async.future (..default_poll watcher)))
)))))
)]
- (for {@.old (as_is <jvm>)
- @.jvm (as_is <jvm>)}
+ (for [@.old (as_is <jvm>)
+ @.jvm (as_is <jvm>)]
(as_is)))
diff --git a/stdlib/source/library/lux/world/net/http/client.lux b/stdlib/source/library/lux/world/net/http/client.lux
index a2ec857a0..c5af6d11f 100644
--- a/stdlib/source/library/lux/world/net/http/client.lux
+++ b/stdlib/source/library/lux/world/net/http/client.lux
@@ -213,8 +213,8 @@
(in [(.nat status)
[#//.headers headers
#//.body (..default_body input)]]))))))]
- (for {@.old (as_is <jvm>)
- @.jvm (as_is <jvm>)}
+ (for [@.old (as_is <jvm>)
+ @.jvm (as_is <jvm>)]
(as_is)))
(implementation: .public (async client)
diff --git a/stdlib/source/library/lux/world/program.lux b/stdlib/source/library/lux/world/program.lux
index 3203a12b1..feb95fff9 100644
--- a/stdlib/source/library/lux/world/program.lux
+++ b/stdlib/source/library/lux/world/program.lux
@@ -141,7 +141,7 @@
(jvm\\consume iterator))
#.End))
)]
- (for {@.old (as_is <jvm>)
+ (for [@.old (as_is <jvm>)
@.jvm (as_is <jvm>)
@.js (as_is (def: default_exit!
(-> Exit (IO Nothing))
@@ -299,7 +299,7 @@
... (ffi.import: (cdr [Pair] Text))
... (ffi.import: (car "as" head [PList] Pair))
... (ffi.import: (cdr "as" tail [PList] PList)))
- }
+ ]
(as_is)))
(implementation: .public default
@@ -310,7 +310,7 @@
java/util/Map::keySet
java/util/Set::iterator
..jvm\\consume))]
- (for {@.old <jvm>
+ (for [@.old <jvm>
@.jvm <jvm>
@.js (io.io (if ffi.on_node_js?
(case (ffi.constant Object [process env])
@@ -345,7 +345,7 @@
... (let [entry (..head input)]
... (recur (..tail input)
... (dictionary.has (..car entry) (..cdr entry) output))))))
- })))
+ ])))
(def: (variable name)
(template.let [(!fetch <method>)
@@ -358,7 +358,7 @@
#.None
(exception.except ..unknown_environment_variable [name]))))]]
(with_expansions [<jvm> (!fetch java/lang/System::resolveEnv)]
- (for {@.old <jvm>
+ (for [@.old <jvm>
@.jvm <jvm>
@.js (io.io (if ffi.on_node_js?
(case (do maybe.monad
@@ -374,13 +374,13 @@
@.python (!fetch os/environ::get)
@.lua (!fetch os/getenv)
@.ruby (!fetch RubyEnv::fetch)
- }))))
+ ]))))
(def: home
(io.run!
(with_expansions [<default> (io.io "~")
<jvm> (io.io (maybe.else "" (java/lang/System::getProperty "user.home")))]
- (for {@.old <jvm>
+ (for [@.old <jvm>
@.jvm <jvm>
@.js (if ffi.on_node_js?
(|> (..require [] "os")
@@ -395,7 +395,7 @@
... (in (if (bit\= false (:as Bit output))
... "~"
... output)))
- }
+ ]
... TODO: Replace dummy implementation.
<default>))))
@@ -403,7 +403,7 @@
(io.run!
(with_expansions [<default> "."
<jvm> (io.io (maybe.else "" (java/lang/System::getProperty "user.dir")))]
- (for {@.old <jvm>
+ (for [@.old <jvm>
@.jvm <jvm>
@.js (if ffi.on_node_js?
(case (ffi.constant ..NodeJs_Process [process])
@@ -426,7 +426,7 @@
... (in (if (bit\= false (:as Bit output))
... "."
... output)))
- }
+ ]
... TODO: Replace dummy implementation.
(io.io <default>)))))
@@ -434,7 +434,7 @@
(with_expansions [<jvm> (do io.monad
[_ (java/lang/System::exit code)]
(in (undefined)))]
- (for {@.old <jvm>
+ (for [@.old <jvm>
@.jvm <jvm>
@.js (cond ffi.on_node_js?
(..exit_node_js! code)
@@ -449,4 +449,4 @@
@.ruby (RubyKernel::exit [code])
... @.php (..exit [code])
... @.scheme (..exit [code])
- }))))
+ ]))))
diff --git a/stdlib/source/library/lux/world/shell.lux b/stdlib/source/library/lux/world/shell.lux
index 07a9b3f3f..5c0fdfbc7 100644
--- a/stdlib/source/library/lux/world/shell.lux
+++ b/stdlib/source/library/lux/world/shell.lux
@@ -306,8 +306,8 @@
process (java/lang/ProcessBuilder::start builder)]
(..default_process process))))
)]
- (for {@.old (as_is <jvm>)
- @.jvm (as_is <jvm>)}
+ (for [@.old (as_is <jvm>)
+ @.jvm (as_is <jvm>)]
(as_is)))
(type: .public (Mock s)
diff --git a/stdlib/source/program/aedifex/dependency/resolution.lux b/stdlib/source/program/aedifex/dependency/resolution.lux
index 3bb2fb687..ce54d9d9a 100644
--- a/stdlib/source/program/aedifex/dependency/resolution.lux
+++ b/stdlib/source/program/aedifex/dependency/resolution.lux
@@ -87,10 +87,10 @@
(case ?actual
(#try.Success actual)
(in (do [! try.monad]
- [output (\ ! each (for {@.old (|>> (:as java/lang/String)
+ [output (\ ! each (for [@.old (|>> (:as java/lang/String)
java/lang/String::trim
(:as Text))
- @.jvm (|>> java/lang/String::trim)})
+ @.jvm (|>> java/lang/String::trim)])
(\ utf8.codec decoded actual))
actual (|> output
(text.all_split_by " ")
diff --git a/stdlib/source/program/compositor.lux b/stdlib/source/program/compositor.lux
index 48e296847..b36d73070 100644
--- a/stdlib/source/program/compositor.lux
+++ b/stdlib/source/program/compositor.lux
@@ -155,9 +155,9 @@
_ (ioW.freeze (value@ #platform.&file_system platform) static archive)
program_context (async\in ($/program.context archive))
host_dependencies (..load_host_dependencies (value@ #platform.&file_system platform) compilation_host_dependencies)
- _ (..package! (for {@.old (file.async file.default)
+ _ (..package! (for [@.old (file.async file.default)
@.jvm (file.async file.default)
- @.js file.default})
+ @.js file.default])
host_dependencies
packager,package
static
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index 238bf666d..d40709cf6 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -1,5 +1,5 @@
-(.with_expansions [<target>' (.for {"{old}" (.as_is ["[1]/[0]" jvm])
- "JVM" (.as_is ["[1]/[0]" jvm])}
+(.with_expansions [<target>' (.for ["{old}" (.as_is ["[1]/[0]" jvm])
+ "JVM" (.as_is ["[1]/[0]" jvm])]
(.as_is))
<target> <target>']
(.module:
@@ -78,10 +78,10 @@
(def: sub_tests
Test
(with_expansions [... TODO: Update & expand tests for this
- <target> (for {@.jvm (~~ (as_is /target/jvm.test))
- @.old (~~ (as_is /target/jvm.test))}
+ <target> (for [@.jvm (~~ (as_is /target/jvm.test))
+ @.old (~~ (as_is /target/jvm.test))]
(~~ (as_is)))
- <extension> (for {@.old (~~ (as_is))}
+ <extension> (for [@.old (~~ (as_is))]
(~~ (as_is /extension.test)))]
(`` (_.in_parallel (list /abstract.test
/control.test
@@ -443,7 +443,7 @@
(#.Right [lux (list)])))]
(do random.monad
[expected random.nat]
- (with_expansions [<found_crosshair?> (for {@.old (~~ (as_is))}
+ (with_expansions [<found_crosshair?> (for [@.old (~~ (as_is))]
(_.cover [/.Source]
(..found_crosshair?)))]
(`` ($_ _.and
@@ -807,16 +807,16 @@
(~~ (/.comment dummy))))))
(_.cover [/.for]
(and (n.= expected
- (/.for {"fake host" dummy}
+ (/.for ["fake host" dummy]
expected))
(n.= expected
- (/.for {@.old expected
+ (/.for [@.old expected
@.jvm expected
@.js expected
@.python expected
@.lua expected
@.ruby expected
- @.php expected}
+ @.php expected]
dummy))))
)))
@@ -1109,7 +1109,7 @@
(bit\= /.private /.local)))
))
-(for {@.old (as_is)}
+(for [@.old (as_is)]
(as_is (syntax: (for_bindings|test [fn/0 <code>.local_identifier
var/0 <code>.local_identifier
let/0 <code>.local_identifier
@@ -1193,7 +1193,7 @@
Test
(<| (_.covering /._)
(with_expansions
- [<for_bindings> (for {@.old (~~ (as_is))}
+ [<for_bindings> (for [@.old (~~ (as_is))]
(~~ (as_is ..for_bindings)))]
(`` ($_ _.and
..for_bit
@@ -1224,12 +1224,12 @@
)))))
(program: args
- (let [times (for {@.old 100
+ (let [times (for [@.old 100
@.jvm 100
@.js 10
@.python 1
@.lua 1
- @.ruby 1}
+ @.ruby 1]
100)]
(<| io.io
_.run!
diff --git a/stdlib/source/test/lux/control/concurrency/async.lux b/stdlib/source/test/lux/control/concurrency/async.lux
index 0709aff61..2194854b5 100644
--- a/stdlib/source/test/lux/control/concurrency/async.lux
+++ b/stdlib/source/test/lux/control/concurrency/async.lux
@@ -46,8 +46,8 @@
false))))))
(def: delay
- (for {@.js
- (i64.left_shifted 4 1)}
+ (for [@.js
+ (i64.left_shifted 4 1)]
(i64.left_shifted 3 1)))
(def: .public test
diff --git a/stdlib/source/test/lux/control/concurrency/semaphore.lux b/stdlib/source/test/lux/control/concurrency/semaphore.lux
index 50b35b437..6f87f0889 100644
--- a/stdlib/source/test/lux/control/concurrency/semaphore.lux
+++ b/stdlib/source/test/lux/control/concurrency/semaphore.lux
@@ -30,8 +30,8 @@
["[0]" /]])
(def: delay
- (for {@.js
- (i64.left_shifted 4 1)}
+ (for [@.js
+ (i64.left_shifted 4 1)]
(i64.left_shifted 3 1)))
(def: semaphore
diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux
index 155df06fc..fbd5a9b12 100644
--- a/stdlib/source/test/lux/debug.lux
+++ b/stdlib/source/test/lux/debug.lux
@@ -245,7 +245,7 @@
bar random.nat
baz random.bit]
(_.cover [/.here]
- (with_expansions [<no_parameters> (for {@.js (~~ (as_is))}
+ (with_expansions [<no_parameters> (for [@.js (~~ (as_is))]
(~~ (as_is (/.here))))]
(`` (exec
<no_parameters>
diff --git a/stdlib/source/test/lux/extension.lux b/stdlib/source/test/lux/extension.lux
index 983ac2c3d..52994d6a1 100644
--- a/stdlib/source/test/lux/extension.lux
+++ b/stdlib/source/test/lux/extension.lux
@@ -51,8 +51,8 @@
(def: my_directive "my directive")
... Generation
-(for {@.old
- (as_is)}
+(for [@.old
+ (as_is)]
(as_is
... Analysis
@@ -83,9 +83,9 @@
(\ ! each (|>> (#synthesis.Extension self))))))
(generation: (..my_generation self phase archive [pass_through <synthesis>.any])
- (for {@.jvm
+ (for [@.jvm
(\ phase.monad each (|>> #jvm.Embedded row.row)
- (phase archive pass_through))}
+ (phase archive pass_through))]
(phase archive pass_through)))
(analysis: (..dummy_generation self phase archive [])
@@ -96,7 +96,7 @@
(generation: (..dummy_generation self phase archive [])
(\ phase.monad in
- (for {@.jvm
+ (for [@.jvm
(row.row (#jvm.Constant (#jvm.LDC (#jvm.String self))))
@.js (js.string self)
@@ -104,7 +104,7 @@
@.lua (lua.string self)
@.ruby (ruby.string self)
@.php (php.string self)
- @.scheme (scheme.string self)})))
+ @.scheme (scheme.string self)])))
... Directive
(directive: (..my_directive self phase archive [parameters (<>.some <code>.any)])
@@ -123,16 +123,16 @@
(`` ($_ _.and
(~~ (template [<macro> <extension>]
[(_.cover [<macro>]
- (for {@.old
- false}
+ (for [@.old
+ false]
(n.= expected
(`` ((~~ (static <extension>)) expected)))))]
[/.analysis: ..my_analysis]
[/.synthesis: ..my_synthesis]))
(_.cover [/.generation:]
- (for {@.old
- false}
+ (for [@.old
+ false]
(and (n.= expected
(`` ((~~ (static ..my_generation)) expected)))
(text\= ..dummy_generation
diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux
index df89b033a..459edd275 100644
--- a/stdlib/source/test/lux/math/number/frac.lux
+++ b/stdlib/source/test/lux/math/number/frac.lux
@@ -122,8 +122,8 @@
["[1]::[0]"
("static" doubleToRawLongBits [double] long)
("static" longBitsToDouble [long] double)]))]
- (for {@.old (as_is <jvm>)
- @.jvm (as_is <jvm>)}
+ (for [@.old (as_is <jvm>)
+ @.jvm (as_is <jvm>)]
(as_is)))
(def: .public test
@@ -210,8 +210,8 @@
(and (/.not_a_number? expected)
(/.not_a_number? actual))))))
)]
- (for {@.old <jvm>
- @.jvm <jvm>}
+ (for [@.old <jvm>
+ @.jvm <jvm>]
(let [test (: (-> Frac Bit)
(function (_ expected)
(let [actual (|> expected /.bits /.of_bits)]
diff --git a/stdlib/source/test/lux/static.lux b/stdlib/source/test/lux/static.lux
index cc63a2913..048d0511b 100644
--- a/stdlib/source/test/lux/static.lux
+++ b/stdlib/source/test/lux/static.lux
@@ -22,7 +22,7 @@
(def: .public test
Test
(<| (_.covering /._)
- (for {@.old (_.test "PLACEHOLDER" true)}
+ (for [@.old (_.test "PLACEHOLDER" true)]
(_.for [meta.eval]
(`` ($_ _.and
(~~ (template [<static> <random> <=> <+> <tag>]
diff --git a/stdlib/source/test/lux/target/jvm.lux b/stdlib/source/test/lux/target/jvm.lux
index 190c2f65e..9fa008544 100644
--- a/stdlib/source/test/lux/target/jvm.lux
+++ b/stdlib/source/test/lux/target/jvm.lux
@@ -308,10 +308,10 @@
(do [! random.monad]
[expected (\ ! each (i64.and (i64.mask <bits>)) random.nat)]
(<| (_.lifted <message>)
- (..bytecode (for {@.old
+ (..bytecode (for [@.old
(|>> (:as <type>) <to_long> ("jvm leq" expected))
@.jvm
- (|>> (:as <type>) <to_long> "jvm object cast" ("jvm long =" ("jvm object cast" (:as java/lang/Long expected))))}))
+ (|>> (:as <type>) <to_long> "jvm object cast" ("jvm long =" ("jvm object cast" (:as java/lang/Long expected))))]))
(do /.monad
[_ (<push> (|> expected .int <signed> try.trusted))]
<wrap>))))]
@@ -324,13 +324,13 @@
[(template: (<name> <old_extension> <new_extension>)
[(: (-> <type> <type> <type>)
(function (_ parameter subject)
- (for {@.old
+ (for [@.old
(<old_extension> subject parameter)
@.jvm
("jvm object cast"
(<new_extension> ("jvm object cast" parameter)
- ("jvm object cast" subject)))})))])]
+ ("jvm object cast" subject)))])))])]
[int/2 java/lang/Integer]
[long/2 java/lang/Long]
@@ -341,23 +341,23 @@
(template: (int+long/2 <old_extension> <new_extension>)
[(: (-> java/lang/Integer java/lang/Long java/lang/Long)
(function (_ parameter subject)
- (for {@.old
+ (for [@.old
(<old_extension> subject parameter)
@.jvm
("jvm object cast"
(<new_extension> ("jvm object cast" parameter)
- ("jvm object cast" subject)))})))])
+ ("jvm object cast" subject)))])))])
(def: int
Test
(let [int (: (-> java/lang/Integer (Bytecode Any) (Random Bit))
(function (_ expected bytecode)
- (<| (..bytecode (for {@.old
+ (<| (..bytecode (for [@.old
(|>> (:as java/lang/Integer) ("jvm ieq" expected))
@.jvm
- (|>> (:as java/lang/Integer) "jvm object cast" ("jvm int =" ("jvm object cast" expected)))}))
+ (|>> (:as java/lang/Integer) "jvm object cast" ("jvm int =" ("jvm object cast" expected)))]))
(do /.monad
[_ bytecode]
..$Integer::wrap))))
@@ -434,11 +434,11 @@
Test
(let [long (: (-> java/lang/Long (Bytecode Any) (Random Bit))
(function (_ expected bytecode)
- (<| (..bytecode (for {@.old
+ (<| (..bytecode (for [@.old
(|>> (:as Int) (i.= expected))
@.jvm
- (|>> (:as java/lang/Long) "jvm object cast" ("jvm long =" ("jvm object cast" expected)))}))
+ (|>> (:as java/lang/Long) "jvm object cast" ("jvm long =" ("jvm object cast" expected)))]))
(do /.monad
[_ bytecode]
..$Long::wrap))))
@@ -507,11 +507,11 @@
... (i.< (:as Int reference) (:as Int subject))
(:as java/lang/Long -1))]]
- (<| (..bytecode (for {@.old
+ (<| (..bytecode (for [@.old
(|>> (:as Int) (i.= expected))
@.jvm
- (|>> (:as java/lang/Long) "jvm object cast" ("jvm long =" ("jvm object cast" expected)))}))
+ (|>> (:as java/lang/Long) "jvm object cast" ("jvm long =" ("jvm object cast" expected)))]))
(do /.monad
[_ (..$Long::literal subject)
_ (..$Long::literal reference)
@@ -533,7 +533,7 @@
Test
(let [float (: (-> java/lang/Float (Bytecode Any) (Random Bit))
(function (_ expected bytecode)
- (<| (..bytecode (for {@.old
+ (<| (..bytecode (for [@.old
(function (_ actual)
(or (|> actual (:as java/lang/Float) ("jvm feq" expected))
(and (f.not_a_number? (:as Frac (ffi.float_to_double expected)))
@@ -543,7 +543,7 @@
(function (_ actual)
(or (|> actual (:as java/lang/Float) "jvm object cast" ("jvm float =" ("jvm object cast" expected)))
(and (f.not_a_number? (:as Frac (ffi.float_to_double expected)))
- (f.not_a_number? (:as Frac (ffi.float_to_double (:as java/lang/Float actual)))))))}))
+ (f.not_a_number? (:as Frac (ffi.float_to_double (:as java/lang/Float actual)))))))]))
(do /.monad
[_ bytecode]
..$Float::wrap))))
@@ -595,11 +595,11 @@
..$Float::random)]
reference valid_float
subject valid_float
- .let [expected (if (for {@.old
+ .let [expected (if (for [@.old
("jvm feq" reference subject)
@.jvm
- ("jvm float =" ("jvm object cast" reference) ("jvm object cast" subject))})
+ ("jvm float =" ("jvm object cast" reference) ("jvm object cast" subject))])
+0
(if (standard reference subject)
+1
@@ -613,11 +613,11 @@
..$Long::wrap)))))
comparison_standard (: (-> java/lang/Float java/lang/Float Bit)
(function (_ reference subject)
- (for {@.old
+ (for [@.old
("jvm fgt" subject reference)
@.jvm
- ("jvm float <" ("jvm object cast" subject) ("jvm object cast" reference))})))
+ ("jvm float <" ("jvm object cast" subject) ("jvm object cast" reference))])))
comparison ($_ _.and
(_.lifted "FCMPL" (comparison /.fcmpl comparison_standard))
(_.lifted "FCMPG" (comparison /.fcmpg comparison_standard)))]
@@ -634,7 +634,7 @@
Test
(let [double (: (-> java/lang/Double (Bytecode Any) (Random Bit))
(function (_ expected bytecode)
- (<| (..bytecode (for {@.old
+ (<| (..bytecode (for [@.old
(function (_ actual)
(or (|> actual (:as java/lang/Double) ("jvm deq" expected))
(and (f.not_a_number? (:as Frac expected))
@@ -644,7 +644,7 @@
(function (_ actual)
(or (|> actual (:as java/lang/Double) "jvm object cast" ("jvm double =" ("jvm object cast" expected)))
(and (f.not_a_number? (:as Frac expected))
- (f.not_a_number? (:as Frac actual)))))}))
+ (f.not_a_number? (:as Frac actual)))))]))
(do /.monad
[_ bytecode]
..$Double::wrap))))
@@ -689,11 +689,11 @@
(do random.monad
[reference ..valid_double
subject ..valid_double
- .let [expected (if (for {@.old
+ .let [expected (if (for [@.old
("jvm deq" reference subject)
@.jvm
- ("jvm double =" ("jvm object cast" reference) ("jvm object cast" subject))})
+ ("jvm double =" ("jvm object cast" reference) ("jvm object cast" subject))])
+0
(if (standard reference subject)
+1
@@ -708,11 +708,11 @@
... https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-6.html#jvms-6.5.dcmp_op
comparison_standard (: (-> java/lang/Double java/lang/Double Bit)
(function (_ reference subject)
- (for {@.old
+ (for [@.old
("jvm dgt" subject reference)
@.jvm
- ("jvm double <" ("jvm object cast" subject) ("jvm object cast" reference))})))
+ ("jvm double <" ("jvm object cast" subject) ("jvm object cast" reference))])))
comparison ($_ _.and
(_.lifted "DCMPL" (comparison /.dcmpl comparison_standard))
(_.lifted "DCMPG" (comparison /.dcmpg comparison_standard)))]
@@ -790,11 +790,11 @@
(do random.monad
[expected (random.only (|>> (:as Frac) f.not_a_number? not)
..$Double::random)])
- (..bytecode (for {@.old
+ (..bytecode (for [@.old
(|>> (:as java/lang/Double) ("jvm deq" expected))
@.jvm
- (|>> (:as java/lang/Double) "jvm object cast" ("jvm double =" ("jvm object cast" expected)))}))
+ (|>> (:as java/lang/Double) "jvm object cast" ("jvm double =" ("jvm object cast" expected)))]))
(do /.monad
[_ (/.double expected)]
(/.invokestatic ..$Double "valueOf" (/type.method [(list) (list /type.double) ..$Double (list)]))))
@@ -811,11 +811,11 @@
(do random.monad
[expected (random.only (|>> (:as Frac) f.not_a_number? not)
..$Double::random)])
- (..bytecode (for {@.old
+ (..bytecode (for [@.old
(|>> (:as java/lang/Double) ("jvm deq" expected))
@.jvm
- (|>> (:as java/lang/Double) "jvm object cast" ("jvm double =" ("jvm object cast" expected)))}))
+ (|>> (:as java/lang/Double) "jvm object cast" ("jvm double =" ("jvm object cast" expected)))]))
(do /.monad
[_ (/.new ..$Double)
_ /.dup
@@ -839,12 +839,12 @@
part0 ..$Long::random
part1 ..$Long::random
.let [expected (: java/lang/Long
- (for {@.old
+ (for [@.old
("jvm ladd" part0 part1)
@.jvm
("jvm object cast"
- ("jvm long +" ("jvm object cast" part0) ("jvm object cast" part1)))}))
+ ("jvm long +" ("jvm object cast" part0) ("jvm object cast" part1)))]))
$Self (/type.class class_name (list))
class_field "class_field"
object_field "object_field"
@@ -958,59 +958,59 @@
(_.context "byte"
(array (/.newarray /instruction.t_byte) $Byte::random $Byte::literal [/.bastore /.baload $Byte::wrap]
(function (_ expected)
- (for {@.old
+ (for [@.old
(|>> (:as java/lang/Byte) ffi.byte_to_long ("jvm leq" (ffi.byte_to_long expected)))
@.jvm
- (|>> (:as java/lang/Byte) ffi.byte_to_long "jvm object cast" ("jvm long =" ("jvm object cast" (ffi.byte_to_long (:as java/lang/Byte expected)))))}))))
+ (|>> (:as java/lang/Byte) ffi.byte_to_long "jvm object cast" ("jvm long =" ("jvm object cast" (ffi.byte_to_long (:as java/lang/Byte expected)))))]))))
(_.context "short"
(array (/.newarray /instruction.t_short) $Short::random $Short::literal [/.sastore /.saload $Short::wrap]
(function (_ expected)
- (for {@.old
+ (for [@.old
(|>> (:as java/lang/Short) ffi.short_to_long ("jvm leq" (ffi.short_to_long expected)))
@.jvm
- (|>> (:as java/lang/Short) ffi.short_to_long "jvm object cast" ("jvm long =" ("jvm object cast" (ffi.short_to_long (:as java/lang/Short expected)))))}))))
+ (|>> (:as java/lang/Short) ffi.short_to_long "jvm object cast" ("jvm long =" ("jvm object cast" (ffi.short_to_long (:as java/lang/Short expected)))))]))))
(_.context "int"
(array (/.newarray /instruction.t_int) $Integer::random $Integer::literal [/.iastore /.iaload $Integer::wrap]
(function (_ expected)
- (for {@.old
+ (for [@.old
(|>> (:as java/lang/Integer) ("jvm ieq" (:as java/lang/Integer expected)))
@.jvm
- (|>> (:as java/lang/Integer) "jvm object cast" ("jvm int =" ("jvm object cast" (:as java/lang/Integer expected))))}))))
+ (|>> (:as java/lang/Integer) "jvm object cast" ("jvm int =" ("jvm object cast" (:as java/lang/Integer expected))))]))))
(_.context "long"
(array (/.newarray /instruction.t_long) $Long::random $Long::literal [/.lastore /.laload $Long::wrap]
(function (_ expected)
- (for {@.old
+ (for [@.old
(|>> (:as java/lang/Long) ("jvm leq" expected))
@.jvm
- (|>> (:as java/lang/Long) "jvm object cast" ("jvm long =" ("jvm object cast" (:as java/lang/Long expected))))}))))
+ (|>> (:as java/lang/Long) "jvm object cast" ("jvm long =" ("jvm object cast" (:as java/lang/Long expected))))]))))
(_.context "float"
(array (/.newarray /instruction.t_float) ..valid_float $Float::literal [/.fastore /.faload $Float::wrap]
(function (_ expected)
- (for {@.old
+ (for [@.old
(|>> (:as java/lang/Float) ("jvm feq" expected))
@.jvm
- (|>> (:as java/lang/Float) "jvm object cast" ("jvm float =" ("jvm object cast" (:as java/lang/Float expected))))}))))
+ (|>> (:as java/lang/Float) "jvm object cast" ("jvm float =" ("jvm object cast" (:as java/lang/Float expected))))]))))
(_.context "double"
(array (/.newarray /instruction.t_double) ..valid_double $Double::literal [/.dastore /.daload $Double::wrap]
(function (_ expected)
- (for {@.old
+ (for [@.old
(|>> (:as java/lang/Double) ("jvm deq" expected))
@.jvm
- (|>> (:as java/lang/Double) "jvm object cast" ("jvm double =" ("jvm object cast" (:as java/lang/Double expected))))}))))
+ (|>> (:as java/lang/Double) "jvm object cast" ("jvm double =" ("jvm object cast" (:as java/lang/Double expected))))]))))
(_.context "char"
(array (/.newarray /instruction.t_char) $Character::random $Character::literal [/.castore /.caload $Character::wrap]
(function (_ expected)
- (for {@.old
+ (for [@.old
(|>> (:as java/lang/Character) ("jvm ceq" expected))
@.jvm
- (|>> (:as java/lang/Character) "jvm object cast" ("jvm char =" ("jvm object cast" (:as java/lang/Character expected))))}))))
+ (|>> (:as java/lang/Character) "jvm object cast" ("jvm char =" ("jvm object cast" (:as java/lang/Character expected))))]))))
(_.context "object"
(array (/.anewarray ..$String) $String::random $String::literal [/.aastore /.aaload /.nop]
(function (_ expected) (|>> (:as Text) (text\= (:as Text expected))))))
@@ -1040,11 +1040,11 @@
(template: (!::= <type> <old> <new>)
[(: (-> <type> Any Bit)
(function (_ expected)
- (for {@.old
+ (for [@.old
(|>> (:as <type>) (<old> expected))
@.jvm
- (|>> (:as <type>) "jvm object cast" (<new> ("jvm object cast" (:as <type> expected))))})))])
+ (|>> (:as <type>) "jvm object cast" (<new> ("jvm object cast" (:as <type> expected))))])))])
(def: conversion
Test
@@ -1071,20 +1071,20 @@
(_.lifted "I2D" (conversion ..$Integer::primitive ..$Double::primitive /.i2d (|>> ffi.int_to_double) double::=))
(_.lifted "I2B" (conversion ..$Integer::primitive ..$Byte::primitive /.i2b (|>> ffi.int_to_byte)
(function (_ expected)
- (for {@.old
+ (for [@.old
(|>> (:as java/lang/Byte) ffi.byte_to_long ("jvm leq" (ffi.byte_to_long expected)))
@.jvm
- (|>> (:as java/lang/Byte) ffi.byte_to_long "jvm object cast" ("jvm long =" ("jvm object cast" (ffi.byte_to_long (:as java/lang/Byte expected)))))}))))
+ (|>> (:as java/lang/Byte) ffi.byte_to_long "jvm object cast" ("jvm long =" ("jvm object cast" (ffi.byte_to_long (:as java/lang/Byte expected)))))]))))
(_.lifted "I2C" (conversion ..$Integer::primitive ..$Character::primitive /.i2c (|>> ffi.int_to_char)
(!::= java/lang/Character "jvm ceq" "jvm char =")))
(_.lifted "I2S" (conversion ..$Integer::primitive ..$Short::primitive /.i2s (|>> ffi.int_to_short)
(function (_ expected)
- (for {@.old
+ (for [@.old
(|>> (:as java/lang/Short) ffi.short_to_long ("jvm leq" (ffi.short_to_long expected)))
@.jvm
- (|>> (:as java/lang/Short) ffi.short_to_long "jvm object cast" ("jvm long =" ("jvm object cast" (ffi.short_to_long (:as java/lang/Short expected)))))}))))))
+ (|>> (:as java/lang/Short) ffi.short_to_long "jvm object cast" ("jvm long =" ("jvm object cast" (ffi.short_to_long (:as java/lang/Short expected)))))]))))))
(<| (_.context "long")
($_ _.and
(_.lifted "L2I" (conversion ..$Long::primitive ..$Integer::primitive /.l2i (|>> ffi.long_to_int) int::=))
@@ -1156,7 +1156,7 @@
increment (\ ! each (|>> (n.% 100) /unsigned.u1 try.trusted)
random.nat)
.let [expected (: java/lang/Long
- (for {@.old
+ (for [@.old
("jvm ladd"
(ffi.byte_to_long base)
(.int (/unsigned.value increment)))
@@ -1165,7 +1165,7 @@
("jvm object cast"
("jvm long +"
("jvm object cast" (ffi.byte_to_long base))
- ("jvm object cast" (:as java/lang/Long (/unsigned.value increment)))))}))]]
+ ("jvm object cast" (:as java/lang/Long (/unsigned.value increment)))))]))]]
(..bytecode (|>> (:as Int) (i.= (:as Int expected)))
(do /.monad
[_ (..$Byte::literal base)
@@ -1416,11 +1416,11 @@
reference ..$Integer::random
subject (|> ..$Integer::random
(random.only (|>> ((!::= java/lang/Integer "jvm ieq" "jvm int =") reference) not)))
- .let [[lesser greater] (if (for {@.old
+ .let [[lesser greater] (if (for [@.old
("jvm ilt" reference subject)
@.jvm
- ("jvm int <" ("jvm object cast" subject) ("jvm object cast" reference))})
+ ("jvm int <" ("jvm object cast" subject) ("jvm object cast" reference))])
[reference subject]
[subject reference])
int_comparison ($_ _.and
diff --git a/stdlib/source/test/lux/type/poly/equivalence.lux b/stdlib/source/test/lux/type/poly/equivalence.lux
index 5bfb8e39d..63854e535 100644
--- a/stdlib/source/test/lux/type/poly/equivalence.lux
+++ b/stdlib/source/test/lux/type/poly/equivalence.lux
@@ -76,7 +76,7 @@
(random.unicode size))
gen_recursive)))
-(for {@.old (as_is)}
+(for [@.old (as_is)]
(as_is (def: equivalence
(Equivalence ..Record)
(/.equivalence ..Record))))
@@ -85,5 +85,5 @@
Test
(<| (_.covering /._)
(_.for [/.equivalence]
- (for {@.old (_.test "PLACEHOLDER" true)}
+ (for [@.old (_.test "PLACEHOLDER" true)]
($equivalence.spec ..equivalence ..random)))))
diff --git a/stdlib/source/test/lux/type/poly/functor.lux b/stdlib/source/test/lux/type/poly/functor.lux
index d9892b02c..4aec871cf 100644
--- a/stdlib/source/test/lux/type/poly/functor.lux
+++ b/stdlib/source/test/lux/type/poly/functor.lux
@@ -14,7 +14,7 @@
[data
["[0]" identity]]]])
-(for {@.old (as_is)}
+(for [@.old (as_is)]
(as_is (def: maybe_functor
(Functor .Maybe)
(/.functor .Maybe))
diff --git a/stdlib/source/test/lux/type/poly/json.lux b/stdlib/source/test/lux/type/poly/json.lux
index 259a25b95..0f78aa976 100644
--- a/stdlib/source/test/lux/type/poly/json.lux
+++ b/stdlib/source/test/lux/type/poly/json.lux
@@ -108,7 +108,7 @@
..qty
)))
-(for {@.old (as_is)}
+(for [@.old (as_is)]
(as_is (def: equivalence
(Equivalence Record)
(poly/equivalence.equivalence Record))
@@ -121,5 +121,5 @@
Test
(<| (_.covering /._)
(_.for [/.codec]
- (for {@.old (_.test "PLACEHOLDER" true)}
+ (for [@.old (_.test "PLACEHOLDER" true)]
($codec.spec ..equivalence ..codec ..gen_record)))))