aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/compositor/generation/common.lux
diff options
context:
space:
mode:
authorEduardo Julian2021-09-08 22:24:08 -0400
committerEduardo Julian2021-09-08 22:24:08 -0400
commit54ab659064990ff37a9234c9792102a3b88277d6 (patch)
treee7e6067d0936bd04212db6e0d3df85a74e0b194f /stdlib/source/specification/compositor/generation/common.lux
parent77301f3a456c015daa9d8f9aa3d80fd4e45f8e7e (diff)
De-bracing | part 1
Diffstat (limited to 'stdlib/source/specification/compositor/generation/common.lux')
-rw-r--r--stdlib/source/specification/compositor/generation/common.lux18
1 files changed, 12 insertions, 6 deletions
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)
_