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/specification/compositor/generation/case.lux      | 8 ++++----
 stdlib/source/specification/compositor/generation/common.lux    | 6 +++---
 stdlib/source/specification/compositor/generation/function.lux  | 2 +-
 stdlib/source/specification/compositor/generation/reference.lux | 2 +-
 stdlib/source/specification/compositor/generation/structure.lux | 6 +++---
 5 files changed, 12 insertions(+), 12 deletions(-)

(limited to 'stdlib/source/specification/compositor/generation')

diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index 1fbde2917..05e58e21f 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -32,7 +32,7 @@
 
 (def: size
   (Random Nat)
-  (|> r.nat (# r.monad each (|>> (n.% ..limit) (n.max 2)))))
+  (|> r.nat (at r.monad each (|>> (n.% ..limit) (n.max 2)))))
 
 (def: (tail? size idx)
   (-> Nat Nat Bit)
@@ -67,7 +67,7 @@
                      [(r.unicode 5) synthesis.text synthesis.path/text]))
                (do [! r.monad]
                  [size ..size
-                  idx (|> r.nat (# ! each (n.% size)))
+                  idx (|> r.nat (at ! each (n.% size)))
                   [subS subP] case
                   .let [unitS (synthesis.text synthesis.unit)
                         caseS (synthesis.tuple
@@ -82,7 +82,7 @@
                  (in [caseS caseP]))
                (do [! r.monad]
                  [size ..size
-                  idx (|> r.nat (# ! each (n.% size)))
+                  idx (|> r.nat (at ! each (n.% size)))
                   [subS subP] case
                   .let [right? (tail? size idx)
                         caseS (synthesis.variant
@@ -246,7 +246,7 @@
        (_.property "==="
          (and (text#= (synthesis.%path special_path)
                       (synthesis.%path special_pattern_path))
-              (# synthesis.path_equivalence = special_path special_pattern_path)))
+              (at synthesis.path_equivalence = special_path special_pattern_path)))
        (_.property "CODE"
          (|> special_input
              (run "special_input")
diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux
index e8d5e6ab4..8012798f8 100644
--- a/stdlib/source/specification/compositor/generation/common.lux
+++ b/stdlib/source/specification/compositor/generation/common.lux
@@ -124,7 +124,7 @@
 
 (def: simple_frac
   (Random Frac)
-  (|> r.nat (# r.monad each (|>> (n.% 1000) .int i.frac))))
+  (|> r.nat (at r.monad each (|>> (n.% 1000) .int i.frac))))
 
 (def: (f64 run)
   (-> Runner Test)
@@ -182,12 +182,12 @@
 (def: (text run)
   (-> Runner Test)
   (do [! r.monad]
-    [sample_size (|> r.nat (# ! each (|>> (n.% 10) (n.max 1))))
+    [sample_size (|> r.nat (at ! each (|>> (n.% 10) (n.max 1))))
      sample_lower (r.lower_case_alpha sample_size)
      sample_upper (r.upper_case_alpha sample_size)
      sample_alpha (|> (r.alphabetic sample_size)
                       (r.only (|>> (text#= sample_upper) not)))
-     char_idx (|> r.nat (# ! each (n.% sample_size)))
+     char_idx (|> r.nat (at ! each (n.% sample_size)))
      .let [sample_lowerS (synthesis.text sample_lower)
            sample_upperS (synthesis.text sample_upper)
            sample_alphaS (synthesis.text sample_alpha)
diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux
index 7e2c6d66f..86c495c3b 100644
--- a/stdlib/source/specification/compositor/generation/function.lux
+++ b/stdlib/source/specification/compositor/generation/function.lux
@@ -50,7 +50,7 @@
   (-> Runner Test)
   (do [! r.monad]
     [[arity local functionS] ..function
-     partial_arity (|> r.nat (# ! each (|>> (n.% arity) (n.max 1))))
+     partial_arity (|> r.nat (at ! each (|>> (n.% arity) (n.max 1))))
      inputs (r.list arity r.safe_frac)
      .let [expectation (maybe.trusted (list.item (-- local) inputs))
            inputsS (list#each (|>> synthesis.f64) inputs)]]
diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux
index e7b9ceeb0..f8f68c51e 100644
--- a/stdlib/source/specification/compositor/generation/reference.lux
+++ b/stdlib/source/specification/compositor/generation/reference.lux
@@ -41,7 +41,7 @@
 (def: (variable run)
   (-> Runner Test)
   (do [! r.monad]
-    [register (|> r.nat (# ! each (n.% 100)))
+    [register (|> r.nat (at ! each (n.% 100)))
      expected r.safe_frac]
     (_.property "Local variables."
       (|> (synthesis.branch/let [(synthesis.f64 expected)
diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux
index d914c309f..86054b07e 100644
--- a/stdlib/source/specification/compositor/generation/structure.lux
+++ b/stdlib/source/specification/compositor/generation/structure.lux
@@ -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 (at ! each (|>> (n.% 10) (n.max 2))))
+     tag_in (|> r.nat (at ! each (n.% num_tags)))
      .let [last?_in (|> num_tags -- (n.= tag_in))]
      value_in r.i64]
     (_.property (%.symbol (symbol synthesis.variant))
@@ -67,7 +67,7 @@
 (def: (tuple run)
   (-> Runner Test)
   (do [! r.monad]
-    [size (|> r.nat (# ! each (|>> (n.% 10) (n.max 2))))
+    [size (|> r.nat (at ! each (|>> (n.% 10) (n.max 2))))
      tuple_in (r.list size r.i64)]
     (_.property (%.symbol (symbol synthesis.tuple))
       (|> (synthesis.tuple (list#each (|>> synthesis.i64) tuple_in))
-- 
cgit v1.2.3