From d48270f43c404ba19ca04da2553455ecaaf2caba Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 10 Sep 2021 03:53:29 -0400
Subject: Adjusted new compilers to work with the new variant syntax.

---
 stdlib/source/poly/lux/abstract/equivalence.lux |  8 ++++----
 stdlib/source/poly/lux/abstract/functor.lux     |  8 ++++----
 stdlib/source/poly/lux/data/format/json.lux     | 16 ++++++++--------
 3 files changed, 16 insertions(+), 16 deletions(-)

(limited to 'stdlib/source/poly')

diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux
index c6bdaf517..37bb54d79 100644
--- a/stdlib/source/poly/lux/abstract/equivalence.lux
+++ b/stdlib/source/poly/lux/abstract/equivalence.lux
@@ -117,11 +117,11 @@
                           (case [(~ g!left) (~ g!right)]
                             (~+ (list\conjoint (list\each (function (_ [tag g!eq])
                                                             (if (nat.= last tag)
-                                                              (list (` [((~ (code.nat (-- tag))) #1 (~ g!left))
-                                                                        ((~ (code.nat (-- tag))) #1 (~ g!right))])
+                                                              (list (` [{(~ (code.nat (-- tag))) #1 (~ g!left)}
+                                                                        {(~ (code.nat (-- tag))) #1 (~ g!right)}])
                                                                     (` ((~ g!eq) (~ g!left) (~ g!right))))
-                                                              (list (` [((~ (code.nat tag)) #0 (~ g!left))
-                                                                        ((~ (code.nat tag)) #0 (~ g!right))])
+                                                              (list (` [{(~ (code.nat tag)) #0 (~ g!left)}
+                                                                        {(~ (code.nat tag)) #0 (~ g!right)}])
                                                                     (` ((~ g!eq) (~ g!left) (~ g!right))))))
                                                           (list.enumeration members))))
                             (~ g!_)
diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux
index 9537f3d38..d4637711f 100644
--- a/stdlib/source/poly/lux/abstract/functor.lux
+++ b/stdlib/source/poly/lux/abstract/functor.lux
@@ -58,10 +58,10 @@
                              (in (` (case (~ valueC)
                                       (~+ (list\conjoint (list\each (function (_ [tag memberC])
                                                                       (if (n.= last tag)
-                                                                        (list (` ((~ (code.nat (-- tag))) #1 (~ valueC)))
-                                                                              (` ((~ (code.nat (-- tag))) #1 (~ memberC))))
-                                                                        (list (` ((~ (code.nat tag)) #0 (~ valueC)))
-                                                                              (` ((~ (code.nat tag)) #0 (~ memberC))))))
+                                                                        (list (` {(~ (code.nat (-- tag))) #1 (~ valueC)})
+                                                                              (` {(~ (code.nat (-- tag))) #1 (~ memberC)}))
+                                                                        (list (` {(~ (code.nat tag)) #0 (~ valueC)})
+                                                                              (` {(~ (code.nat tag)) #0 (~ memberC)}))))
                                                                     (list.enumeration membersC))))))))
                            ... Tuples
                            (do p.monad
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux
index e556c2ac6..80d8e37e7 100644
--- a/stdlib/source/poly/lux/data/format/json.lux
+++ b/stdlib/source/poly/lux/data/format/json.lux
@@ -106,16 +106,16 @@
                             <encoder>))))]
 
                [(<type>.exactly Any) (function ((~ g!_) (~ (code.identifier ["" "0"]))) #/.Null)]
-               [(<type>.sub Bit)     (|>> #/.Boolean)]
+               [(<type>.sub Bit)     (|>> {#/.Boolean})]
                [(<type>.sub Nat)     (\ (~! ..nat_codec) (~' encoded))]
                [(<type>.sub Int)     (\ (~! ..int_codec) (~' encoded))]
-               [(<type>.sub Frac)    (|>> #/.Number)]
-               [(<type>.sub Text)    (|>> #/.String)])
+               [(<type>.sub Frac)    (|>> {#/.Number})]
+               [(<type>.sub Text)    (|>> {#/.String})])
      <time> (template [<type> <codec>]
               [(do !
                  [_ (<type>.exactly <type>)]
                  (in (` (: (~ (@JSON\encoded inputT))
-                           (|>> (\ (~! <codec>) (~' encoded)) #/.String)))))]
+                           (|>> (\ (~! <codec>) (~' encoded)) {#/.String})))))]
 
               ... [duration.Duration duration.codec]
               ... [instant.Instant instant.codec]
@@ -150,7 +150,7 @@
                            ((~! list\each) (function ((~ g!_) [(~ g!key) (~ g!val)])
                                              [(~ g!key) ((~ =val=) (~ g!val))]))
                            ((~! dictionary.of_list) (~! text.hash))
-                           #/.Object)))))
+                           {#/.Object})))))
           (do !
             [[_ =sub=] (<type>.applied ($_ <>.and
                                            (<type>.exactly .Maybe)
@@ -162,7 +162,7 @@
                                            (<type>.exactly .List)
                                            encoded))]
             (in (` (: (~ (@JSON\encoded inputT))
-                      (|>> ((~! list\each) (~ =sub=)) ((~! row.of_list)) #/.Array)))))
+                      (|>> ((~! list\each) (~ =sub=)) ((~! row.of_list)) {#/.Array})))))
           (do !
             [.let [g!_ (code.local_identifier "_______")
                    g!input (code.local_identifier "_______input")]
@@ -173,11 +173,11 @@
                         (case (~ g!input)
                           (~+ (list\conjoint (list\each (function (_ [tag g!encoded])
                                                           (if (n.= last tag)
-                                                            (.list (` ((~ (code.nat (-- tag))) #1 (~ g!input)))
+                                                            (.list (` {(~ (code.nat (-- tag))) #1 (~ g!input)})
                                                                    (` ((~! /.json) [(~ (code.frac (..tag (-- tag))))
                                                                                     #1
                                                                                     ((~ g!encoded) (~ g!input))])))
-                                                            (.list (` ((~ (code.nat tag)) #0 (~ g!input)))
+                                                            (.list (` {(~ (code.nat tag)) #0 (~ g!input)})
                                                                    (` ((~! /.json) [(~ (code.frac (..tag tag)))
                                                                                     #0
                                                                                     ((~ g!encoded) (~ g!input))])))))
-- 
cgit v1.2.3