From 93eb82e1bf6d2f2a6b3b0adb85f4ab93cbb766a9 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 14 Mar 2022 03:33:01 -0400
Subject: De-sigil-ification: @

---
 stdlib/source/test/aedifex/runtime.lux | 50 +++++++++++++++++-----------------
 1 file changed, 25 insertions(+), 25 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux
index ec86419c2..99c1bd92d 100644
--- a/stdlib/source/test/aedifex/runtime.lux
+++ b/stdlib/source/test/aedifex/runtime.lux
@@ -1,24 +1,24 @@
- (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [monad {"+" do}]
-     [\\specification
-      ["$[0]" equivalence]]]
-    [control
-     ["[0]" maybe ("[1]#[0]" functor)]]
-    [data
-     ["[0]" text ("[1]#[0]" equivalence)]
-     [collection
-      ["[0]" list ("[1]#[0]" functor)]
-      ["[0]" set]]]
-    [math
-     ["[0]" random {"+" Random} ("[1]#[0]" monad)]
-     [number
-      ["n" nat]]]]]
-  [\\program
-   ["[0]" /]])
+(.using
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]
+    [\\specification
+     ["$[0]" equivalence]]]
+   [control
+    ["[0]" maybe ("[1]#[0]" functor)]]
+   [data
+    ["[0]" text ("[1]#[0]" equivalence)]
+    [collection
+     ["[0]" list ("[1]#[0]" functor)]
+     ["[0]" set]]]
+   [math
+    ["[0]" random {"+" Random} ("[1]#[0]" monad)]
+    [number
+     ["n" nat]]]]]
+ [\\program
+  ["[0]" /]])
 
 (def: .public random
   (Random /.Runtime)
@@ -44,7 +44,7 @@
                 (~~ (template [<command>]
                       [(_.cover [/.default_java /.default_js /.default_python /.default_lua /.default_ruby]
                                 (let [listing (|> (list /.default_java /.default_js /.default_python /.default_lua /.default_ruby)
-                                                  (list#each (value@ /.#program)))
+                                                  (list#each (the /.#program)))
                                       unique (set.of_list text.hash listing)]
                                   (n.= (list.size listing)
                                        (set.size unique))))]
@@ -57,10 +57,10 @@
                       ))
                 (_.cover [/.for]
                          (let [runtime' (/.for runtime path)]
-                           (and (text#= (value@ /.#program runtime)
-                                        (value@ /.#program runtime'))
+                           (and (text#= (the /.#program runtime)
+                                        (the /.#program runtime'))
                                 (|> runtime'
-                                    (value@ /.#parameters)
+                                    (the /.#parameters)
                                     list.last
                                     (maybe#each (text#= path))
                                     (maybe.else false)))))
-- 
cgit v1.2.3