From c4bbfea18d995948012f45a6afda7a6e6ba56f84 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 24 Nov 2020 05:18:04 -0400
Subject: Better error messages when re-using a name when making a definition.

---
 stdlib/source/test/aedifex/project.lux | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux
index f2c2917a2..ab8cc438f 100644
--- a/stdlib/source/test/aedifex/project.lux
+++ b/stdlib/source/test/aedifex/project.lux
@@ -8,15 +8,15 @@
       ["$." equivalence]
       ["$." monoid]]}]
    [control
-    ["." try ("#@." functor)]
+    ["." try ("#\." functor)]
     ["." exception]]
    [data
     ["." product]
-    ["." text ("#@." equivalence)]
+    ["." text ("#\." equivalence)]
     [number
      ["n" nat]]]
    [math
-    ["." random (#+ Random) ("#@." monad)]]]
+    ["." random (#+ Random) ("#\." monad)]]]
   [//
    ["@." profile]]
   {#program
@@ -27,7 +27,7 @@
 (def: profile
   (Random [//.Name //.Profile])
   (|> @profile.random
-      (random@map (set@ #//.parents (list)))
+      (random\map (set@ #//.parents (list)))
       (random.and (random.ascii/alpha 1))))
 
 (def: #export random
@@ -48,16 +48,16 @@
 
             (do random.monad
               [[super-name super-profile] ..profile
-               [dummy-name dummy-profile] (random.filter (|>> product.left (text@= super-name) not)
+               [dummy-name dummy-profile] (random.filter (|>> product.left (text\= super-name) not)
                                                          ..profile)
                [sub-name sub-profile] (random.filter (function (_ [name profile])
-                                                       (and (not (text@= super-name name))
-                                                            (not (text@= dummy-name name))))
+                                                       (and (not (text\= super-name name))
+                                                            (not (text\= dummy-name name))))
                                                      ..profile)
                fake-name (random.filter (function (_ name)
-                                          (and (not (text@= super-name name))
-                                               (not (text@= dummy-name name))
-                                               (not (text@= sub-name name))))
+                                          (and (not (text\= super-name name))
+                                               (not (text\= dummy-name name))
+                                               (not (text\= sub-name name))))
                                         (random.ascii/alpha 1))
                #let [project ($_ (:: /.monoid compose)
                                  (/.project super-name super-profile)
@@ -70,13 +70,13 @@
               ($_ _.and
                   (_.cover [/.profile]
                            (and (|> (/.profile super-name project)
-                                    (try@map (:: //.equivalence = super-profile))
+                                    (try\map (:: //.equivalence = super-profile))
                                     (try.default false))
                                 (|> (/.profile dummy-name project)
-                                    (try@map (:: //.equivalence = dummy-profile))
+                                    (try\map (:: //.equivalence = dummy-profile))
                                     (try.default false))
                                 (|> (/.profile sub-name project)
-                                    (try@map (:: //.equivalence = (:: //.monoid compose sub-profile super-profile)))
+                                    (try\map (:: //.equivalence = (:: //.monoid compose sub-profile super-profile)))
                                     (try.default false))))
                   (_.cover [/.unknown-profile]
                            (case (/.profile fake-name project)
-- 
cgit v1.2.3