From 54ab659064990ff37a9234c9792102a3b88277d6 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 8 Sep 2021 22:24:08 -0400
Subject: De-bracing | part 1

---
 .../specification/compositor/generation/common.lux     | 18 ++++++++++++------
 1 file changed, 12 insertions(+), 6 deletions(-)

(limited to 'stdlib/source/specification/compositor/generation/common.lux')

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)
 
                                 _
-- 
cgit v1.2.3