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

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

diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index 52689480e..8343cbb67 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -7,13 +7,13 @@
     [pipe {"+" [case>]}]
     ["[0]" try {"+" [Try]}]]
    [data
-    ["[0]" text ("[1]\[0]" equivalence)
+    ["[0]" text ("[1]#[0]" equivalence)
      ["%" format {"+" [format]}]]
     [number
      ["n" nat]
      ["f" frac]]
     [collection
-     ["[0]" list ("[1]\[0]" mix)]]]
+     ["[0]" list ("[1]#[0]" mix)]]]
    [math
     ["r" random {"+" [Random]}]]
    [tool
@@ -32,7 +32,7 @@
 
 (def: size
   (Random Nat)
-  (|> r.nat (\ r.monad each (|>> (n.% ..limit) (n.max 2)))))
+  (|> r.nat (# r.monad each (|>> (n.% ..limit) (n.max 2)))))
 
 (def: (tail? size idx)
   (-> Nat Nat Bit)
@@ -66,7 +66,7 @@
                     [(r.unicode 5) synthesis.text synthesis.path/text]))
               (do [! r.monad]
                 [size ..size
-                 idx (|> r.nat (\ ! each (n.% size)))
+                 idx (|> r.nat (# ! each (n.% size)))
                  [subS subP] case
                  .let [unitS (synthesis.text synthesis.unit)
                        caseS (synthesis.tuple
@@ -81,7 +81,7 @@
                 (in [caseS caseP]))
               (do [! r.monad]
                 [size ..size
-                 idx (|> r.nat (\ ! each (n.% size)))
+                 idx (|> r.nat (# ! each (n.% size)))
                  [subS subP] case
                  .let [right? (tail? size idx)
                        caseS (synthesis.variant
@@ -152,7 +152,7 @@
                   (function (_ head tail)
                     (synthesis.variant [0 #1 (synthesis.tuple (list head tail))])))
         _list_ (: (-> (List Synthesis) Synthesis)
-                  (list\mix _item_ _end_))]
+                  (list#mix _item_ _end_))]
     (let [__tuple__ (: (-> (List Synthesis) Synthesis)
                        (|>> list.reversed _list_ [9 #0] synthesis.variant _code_))
           __form__ (: (-> (List Synthesis) Synthesis)
@@ -169,7 +169,7 @@
                        (_code_ (synthesis.variant [7 #0 (synthesis.tuple (list (synthesis.text module)
                                                                                (synthesis.text short)))]))))
           __list__ (: (-> (List Synthesis) Synthesis)
-                      (list\mix (function (_ head tail)
+                      (list#mix (function (_ head tail)
                                   (__form__ (list (__tag__ ["" "Item"]) head tail)))
                                 (__tag__ ["" "End"])))
           __apply__ (: (-> Synthesis Synthesis Synthesis)
@@ -247,9 +247,9 @@
   (-> Runner Test)
   ($_ _.and
       (_.test "==="
-              (and (text\= (synthesis.%path special_path)
+              (and (text#= (synthesis.%path special_path)
                            (synthesis.%path special_pattern_path))
-                   (\ synthesis.path_equivalence = special_path special_pattern_path)))
+                   (# synthesis.path_equivalence = special_path special_pattern_path)))
       (_.test "CODE"
               (|> special_input
                   (run "special_input")
-- 
cgit v1.2.3