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/structure.lux      | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

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

diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux
index 1b98fc558..9045c60e1 100644
--- a/stdlib/source/specification/compositor/generation/structure.lux
+++ b/stdlib/source/specification/compositor/generation/structure.lux
@@ -11,11 +11,11 @@
     [number
      ["n" nat]
      ["i" int]]
-    ["[0]" text ("[1]\[0]" equivalence)
+    ["[0]" text ("[1]#[0]" equivalence)
      ["%" format {"+" [format]}]]
     [collection
      ["[0]" array {"+" [Array]}]
-     ["[0]" list ("[1]\[0]" functor)]]]
+     ["[0]" list ("[1]#[0]" functor)]]]
    [math
     ["r" random]]
    ["[0]" ffi {"+" [import:]}]
@@ -31,8 +31,8 @@
 (def: (variant run)
   (-> Runner Test)
   (do [! r.monad]
-    [num_tags (|> r.nat (\ ! each (|>> (n.% 10) (n.max 2))))
-     tag_in (|> r.nat (\ ! each (n.% num_tags)))
+    [num_tags (|> r.nat (# ! each (|>> (n.% 10) (n.max 2))))
+     tag_in (|> r.nat (# ! each (n.% num_tags)))
      .let [last?_in (|> num_tags -- (n.= tag_in))]
      value_in r.i64]
     (_.test (%.name (name_of synthesis.variant))
@@ -51,7 +51,7 @@
                                     same_tag? (|> tag_out ffi.int_to_long (:as Nat) (n.= tag_in))
                                     same_flag? (case last?_out
                                                  {.#Some last?_out'}
-                                                 (and last?_in (text\= "" (:as Text last?_out')))
+                                                 (and last?_in (text#= "" (:as Text last?_out')))
 
                                                  {.#None}
                                                  (not last?_in))
@@ -66,10 +66,10 @@
 (def: (tuple run)
   (-> Runner Test)
   (do [! r.monad]
-    [size (|> r.nat (\ ! each (|>> (n.% 10) (n.max 2))))
+    [size (|> r.nat (# ! each (|>> (n.% 10) (n.max 2))))
      tuple_in (r.list size r.i64)]
     (_.test (%.name (name_of synthesis.tuple))
-            (|> (synthesis.tuple (list\each (|>> synthesis.i64) tuple_in))
+            (|> (synthesis.tuple (list#each (|>> synthesis.i64) tuple_in))
                 (run "tuple")
                 (case> {try.#Success tuple_out}
                        (let [tuple_out (:as (Array Any) tuple_out)]
-- 
cgit v1.2.3