From f9e33ae96aec4741385a576719786092c9e68043 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 4 Jun 2022 19:34:42 -0400
Subject: De-sigil-ification: #

---
 stdlib/source/test/lux.lux | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

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

diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index 9fed6be1a..ac59df0cc 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -216,16 +216,16 @@
     (_.for [/.Interface]
            (all _.and
                 (_.coverage [/.implementation:]
-                  (n.= expected (# (global_returner expected) return [])))
+                  (n.= expected (at (global_returner expected) return [])))
                 (_.coverage [/.implementation]
-                  (n.= expected (# local_returner return [])))
+                  (n.= expected (at local_returner return [])))
                 (_.coverage [/.open:]
                   (n.= static_return (global#return [])))
                 (_.coverage [/.open]
                   (let [(/.open "local#[0]") local_returner]
                     (n.= expected (local#return []))))
-                (_.coverage [/.#]
-                  (n.= expected (/.# local_returner return [])))
+                (_.coverage [/.at]
+                  (n.= expected (/.at local_returner return [])))
                 ))))
 
 (def: for_module
@@ -361,7 +361,7 @@
 (def: for_code
   Test
   (do [! random.monad]
-    [example (# ! each code.nat random.nat)]
+    [example (at ! each code.nat random.nat)]
     (all _.and
          (_.for [/.Code /.Code']
                 (all _.and
@@ -376,7 +376,7 @@
          )))
 
 (/.macro: (identity_macro tokens)
-  (# meta.monad in tokens))
+  (at meta.monad in tokens))
 
 (def: crosshair
   "This is an arbitrary text whose only purpose is to be found, somewhere, in the source-code.")
@@ -557,7 +557,7 @@
      expected_left random.nat
      expected_right random.nat
 
-     .let [existential_type (# ! each (|>> {.#Ex}) random.nat)]
+     .let [existential_type (at ! each (|>> {.#Ex}) random.nat)]
      expected/0 existential_type
      expected/1 existential_type]
     (<| (_.for [/.Type])
@@ -970,8 +970,8 @@
 (def: for_case
   Test
   (do [! random.monad]
-    [expected_nat (# ! each (n.% 1) random.nat)
-     expected_int (# ! each (i.% +1) random.int)
+    [expected_nat (at ! each (n.% 1) random.nat)
+     expected_int (at ! each (i.% +1) random.int)
      expected_rev (random.either (in .5)
                                  (in .25))
      expected_frac (random.either (in +0.5)
-- 
cgit v1.2.3