From 5b36c00da8a21c5d70adec4b50ef573e12dc5cf8 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 11 Jun 2022 00:10:52 -0400
Subject: De-sigil-ification: : [Part 2]

---
 stdlib/source/poly/lux/abstract/equivalence.lux |  1 -
 stdlib/source/poly/lux/abstract/functor.lux     |  1 -
 stdlib/source/poly/lux/data/format/json.lux     | 19 ++++++++++---------
 3 files changed, 10 insertions(+), 11 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 207e94fc0..97a89845e 100644
--- a/stdlib/source/poly/lux/abstract/equivalence.lux
+++ b/stdlib/source/poly/lux/abstract/equivalence.lux
@@ -21,7 +21,6 @@
      ["[0]" dictionary (.only Dictionary)]
      ["[0]" tree]]]
    [macro
-    [syntax (.only syntax:)]
     ["[0]" code]]
    [math
     [number
diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux
index f7a4a6d7d..310c3ff9a 100644
--- a/stdlib/source/poly/lux/abstract/functor.lux
+++ b/stdlib/source/poly/lux/abstract/functor.lux
@@ -14,7 +14,6 @@
     [collection
      ["[0]" list (.open: "[1]#[0]" monad monoid)]]]
    [macro
-    [syntax (.only syntax:)]
     ["[0]" code]]
    [math
     [number
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux
index a10f632d8..71bd8cea4 100644
--- a/stdlib/source/poly/lux/data/format/json.lux
+++ b/stdlib/source/poly/lux/data/format/json.lux
@@ -19,7 +19,7 @@
      ["[0]" sequence (.only sequence)]
      ["[0]" dictionary]]]
    [macro
-    [syntax (.only syntax:)]
+    [syntax (.only syntax)]
     ["[0]" code]]
    [math
     [number
@@ -324,11 +324,12 @@
            (<>.failure (format "Cannot create JSON decoder for: " (type.format inputT)))
            ))))
 
-(syntax: .public (codec [inputT <code>.any])
-  (in (.list (` (is (codec.Codec /.JSON (~ inputT))
-                    (implementation
-                     (def: (~' encoded)
-                       ((~! ..encoded) (~ inputT)))
-                     (def: (~' decoded)
-                       ((~! </>.result) ((~! ..decoded) (~ inputT))))
-                     ))))))
+(def: .public codec
+  (syntax (_ [inputT <code>.any])
+    (in (.list (` (is (codec.Codec /.JSON (~ inputT))
+                      (implementation
+                       (def: (~' encoded)
+                         ((~! ..encoded) (~ inputT)))
+                       (def: (~' decoded)
+                         ((~! </>.result) ((~! ..decoded) (~ inputT))))
+                       )))))))
-- 
cgit v1.2.3