From 2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 12 Sep 2021 15:39:55 -0400
Subject: Re-named \ => # && \\ => ##

---
 .../specification/compositor/generation/common.lux | 24 +++++++++++-----------
 1 file changed, 12 insertions(+), 12 deletions(-)

(limited to 'stdlib/source/specification/compositor/generation/common.lux')

diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux
index eeaa68a94..82dc698f9 100644
--- a/stdlib/source/specification/compositor/generation/common.lux
+++ b/stdlib/source/specification/compositor/generation/common.lux
@@ -7,13 +7,13 @@
     [pipe {"+" [case>]}]
     ["[0]" try {"+" [Try]}]]
    [data
-    ["[0]" bit ("[1]\[0]" equivalence)]
+    ["[0]" bit ("[1]#[0]" equivalence)]
     [number
      ["[0]" i64]
      ["n" nat]
      ["i" int]
      ["f" frac]]
-    ["[0]" text ("[1]\[0]" equivalence)
+    ["[0]" text ("[1]#[0]" equivalence)
      ["%" format {"+" [format]}]]
     [collection
      ["[0]" list]]]
@@ -90,7 +90,7 @@
                                (let [subject <subject_expr>])))]
 
                   ["lux i64 f64"  Frac i.frac f.= subject]
-                  ["lux i64 char" Text (|>> (:as Nat) text.from_code) text\= (|> subject
+                  ["lux i64 char" Text (|>> (:as Nat) text.from_code) text#= (|> subject
                                                                                  (:as Nat)
                                                                                  (n.% (i64.left_shifted 8 1))
                                                                                  (:as Int))]
@@ -111,14 +111,14 @@
                   ["lux i64 *" i.* Int  i.=]
                   ["lux i64 /" i./ Int  i.=]
                   ["lux i64 %" i.% Int  i.=]
-                  ["lux i64 =" i.= Bit bit\=]
-                  ["lux i64 <" i.< Bit bit\=]
+                  ["lux i64 =" i.= Bit bit#=]
+                  ["lux i64 <" i.< Bit bit#=]
                   ))
             ))))
 
 (def: simple_frac
   (Random Frac)
-  (|> r.nat (\ r.monad each (|>> (n.% 1000) .int i.frac))))
+  (|> r.nat (# r.monad each (|>> (n.% 1000) .int i.frac))))
 
 (def: (f64 run)
   (-> Runner Test)
@@ -145,7 +145,7 @@
                                                                        (synthesis.f64 subject))}
                                (run (..safe <extension>))
                                (case> {try.#Success valueV}
-                                      (bit\= (<text> param subject)
+                                      (bit#= (<text> param subject)
                                              (:as Bit valueV))
 
                                       _
@@ -175,12 +175,12 @@
 (def: (text run)
   (-> Runner Test)
   (do [! r.monad]
-    [sample_size (|> r.nat (\ ! each (|>> (n.% 10) (n.max 1))))
+    [sample_size (|> r.nat (# ! each (|>> (n.% 10) (n.max 1))))
      sample_lower (r.ascii/lower_alpha sample_size)
      sample_upper (r.ascii/upper_alpha sample_size)
      sample_alpha (|> (r.ascii/alpha sample_size)
-                      (r.only (|>> (text\= sample_upper) not)))
-     char_idx (|> r.nat (\ ! each (n.% sample_size)))
+                      (r.only (|>> (text#= sample_upper) not)))
+     char_idx (|> r.nat (# ! each (n.% sample_size)))
      .let [sample_lowerS (synthesis.text sample_lower)
            sample_upperS (synthesis.text sample_upper)
            sample_alphaS (synthesis.text sample_alpha)
@@ -262,7 +262,7 @@
                                  (case> (^multi {try.#Success valueV}
                                                 [(:as (Maybe Text) valueV)
                                                  {.#Some valueV}])
-                                        (text\= expected valueV)
+                                        (text#= expected valueV)
 
                                         _
                                         false))))]
@@ -322,7 +322,7 @@
                          (case> (^multi {try.#Success valueV}
                                         [(:as (Try Text) valueV)
                                          {try.#Success valueV}])
-                                (text\= message valueV)
+                                (text#= message valueV)
 
                                 _
                                 false))))
-- 
cgit v1.2.3