aboutsummaryrefslogtreecommitdiff
path: root/stdlib
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib')
-rw-r--r--stdlib/source/documentation/lux.lux2
-rw-r--r--stdlib/source/documentation/lux/control/concurrency/actor.lux8
-rw-r--r--stdlib/source/documentation/lux/debug.lux2
-rw-r--r--stdlib/source/library/lux.lux2
-rw-r--r--stdlib/source/library/lux/abstract/comonad.lux16
-rw-r--r--stdlib/source/library/lux/abstract/monad.lux16
-rw-r--r--stdlib/source/library/lux/control/parser/type.lux2
-rw-r--r--stdlib/source/library/lux/data/collection/dictionary/ordered.lux56
-rw-r--r--stdlib/source/library/lux/data/text/regex.lux4
-rw-r--r--stdlib/source/library/lux/debug.lux14
-rw-r--r--stdlib/source/library/lux/ffi.jvm.lux6
-rw-r--r--stdlib/source/library/lux/ffi.old.lux12
-rw-r--r--stdlib/source/library/lux/macro/syntax.lux20
-rw-r--r--stdlib/source/library/lux/math/number.lux9
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux2
-rw-r--r--stdlib/source/library/lux/tool/interpreter.lux36
-rw-r--r--stdlib/source/program/aedifex/artifact/time/date.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/common.lux18
-rw-r--r--stdlib/source/test/lux.lux3
-rw-r--r--stdlib/source/test/lux/debug.lux2
-rw-r--r--stdlib/source/test/lux/ffi.old.lux2
21 files changed, 123 insertions, 111 deletions
diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index d7eba1182..e9c09dfee 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -752,7 +752,7 @@
\n "Useful in situations where the result of a branch depends on further refinements on the values being matched.")
[(case (split (size static) uri)
(^multi (#Some [chunk uri'])
- {(text\= static chunk) #1})
+ [(text\= static chunk) #1])
(match_uri endpoint? parts' uri')
_
diff --git a/stdlib/source/documentation/lux/control/concurrency/actor.lux b/stdlib/source/documentation/lux/control/concurrency/actor.lux
index 1bbb4febe..c0701a367 100644
--- a/stdlib/source/documentation/lux/control/concurrency/actor.lux
+++ b/stdlib/source/documentation/lux/control/concurrency/actor.lux
@@ -56,7 +56,7 @@
.let [_ (debug.log! "AFTER")]]
(in output)))
- (message: .public (push {value a} state self)
+ (message: .public (push [value a] state self)
(List a)
(let [state' (#.Item value state)]
(async.resolved (#try.Success [state' state']))))])
@@ -64,7 +64,7 @@
(actor: .public counter
Nat
- [(message: .public (count! {increment Nat} state self)
+ [(message: .public (count! [increment Nat] state self)
Any
(let [state' (n.+ increment state)]
(async.resolved (#try.Success [state' state']))))
@@ -80,8 +80,8 @@
(documentation: /.actor
(format "Defines an anonymous actor, with its behavior and internal state."
\n "Messages for the actor must be defined after the on_mail handler.")
- [(actor {Nat
- 123}
+ [(actor [Nat
+ 123]
((on_mail message state self)
(message (++ state) self)))])
diff --git a/stdlib/source/documentation/lux/debug.lux b/stdlib/source/documentation/lux/debug.lux
index a78fea166..f4f38a373 100644
--- a/stdlib/source/documentation/lux/debug.lux
+++ b/stdlib/source/documentation/lux/debug.lux
@@ -58,7 +58,7 @@
bar +456
baz +789.0]
(: Any
- (here {foo %.nat} baz)))
+ (here [foo %.nat] baz)))
"=>"
"foo: 123"
"baz: +789.0"
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux
index 93e5c00cc..d10f8d2f5 100644
--- a/stdlib/source/library/lux.lux
+++ b/stdlib/source/library/lux.lux
@@ -4575,7 +4575,7 @@
(def: (case_level^ level)
(-> Code (Meta [Code Code]))
(case level
- (^ [_ (#Record (list [expr binding]))])
+ (^ [_ (#Tuple (list expr binding))])
(in_meta [expr binding])
_
diff --git a/stdlib/source/library/lux/abstract/comonad.lux b/stdlib/source/library/lux/abstract/comonad.lux
index 2e37a943e..b4dd60a68 100644
--- a/stdlib/source/library/lux/abstract/comonad.lux
+++ b/stdlib/source/library/lux/abstract/comonad.lux
@@ -60,16 +60,16 @@
(#.Right [state (list (case ?name
(#.Some name)
(let [name [location.dummy (#.Identifier ["" name])]]
- (` ({(~ name)
- ({[(~ g!each) (~' out) (~ g!disjoint)]
- (~ body')}
- (~ name))}
- (~ comonad))))
+ (` (.case (~ comonad)
+ (~ name)
+ (.case (~ name)
+ [(~ g!each) (~' out) (~ g!disjoint)]
+ (~ body')))))
#.None
- (` ({[(~ g!each) (~' out) (~ g!disjoint)]
- (~ body')}
- (~ comonad)))))]))
+ (` (.case (~ comonad)
+ [(~ g!each) (~' out) (~ g!disjoint)]
+ (~ body')))))]))
(#.Left "'be' bindings must have an even number of parts."))
#.None
diff --git a/stdlib/source/library/lux/abstract/monad.lux b/stdlib/source/library/lux/abstract/monad.lux
index b90a93580..98baec35e 100644
--- a/stdlib/source/library/lux/abstract/monad.lux
+++ b/stdlib/source/library/lux/abstract/monad.lux
@@ -91,16 +91,16 @@
(#.Right [state (list (case ?name
(#.Some name)
(let [name [location.dummy (#.Identifier ["" name])]]
- (` ({(~ name)
- ({[(~ g!each) (~' in) (~ g!conjoint)]
- (~ body')}
- (~ name))}
- (~ monad))))
+ (` (.case (~ monad)
+ (~ name)
+ (.case (~ name)
+ [(~ g!each) (~' in) (~ g!conjoint)]
+ (~ body')))))
#.None
- (` ({[(~ g!each) (~' in) (~ g!conjoint)]
- (~ body')}
- (~ monad)))))]))
+ (` (.case (~ monad)
+ [(~ g!each) (~' in) (~ g!conjoint)]
+ (~ body')))))]))
(#.Left "'do' bindings must have an even number of parts."))
#.None
diff --git a/stdlib/source/library/lux/control/parser/type.lux b/stdlib/source/library/lux/control/parser/type.lux
index 735b594d8..c75df1031 100644
--- a/stdlib/source/library/lux/control/parser/type.lux
+++ b/stdlib/source/library/lux/control/parser/type.lux
@@ -329,7 +329,7 @@
(case (type.anonymous headT)
(^multi (^ (#.Apply (|recursion_dummy|) (#.Parameter funcT_idx)))
(n.= 0 (adjusted_idx env funcT_idx))
- {(dictionary.value 0 env) (#.Some [self_type self_call])})
+ [(dictionary.value 0 env) (#.Some [self_type self_call])])
(in self_call)
_
diff --git a/stdlib/source/library/lux/data/collection/dictionary/ordered.lux b/stdlib/source/library/lux/data/collection/dictionary/ordered.lux
index 8407703a0..857683d40 100644
--- a/stdlib/source/library/lux/data/collection/dictionary/ordered.lux
+++ b/stdlib/source/library/lux/data/collection/dictionary/ordered.lux
@@ -168,7 +168,7 @@
#Red
(case (value@ #left addition)
(^multi (#.Some left)
- {(value@ #color left) #Red})
+ [(value@ #color left) #Red])
(red (value@ #key addition)
(value@ #value addition)
(#.Some (blackened left))
@@ -180,7 +180,7 @@
_
(case (value@ #right addition)
(^multi (#.Some right)
- {(value@ #color right) #Red})
+ [(value@ #color right) #Red])
(red (value@ #key right)
(value@ #value right)
(#.Some (black (value@ #key addition)
@@ -217,7 +217,7 @@
#Red
(case (value@ #right addition)
(^multi (#.Some right)
- {(value@ #color right) #Red})
+ [(value@ #color right) #Red])
(red (value@ #key addition)
(value@ #value addition)
(#.Some (black (value@ #key center)
@@ -229,7 +229,7 @@
_
(case (value@ #left addition)
(^multi (#.Some left)
- {(value@ #color left) #Red})
+ [(value@ #color left) #Red])
(red (value@ #key left)
(value@ #value left)
(#.Some (black (value@ #key center)
@@ -280,18 +280,18 @@
(All (_ k v) (-> k v (Maybe (Node k v)) (Maybe (Node k v)) (Node k v)))
(case ?left
(^multi (#.Some left)
- {(value@ #color left) #Red}
- {(value@ #left left) (#.Some left>>left)}
- {(value@ #color left>>left) #Red})
+ [(value@ #color left) #Red]
+ [(value@ #left left) (#.Some left>>left)]
+ [(value@ #color left>>left) #Red])
(red (value@ #key left)
(value@ #value left)
(#.Some (blackened left>>left))
(#.Some (black key value (value@ #right left) ?right)))
(^multi (#.Some left)
- {(value@ #color left) #Red}
- {(value@ #right left) (#.Some left>>right)}
- {(value@ #color left>>right) #Red})
+ [(value@ #color left) #Red]
+ [(value@ #right left) (#.Some left>>right)]
+ [(value@ #color left>>right) #Red])
(red (value@ #key left>>right)
(value@ #value left>>right)
(#.Some (black (value@ #key left)
@@ -309,18 +309,18 @@
(All (_ k v) (-> k v (Maybe (Node k v)) (Maybe (Node k v)) (Node k v)))
(case ?right
(^multi (#.Some right)
- {(value@ #color right) #Red}
- {(value@ #right right) (#.Some right>>right)}
- {(value@ #color right>>right) #Red})
+ [(value@ #color right) #Red]
+ [(value@ #right right) (#.Some right>>right)]
+ [(value@ #color right>>right) #Red])
(red (value@ #key right)
(value@ #value right)
(#.Some (black key value ?left (value@ #left right)))
(#.Some (blackened right>>right)))
(^multi (#.Some right)
- {(value@ #color right) #Red}
- {(value@ #left right) (#.Some right>>left)}
- {(value@ #color right>>left) #Red})
+ [(value@ #color right) #Red]
+ [(value@ #left right) (#.Some right>>left)]
+ [(value@ #color right>>left) #Red])
(red (value@ #key right>>left)
(value@ #value right>>left)
(#.Some (black key value ?left (value@ #left right>>left)))
@@ -336,19 +336,19 @@
(All (_ k v) (-> k v (Maybe (Node k v)) (Maybe (Node k v)) (Node k v)))
(case ?left
(^multi (#.Some left)
- {(value@ #color left) #Red})
+ [(value@ #color left) #Red])
(red key value (#.Some (blackened left)) ?right)
_
(case ?right
(^multi (#.Some right)
- {(value@ #color right) #Black})
+ [(value@ #color right) #Black])
(right_balanced key value ?left (#.Some (reddened right)))
(^multi (#.Some right)
- {(value@ #color right) #Red}
- {(value@ #left right) (#.Some right>>left)}
- {(value@ #color right>>left) #Black})
+ [(value@ #color right) #Red]
+ [(value@ #left right) (#.Some right>>left)]
+ [(value@ #color right>>left) #Black])
(red (value@ #key right>>left)
(value@ #value right>>left)
(#.Some (black key value ?left (value@ #left right>>left)))
@@ -365,19 +365,19 @@
(All (_ k v) (-> k v (Maybe (Node k v)) (Maybe (Node k v)) (Node k v)))
(case ?right
(^multi (#.Some right)
- {(value@ #color right) #Red})
+ [(value@ #color right) #Red])
(red key value ?left (#.Some (blackened right)))
_
(case ?left
(^multi (#.Some left)
- {(value@ #color left) #Black})
+ [(value@ #color left) #Black])
(left_balanced key value (#.Some (reddened left)) ?right)
(^multi (#.Some left)
- {(value@ #color left) #Red}
- {(value@ #right left) (#.Some left>>right)}
- {(value@ #color left>>right) #Black})
+ [(value@ #color left) #Red]
+ [(value@ #right left) (#.Some left>>right)]
+ [(value@ #color left>>right) #Black])
(red (value@ #key left>>right)
(value@ #value left>>right)
(#.Some (left_balanced (value@ #key left)
@@ -496,7 +496,7 @@
(if go_left?
(case (value@ #left root)
(^multi (#.Some left)
- {(value@ #color left) #Black})
+ [(value@ #color left) #Black])
[(#.Some (without_left root_key root_val side_outcome (value@ #right root)))
#0]
@@ -505,7 +505,7 @@
#0])
(case (value@ #right root)
(^multi (#.Some right)
- {(value@ #color right) #Black})
+ [(value@ #color right) #Black])
[(#.Some (without_right root_key root_val (value@ #left root) side_outcome))
#0]
diff --git a/stdlib/source/library/lux/data/text/regex.lux b/stdlib/source/library/lux/data/text/regex.lux
index 0be5f7ebd..94fd16694 100644
--- a/stdlib/source/library/lux/data/text/regex.lux
+++ b/stdlib/source/library/lux/data/text/regex.lux
@@ -429,7 +429,7 @@
branches (<>.many <code>.any)])
(with_identifiers [g!temp]
(in (list& (` (^multi (~ g!temp)
- {((~! <text>.result) (..regex (~ (code.text pattern))) (~ g!temp))
- (#try.Success (~ (maybe.else g!temp bindings)))}))
+ [((~! <text>.result) (..regex (~ (code.text pattern))) (~ g!temp))
+ (#try.Success (~ (maybe.else g!temp bindings)))]))
body
branches))))
diff --git a/stdlib/source/library/lux/debug.lux b/stdlib/source/library/lux/debug.lux
index e8fcb8348..8ce5e58e7 100644
--- a/stdlib/source/library/lux/debug.lux
+++ b/stdlib/source/library/lux/debug.lux
@@ -159,12 +159,10 @@
(let [value (:as (array.Array java/lang/Object) value)]
(case (array.read! 0 value)
(^multi (#.Some tag)
- {(ffi.check java/lang/Integer tag)
- (#.Some tag)}
- {[(array.read! 1 value)
- (array.read! 2 value)]
- [last?
- (#.Some choice)]})
+ [(ffi.check java/lang/Integer tag)
+ (#.Some tag)]
+ [[(array.read! 1 value) (array.read! 2 value)]
+ [last? (#.Some choice)]])
(let [last? (case last?
(#.Some _) #1
#.None #0)]
@@ -549,8 +547,8 @@
(<code>.Parser Target)
(<>.either (<>.and <code>.local_identifier
(\ <>.monad in #.None))
- (<code>.record (<>.and <code>.local_identifier
- (\ <>.monad each (|>> #.Some) <code>.any)))))
+ (<code>.tuple (<>.and <code>.local_identifier
+ (\ <>.monad each (|>> #.Some) <code>.any)))))
(exception: .public (unknown_local_binding [name Text])
(exception.report
diff --git a/stdlib/source/library/lux/ffi.jvm.lux b/stdlib/source/library/lux/ffi.jvm.lux
index 8b7ba8911..be7fbe0d3 100644
--- a/stdlib/source/library/lux/ffi.jvm.lux
+++ b/stdlib/source/library/lux/ffi.jvm.lux
@@ -1265,12 +1265,12 @@
(syntax: .public (!!! [expr <code>.any])
(with_identifiers [g!value]
- (in (list (` ({(#.Some (~ g!value))
+ (in (list (` (.case (~ expr)
+ (#.Some (~ g!value))
(~ g!value)
#.None
- ("jvm object null")}
- (~ expr)))))))
+ ("jvm object null")))))))
(syntax: .public (check [class (..type^ (list))
unchecked (<>.maybe <code>.any)])
diff --git a/stdlib/source/library/lux/ffi.old.lux b/stdlib/source/library/lux/ffi.old.lux
index f62581e68..f84cc2d4a 100644
--- a/stdlib/source/library/lux/ffi.old.lux
+++ b/stdlib/source/library/lux/ffi.old.lux
@@ -300,11 +300,13 @@
Code)
(case [name+params mode in_array?]
(^multi [[prim #.End] #ManualPrM #0]
- {(manual_primitive_type prim) (#.Some output)})
+ [(manual_primitive_type prim)
+ (#.Some output)])
output
(^multi [[prim #.End] #AutoPrM #0]
- {(auto_primitive_type prim) (#.Some output)})
+ [(auto_primitive_type prim)
+ (#.Some output)])
output
[[name params] _ _]
@@ -1250,12 +1252,12 @@
(syntax: .public (!!! [expr <code>.any])
(with_identifiers [g!value]
- (in (list (` ({(#.Some (~ g!value))
+ (in (list (` (.case (~ expr)
+ (#.Some (~ g!value))
(~ g!value)
#.None
- ("jvm object null")}
- (~ expr)))))))
+ ("jvm object null")))))))
(syntax: .public (check [class (..generic_type^ (list))
unchecked (<>.maybe <code>.any)])
diff --git a/stdlib/source/library/lux/macro/syntax.lux b/stdlib/source/library/lux/macro/syntax.lux
index a3562d51c..efdb15f1f 100644
--- a/stdlib/source/library/lux/macro/syntax.lux
+++ b/stdlib/source/library/lux/macro/syntax.lux
@@ -79,18 +79,18 @@
this_module meta.current_module_name
.let [g!state (code.identifier ["" "*lux*"])
error_msg (code.text (macro.wrong_syntax_error [this_module name]))]]
- (in (list (` (macro: (~ export_policy) ((~ (code.identifier ["" name])) (~ g!tokens) (~ g!state))
- ({(#.Right (~ g!body))
+ (in (list (` (.macro: (~ export_policy) ((~ (code.identifier ["" name])) (~ g!tokens) (~ g!state))
+ (.case ((~! </>.result)
+ (: ((~! </>.Parser) (Meta (List Code)))
+ ((~! do) (~! <>.monad)
+ [(~+ (..un_paired vars+parsers))]
+ ((~' in) (~ body))))
+ (~ g!tokens))
+ (#try.Success (~ g!body))
((~ g!body) (~ g!state))
- (#.Left (~ g!error))
- (#.Left ((~! text.interposed) (~! text.new_line) (list (~ error_msg) (~ g!error))))}
- ((~! </>.result)
- (: ((~! </>.Parser) (Meta (List Code)))
- ((~! do) (~! <>.monad)
- [(~+ (..un_paired vars+parsers))]
- ((~' in) (~ body))))
- (~ g!tokens)))))))))
+ (#try.Failure (~ g!error))
+ (#try.Failure ((~! text.interposed) (~! text.new_line) (list (~ error_msg) (~ g!error)))))))))))
(#try.Failure error)
(meta.failure (macro.wrong_syntax_error (name_of ..syntax:)))))
diff --git a/stdlib/source/library/lux/math/number.lux b/stdlib/source/library/lux/math/number.lux
index da7aa73fd..2f0338817 100644
--- a/stdlib/source/library/lux/math/number.lux
+++ b/stdlib/source/library/lux/math/number.lux
@@ -41,15 +41,18 @@
(#try.Success [state (list [meta (#.Nat value)])])
(^multi (#try.Failure _)
- {(\ <int> decoded repr) (#try.Success value)})
+ [(\ <int> decoded repr)
+ (#try.Success value)])
(#try.Success [state (list [meta (#.Int value)])])
(^multi (#try.Failure _)
- {(\ <rev> decoded repr) (#try.Success value)})
+ [(\ <rev> decoded repr)
+ (#try.Success value)])
(#try.Success [state (list [meta (#.Rev value)])])
(^multi (#try.Failure _)
- {(\ <frac> decoded repr) (#try.Success value)})
+ [(\ <frac> decoded repr)
+ (#try.Success value)])
(#try.Success [state (list [meta (#.Frac value)])])
_
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux
index 4b9ef22e4..d240e786b 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux
@@ -34,7 +34,7 @@
(type: .public Bundle
(Dict Text Proc))
-(syntax: (Vector [{size s.nat}
+(syntax: (Vector [size <code>.nat
elemT <code>.any])
(in (list (` [(~+ (list.repeated size elemT))]))))
diff --git a/stdlib/source/library/lux/tool/interpreter.lux b/stdlib/source/library/lux/tool/interpreter.lux
index 8a12cd2db..79c8073f3 100644
--- a/stdlib/source/library/lux/tool/interpreter.lux
+++ b/stdlib/source/library/lux/tool/interpreter.lux
@@ -130,10 +130,11 @@
(function (_ state)
(case (<| (phase.result' state)
(:sharing [anchor expression directive]
- {(State+ anchor expression directive)
- state}
- {<Interpretation>
- (interpret_directive code)}))
+ (State+ anchor expression directive)
+ state
+
+ <Interpretation>
+ (interpret_directive code)))
(#try.Success [state' output])
(#try.Success [state' output])
@@ -141,10 +142,11 @@
(if (ex.match? total.not_a_directive error)
(<| (phase.result' state)
(:sharing [anchor expression directive]
- {(State+ anchor expression directive)
- state}
- {<Interpretation>
- (interpret_expression code)}))
+ (State+ anchor expression directive)
+ state
+
+ <Interpretation>
+ (interpret_expression code)))
(#try.Failure error)))))
)
@@ -176,17 +178,19 @@
[source' input] (syntax.parse ..module syntax.no_aliases (text.size _code) (value@ #source context))
[state' representation] (let [... TODO: Simplify ASAP
state (:sharing [anchor expression directive]
- {<Context>
- context}
- {(State+ anchor expression directive)
- (value@ #state context)})]
+ <Context>
+ context
+
+ (State+ anchor expression directive)
+ (value@ #state context))]
(<| (phase.result' state)
... TODO: Simplify ASAP
(:sharing [anchor expression directive]
- {<Context>
- context}
- {(Operation anchor expression directive Text)
- (execute (value@ #configuration context) input)})))]
+ <Context>
+ context
+
+ (Operation anchor expression directive Text)
+ (execute (value@ #configuration context) input))))]
(in [(|> context
(with@ #state state')
(with@ #source source'))
diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index e5f0f7617..3da3c1b86 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -39,8 +39,6 @@
["Year" (%.int (year.value year))]))
(abstract: .public Date
- {}
-
date.Date
(def: .public epoch
diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux
index c8dd72bf7..2db239415 100644
--- a/stdlib/source/specification/compositor/generation/common.lux
+++ b/stdlib/source/specification/compositor/generation/common.lux
@@ -235,7 +235,8 @@
(synthesis.i64 +0)))
(run (..safe "lux text index"))
(case> (^multi (#try.Success valueV)
- {(:as (Maybe Nat) valueV) (#.Some valueV)})
+ [(:as (Maybe Nat) valueV)
+ (#.Some valueV)])
(n.= 0 valueV)
_
@@ -245,7 +246,8 @@
(synthesis.i64 +0)))
(run (..safe "lux text index"))
(case> (^multi (#try.Success valueV)
- {(:as (Maybe Nat) valueV) (#.Some valueV)})
+ [(:as (Maybe Nat) valueV)
+ (#.Some valueV)])
(n.= sample_size valueV)
_
@@ -258,7 +260,8 @@
(synthesis.i64 length)))
(run (..safe "lux text clip"))
(case> (^multi (#try.Success valueV)
- {(:as (Maybe Text) valueV) (#.Some valueV)})
+ [(:as (Maybe Text) valueV)
+ (#.Some valueV)])
(text\= expected valueV)
_
@@ -272,7 +275,8 @@
(synthesis.i64 char_idx)))
(run (..safe "lux text char"))
(case> (^multi (#try.Success valueV)
- {(:as (Maybe Int) valueV) (#.Some valueV)})
+ [(:as (Maybe Int) valueV)
+ (#.Some valueV)])
(text.contains? ("lux i64 char" valueV)
sample_lower)
@@ -303,7 +307,8 @@
(list (synthesis.text message)))])))
(run (..safe "lux try"))
(case> (^multi (#try.Success valueV)
- {(:as (Try Text) valueV) (#try.Failure error)})
+ [(:as (Try Text) valueV)
+ (#try.Failure error)])
(text.contains? message error)
_
@@ -315,7 +320,8 @@
#synthesis.body (synthesis.text message)])))
(run (..safe "lux try"))
(case> (^multi (#try.Success valueV)
- {(:as (Try Text) valueV) (#try.Success valueV)})
+ [(:as (Try Text) valueV)
+ (#try.Success valueV)])
(text\= message valueV)
_
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index c67d6efc5..238bf666d 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -986,7 +986,8 @@
[#left expected_nat #right expected_int])]
(and (/.case expected_pair
(/.^multi (/.^ (!pair 0 actual_right))
- {actual_right +0})
+ [actual_right
+ +0])
true
_
diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux
index 5eb6e8e69..155df06fc 100644
--- a/stdlib/source/test/lux/debug.lux
+++ b/stdlib/source/test/lux/debug.lux
@@ -250,7 +250,7 @@
(`` (exec
<no_parameters>
(/.here foo
- {bar %.nat})
+ [bar %.nat])
true)))))
(_.cover [/.unknown_local_binding]
(exception.match? /.unknown_local_binding
diff --git a/stdlib/source/test/lux/ffi.old.lux b/stdlib/source/test/lux/ffi.old.lux
index 27d18d002..df05fdf29 100644
--- a/stdlib/source/test/lux/ffi.old.lux
+++ b/stdlib/source/test/lux/ffi.old.lux
@@ -38,7 +38,7 @@
("private" increase java/lang/Long)
("private" counter java/lang/Long)
... Methods
- ("public" [] (new {increase java/lang/Long} {counter java/lang/Long}) []
+ ("public" [] (new [increase java/lang/Long counter java/lang/Long]) []
(exec
(:= ::increase increase)
(:= ::counter counter)