From b48ea68a83d01903554c7696c77eedaaf1035680 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 12 Jun 2022 00:38:20 -0400
Subject: De-sigil-ification: suffix : [Part 3]

---
 stdlib/source/poly/lux/abstract/equivalence.lux | 6 +++---
 stdlib/source/poly/lux/data/format/json.lux     | 8 ++++----
 2 files changed, 7 insertions(+), 7 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 97a89845e..1e882e32d 100644
--- a/stdlib/source/poly/lux/abstract/equivalence.lux
+++ b/stdlib/source/poly/lux/abstract/equivalence.lux
@@ -50,7 +50,7 @@
                                   (` ((~! /.Equivalence) (~ (poly.code *env* type))))))]]
         (all <>.either
              ... Basic types
-             (~~ (template [<matcher> <eq>]
+             (~~ (with_template [<matcher> <eq>]
                    [(do !
                       [_ <matcher>]
                       (in (` (is (~ (@Equivalence inputT))
@@ -64,7 +64,7 @@
                    [(<type>.sub Frac)    (~! frac.equivalence)]
                    [(<type>.sub Text)    (~! text.equivalence)]))
              ... Composite types
-             (~~ (template [<name> <eq>]
+             (~~ (with_template [<name> <eq>]
                    [(do !
                       [[_ argC] (<type>.applied (<>.and (<type>.exactly <name>)
                                                         equivalence))]
@@ -87,7 +87,7 @@
                (in (` (is (~ (@Equivalence inputT))
                           ((~! dictionary.equivalence) (~ valC))))))
              ... Models
-             (~~ (template [<type> <eq>]
+             (~~ (with_template [<type> <eq>]
                    [(do !
                       [_ (<type>.exactly <type>)]
                       (in (` (is (~ (@Equivalence inputT))
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux
index 71bd8cea4..391556a50 100644
--- a/stdlib/source/poly/lux/data/format/json.lux
+++ b/stdlib/source/poly/lux/data/format/json.lux
@@ -98,7 +98,7 @@
 
 (poly: encoded
   (with_expansions
-    [<basic> (template [<matcher> <encoder>]
+    [<basic> (with_template [<matcher> <encoder>]
                [(do !
                   [.let [g!_ (code.local "_______")]
                    _ <matcher>]
@@ -111,7 +111,7 @@
                [(<type>.sub Int)     (at (~! ..int_codec) (~' encoded))]
                [(<type>.sub Frac)    (|>> {/.#Number})]
                [(<type>.sub Text)    (|>> {/.#String})])
-     <time> (template [<type> <codec>]
+     <time> (with_template [<type> <codec>]
               [(do !
                  [_ (<type>.exactly <type>)]
                  (in (` (is (~ (@JSON#encoded inputT))
@@ -223,7 +223,7 @@
 
 (poly: decoded
   (with_expansions
-    [<basic> (template [<matcher> <decoder>]
+    [<basic> (with_template [<matcher> <decoder>]
                [(do !
                   [_ <matcher>]
                   (in (` (is (~ (@JSON#decoded inputT))
@@ -235,7 +235,7 @@
                [(<type>.sub Int)      (<>.codec ..int_codec </>.any)]
                [(<type>.sub Frac)     </>.number]
                [(<type>.sub Text)     </>.string])
-     <time> (template [<type> <codec>]
+     <time> (with_template [<type> <codec>]
               [(do !
                  [_ (<type>.exactly <type>)]
                  (in (` (is (~ (@JSON#decoded inputT))
-- 
cgit v1.2.3