From 0d909187d5b9effcd08f533d50af7d29c0d6bfd8 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 8 Apr 2022 05:42:36 -0400
Subject: De-sigil-ification: $

---
 .../compositor/generation/function.lux             | 122 ++++++++++-----------
 1 file changed, 61 insertions(+), 61 deletions(-)

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

diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux
index e6bdf79c0..6cc0d14b5 100644
--- a/stdlib/source/specification/compositor/generation/function.lux
+++ b/stdlib/source/specification/compositor/generation/function.lux
@@ -1,27 +1,27 @@
 (.using
-  [lux {"-" function}
-   ["_" test {"+" Test}]
-   [abstract
-    [monad {"+" do}]
-    ["[0]" enum]]
-   [control
-    ["[0]" maybe]]
-   [data
-    [number
-     ["n" nat]]
-    [collection
-     ["[0]" list ("[1]#[0]" functor)]]]
-   [math
-    ["r" random {"+" Random} ("[1]#[0]" monad)]]
-   [tool
-    [compiler
-     [analysis {"+" Arity}]
-     ["[0]" reference {"+" Register}]
-     ["[0]" synthesis {"+" Synthesis}]]]]
-  ["[0]" // "_"
-   ["[1][0]" case]
-   [//
-    [common {"+" Runner}]]])
+ [lux {"-" function}
+  ["_" test {"+" Test}]
+  [abstract
+   [monad {"+" do}]
+   ["[0]" enum]]
+  [control
+   ["[0]" maybe]]
+  [data
+   [number
+    ["n" nat]]
+   [collection
+    ["[0]" list ("[1]#[0]" functor)]]]
+  [math
+   ["r" random {"+" Random} ("[1]#[0]" monad)]]
+  [tool
+   [compiler
+    [analysis {"+" Arity}]
+    ["[0]" reference {"+" Register}]
+    ["[0]" synthesis {"+" Synthesis}]]]]
+ ["[0]" // "_"
+  ["[1][0]" case]
+  [//
+   [common {"+" Runner}]]])
 
 (def: max_arity
   Arity
@@ -54,41 +54,41 @@
      inputs (r.list arity r.safe_frac)
      .let [expectation (maybe.trusted (list.item (-- local) inputs))
            inputsS (list#each (|>> synthesis.f64) inputs)]]
-    ($_ _.and
-        (_.test "Can read arguments."
-                (|> (synthesis.function/apply [synthesis.#function functionS
-                                               synthesis.#arguments inputsS])
-                    (run "with_local")
-                    (//case.verify expectation)))
-        (_.test "Can partially apply functions."
-                (or (n.= 1 arity)
-                    (let [preS (list.first partial_arity inputsS)
-                          postS (list.after partial_arity inputsS)
-                          partialS (synthesis.function/apply [synthesis.#function functionS
-                                                              synthesis.#arguments preS])]
-                      (|> (synthesis.function/apply [synthesis.#function partialS
-                                                     synthesis.#arguments postS])
-                          (run "partial_application")
-                          (//case.verify expectation)))))
-        (_.test "Can read environment."
-                (or (n.= 1 arity)
-                    (let [environment (|> partial_arity
-                                          (enum.range n.enum 1)
-                                          (list#each (|>> {reference.#Local})))
-                          variableS (if (n.<= partial_arity local)
-                                      (synthesis.variable/foreign (-- local))
-                                      (synthesis.variable/local (|> local (n.- partial_arity))))
-                          inner_arity (n.- partial_arity arity)
-                          innerS (synthesis.function/abstraction
-                                  [synthesis.#environment environment
-                                   synthesis.#arity inner_arity
-                                   synthesis.#body variableS])
-                          outerS (synthesis.function/abstraction
-                                  [synthesis.#environment (list)
-                                   synthesis.#arity partial_arity
-                                   synthesis.#body innerS])]
-                      (|> (synthesis.function/apply [synthesis.#function outerS
-                                                     synthesis.#arguments inputsS])
-                          (run "with_foreign")
-                          (//case.verify expectation)))))
-        )))
+    (all _.and
+         (_.test "Can read arguments."
+                 (|> (synthesis.function/apply [synthesis.#function functionS
+                                                synthesis.#arguments inputsS])
+                     (run "with_local")
+                     (//case.verify expectation)))
+         (_.test "Can partially apply functions."
+                 (or (n.= 1 arity)
+                     (let [preS (list.first partial_arity inputsS)
+                           postS (list.after partial_arity inputsS)
+                           partialS (synthesis.function/apply [synthesis.#function functionS
+                                                               synthesis.#arguments preS])]
+                       (|> (synthesis.function/apply [synthesis.#function partialS
+                                                      synthesis.#arguments postS])
+                           (run "partial_application")
+                           (//case.verify expectation)))))
+         (_.test "Can read environment."
+                 (or (n.= 1 arity)
+                     (let [environment (|> partial_arity
+                                           (enum.range n.enum 1)
+                                           (list#each (|>> {reference.#Local})))
+                           variableS (if (n.<= partial_arity local)
+                                       (synthesis.variable/foreign (-- local))
+                                       (synthesis.variable/local (|> local (n.- partial_arity))))
+                           inner_arity (n.- partial_arity arity)
+                           innerS (synthesis.function/abstraction
+                                   [synthesis.#environment environment
+                                    synthesis.#arity inner_arity
+                                    synthesis.#body variableS])
+                           outerS (synthesis.function/abstraction
+                                   [synthesis.#environment (list)
+                                    synthesis.#arity partial_arity
+                                    synthesis.#body innerS])]
+                       (|> (synthesis.function/apply [synthesis.#function outerS
+                                                      synthesis.#arguments inputsS])
+                           (run "with_foreign")
+                           (//case.verify expectation)))))
+         )))
-- 
cgit v1.2.3