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

---
 stdlib/source/test/aedifex/profile.lux | 30 +++++++++++++++---------------
 1 file changed, 15 insertions(+), 15 deletions(-)

(limited to 'stdlib/source/test/aedifex/profile.lux')

diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index cd5491c33..284151725 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -14,12 +14,12 @@
      [parser
       ["[0]" cli]]]
     [data
-     ["[0]" text ("[1]\[0]" equivalence)]
+     ["[0]" text ("[1]#[0]" equivalence)]
      [collection
       ["[0]" set {"+" [Set]}]
       ["[0]" dictionary {"+" [Dictionary]}]]]
     [math
-     ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
+     ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
      [number
       ["n" nat]]]]]
   [//
@@ -36,8 +36,8 @@
 
 (def: distribution
   (Random /.Distribution)
-  (random.or (random\in [])
-             (random\in [])))
+  (random.or (random#in [])
+             (random#in [])))
 
 (def: license
   (Random /.License)
@@ -74,18 +74,18 @@
 (def: (list_of random)
   (All (_ a) (-> (Random a) (Random (List a))))
   (do [! random.monad]
-    [size (\ ! each (n.% 5) random.nat)]
+    [size (# ! each (n.% 5) random.nat)]
     (random.list size random)))
 
 (def: (set_of hash random)
   (All (_ a) (-> (Hash a) (Random a) (Random (Set a))))
-  (\ random.functor each
+  (# random.functor each
      (set.of_list hash)
      (..list_of random)))
 
 (def: (dictionary_of key_hash key_random value_random)
   (All (_ k v) (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v))))
-  (\ random.functor each
+  (# random.functor each
      (dictionary.of_list key_hash)
      (..list_of (random.and key_random value_random))))
 
@@ -131,11 +131,11 @@
       (random.maybe (random.ascii/alpha 1))
       (random.maybe (random.ascii/alpha 1))
       (..dictionary_of text.hash (random.ascii/alpha 1) ..repository)
-      (random\in //runtime.default_java)
-      (random\in //runtime.default_js)
-      (random\in //runtime.default_python)
-      (random\in //runtime.default_lua)
-      (random\in //runtime.default_ruby)
+      (random#in //runtime.default_java)
+      (random#in //runtime.default_js)
+      (random#in //runtime.default_python)
+      (random#in //runtime.default_lua)
+      (random#in //runtime.default_ruby)
       ))
 
 (def: .public test
@@ -151,13 +151,13 @@
                             ($monoid.spec /.equivalence /.monoid ..random))
 
                      (_.cover [/.default]
-                              (text\= "" /.default))
+                              (text#= "" /.default))
                      (_.cover [/.default_compiler]
-                              (|> (\ /.monoid identity)
+                              (|> (# /.monoid identity)
                                   (value@ /.#compiler)
                                   (same? /.default_compiler)))
                      (_.cover [/.default_target]
-                              (|> (\ /.monoid identity)
+                              (|> (# /.monoid identity)
                                   (value@ /.#target)
                                   (same? /.default_target)))
                      )))))
-- 
cgit v1.2.3