From dda05bca0956af5e5b3875c4cc36e61aa04772e4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 12 Sep 2021 00:07:08 -0400
Subject: Made the "#" character great again!

---
 stdlib/source/poly/lux/data/format/json.lux | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

(limited to 'stdlib/source/poly')

diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux
index 80d8e37e7..53bdcd06c 100644
--- a/stdlib/source/poly/lux/data/format/json.lux
+++ b/stdlib/source/poly/lux/data/format/json.lux
@@ -59,8 +59,8 @@
   (def: (encoded input)
     (let [high (|> input (i64.and high_mask) (i64.right_shifted 32))
           low (i64.and low_mask input)]
-      {#/.Array (row (|> high .int int.frac #/.Number)
-                     (|> low .int int.frac #/.Number))}))
+      {/.#Array (row (|> high .int int.frac {/.#Number})
+                     (|> low .int int.frac {/.#Number}))}))
   (def: decoded
     (</>.result (</>.array
                  (do <>.monad
@@ -82,19 +82,19 @@
   (All (_ a) (-> (-> a JSON) (-> (Maybe a) JSON)))
   (function (_ elem)
     (case elem
-      #.None         #/.Null
-      {#.Some value} (writer value))))
+      {.#None}       {/.#Null}
+      {.#Some value} (writer value))))
 
 (implementation: qty_codec
   (All (_ unit)
     (codec.Codec JSON (unit.Qty unit)))
   
   (def: encoded
-    (|>> ((debug.private unit.out))
+    (|>> ((debug.private unit.out'))
          (\ ..int_codec encoded)))
   (def: decoded
     (|>> (\ ..int_codec decoded)
-         (\ try.functor each (debug.private unit.in)))))
+         (\ try.functor each (debug.private unit.in')))))
 
 (poly: encoded
   (with_expansions
@@ -105,17 +105,17 @@
                   (in (` (: (~ (@JSON\encoded inputT))
                             <encoder>))))]
 
-               [(<type>.exactly Any) (function ((~ g!_) (~ (code.identifier ["" "0"]))) #/.Null)]
-               [(<type>.sub Bit)     (|>> {#/.Boolean})]
+               [(<type>.exactly Any) (function ((~ g!_) (~ (code.identifier ["" "0"]))) {/.#Null})]
+               [(<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")]
-- 
cgit v1.2.3