From e64b6d0114c26a455e19a416b5f02a4d19dd711f Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 26 Jul 2021 01:45:57 -0400
Subject: Re-named Promise to Async.

---
 stdlib/source/poly/lux/abstract/equivalence.lux | 4 ++--
 stdlib/source/poly/lux/abstract/functor.lux     | 2 +-
 stdlib/source/poly/lux/data/format/json.lux     | 6 +++---
 3 files changed, 6 insertions(+), 6 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 15795ffcf..1f414e197 100644
--- a/stdlib/source/poly/lux/abstract/equivalence.lux
+++ b/stdlib/source/poly/lux/abstract/equivalence.lux
@@ -135,7 +135,7 @@
                      g!rights (list\map (|>> nat\encode (text\compose "right") code.local_identifier) indices)]]
               (wrap (` (: (~ (@Equivalence inputT))
                           (function ((~ g!_) [(~+ g!lefts)] [(~+ g!rights)])
-                            (and (~+ (|> (list.zip/3 g!eqs g!lefts g!rights)
+                            (and (~+ (|> (list.zipped/3 g!eqs g!lefts g!rights)
                                          (list\map (function (_ [g!eq g!left g!right])
                                                      (` ((~ g!eq) (~ g!left) (~ g!right)))))))))))))
             ## Type recursion
@@ -163,6 +163,6 @@
             <type>.recursive_call
             ## If all else fails...
             (|> <type>.any
-                (\ ! map (|>> %.type (format "Cannot create Equivalence for: ") <>.fail))
+                (\ ! map (|>> %.type (format "Cannot create Equivalence for: ") <>.failure))
                 (\ ! join))
             ))))
diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux
index fbd3e2519..363b43b8a 100644
--- a/stdlib/source/poly/lux/abstract/functor.lux
+++ b/stdlib/source/poly/lux/abstract/functor.lux
@@ -103,7 +103,7 @@
      [_ _ outputC] (: (<type>.Parser [Code (List Code) Code])
                       (p.either (<type>.polymorphic
                                  (Arg<?> inputC))
-                                (p.fail (format "Cannot create Functor for: " (%.type inputT)))))]
+                                (p.failure (format "Cannot create Functor for: " (%.type inputT)))))]
     (wrap (` (: (~ (@Functor inputT))
                 (implementation
                  (def: ((~' map) (~ funcC) (~ inputC))
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux
index 5c63c58e1..1aa793323 100644
--- a/stdlib/source/poly/lux/data/format/json.lux
+++ b/stdlib/source/poly/lux/data/format/json.lux
@@ -194,7 +194,7 @@
                         (function ((~ g!_) [(~+ g!members)])
                           ((~! /.json) [(~+ (list\map (function (_ [g!member g!encode])
                                                         (` ((~ g!encode) (~ g!member))))
-                                                      (list.zip/2 g!members g!encoders)))]))))))
+                                                      (list.zipped/2 g!members g!encoders)))]))))))
           ## Type recursion
           (do !
             [[selfC non_recC] (<type>.recursive encode)
@@ -220,7 +220,7 @@
           <type>.parameter
           <type>.recursive_call
           ## If all else fails...
-          (<>.fail (format "Cannot create JSON encoder for: " (type.format inputT)))
+          (<>.failure (format "Cannot create JSON encoder for: " (type.format inputT)))
           ))))
 
 (poly: decode
@@ -322,7 +322,7 @@
           <type>.parameter
           <type>.recursive_call
           ## If all else fails...
-          (<>.fail (format "Cannot create JSON decoder for: " (type.format inputT)))
+          (<>.failure (format "Cannot create JSON decoder for: " (type.format inputT)))
           ))))
 
 (syntax: #export (codec inputT)
-- 
cgit v1.2.3