De-sigil-ification: @

3 files changed, 77 insertions, 77 deletions

diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux
index 3c9dd8f2c..9e22c1ac4 100644
--- a/stdlib/source/specification/aedifex/repository.lux
+++ b/stdlib/source/specification/aedifex/repository.lux
@@ -1,27 +1,27 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [monad {"+" do}]]
-    [control
-     ["[0]" try {"+" Try}]
-     [concurrency
-      ["[0]" async {"+" Async}]]]
-    [data
-     ["[0]" binary
-      ["_[1]" \\test]]]
-    [math
-     ["[0]" random]]]]
-  [\\program
-   ["[0]" /
-    ["[1][0]" remote]
-    ["/[1]" // "_"
-     ["[1][0]" artifact {"+" Artifact}
-      ["[1]/[0]" extension]]]]]
-  [\\test
-   ["_[0]" // "_"
-    ["[1][0]" artifact]]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]]
+   [control
+    ["[0]" try {"+" Try}]
+    [concurrency
+     ["[0]" async {"+" Async}]]]
+   [data
+    ["[0]" binary
+     ["_[1]" \\test]]]
+   [math
+    ["[0]" random]]]]
+ [\\program
+  ["[0]" /
+   ["[1][0]" remote]
+   ["/[1]" // "_"
+    ["[1][0]" artifact {"+" Artifact}
+     ["[1]/[0]" extension]]]]]
+ [\\test
+  ["_[0]" // "_"
+   ["[1][0]" artifact]]])
 
 (def: .public (spec valid_artifact invalid_artifact subject)
   (-> Artifact Artifact (/.Repository Async) Test)
@@ -29,11 +29,11 @@
     [expected (_binary.random 100)]
     (in ($_ _.and'
             (do async.monad
-              [.let [good_uri (/remote.uri (value@ //artifact.#version valid_artifact) valid_artifact //artifact/extension.lux_library)]
+              [.let [good_uri (/remote.uri (the //artifact.#version valid_artifact) valid_artifact //artifact/extension.lux_library)]
                good_upload! (# subject upload good_uri expected)
                good_download! (# subject download good_uri)
 
-               .let [bad_uri (/remote.uri (value@ //artifact.#version invalid_artifact) invalid_artifact //artifact/extension.lux_library)]
+               .let [bad_uri (/remote.uri (the //artifact.#version invalid_artifact) invalid_artifact //artifact/extension.lux_library)]
                bad_upload! (# subject upload bad_uri expected)
                bad_download! (# subject download bad_uri)]
               (_.cover' [/.Repository]
diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux
index aa2239cf7..f2af26161 100644
--- a/stdlib/source/specification/compositor.lux
+++ b/stdlib/source/specification/compositor.lux
@@ -1,33 +1,33 @@
 (.using
-  [lux "*"
-   ["_" test {"+" Test}]
-   [abstract
-    [monad {"+" do}]]
-   [control
-    ["[0]" io {"+" IO}]
-    ["[0]" try]]
-   [math
-    ["r" random]]
-   [tool
-    [compiler
-     ["[0]" analysis]
-     ["[0]" directive]
-     [phase
-      [macro {"+" Expander}]
-      [generation {"+" Bundle}]]
-     [default
-      [platform {"+" Platform}]]]]]
-  ["[0]" / "_"
-   ["[1][0]" common {"+" Runner Definer}]
-   ["[1]./" analysis "_"
-    ["[1][0]" type]]
-   ["[1]./" generation "_"
-    ["[1][0]" primitive]
-    ["[1][0]" structure]
-    ["[1][0]" reference]
-    ["[1][0]" case]
-    ["[1][0]" function]
-    ["[1][0]" common]]])
+ [lux "*"
+  ["_" test {"+" Test}]
+  [abstract
+   [monad {"+" do}]]
+  [control
+   ["[0]" io {"+" IO}]
+   ["[0]" try]]
+  [math
+   ["r" random]]
+  [tool
+   [compiler
+    ["[0]" analysis]
+    ["[0]" directive]
+    [phase
+     [macro {"+" Expander}]
+     [generation {"+" Bundle}]]
+    [default
+     [platform {"+" Platform}]]]]]
+ ["[0]" / "_"
+  ["[1][0]" common {"+" Runner Definer}]
+  ["[1]./" analysis "_"
+   ["[1][0]" type]]
+  ["[1]./" generation "_"
+   ["[1][0]" primitive]
+   ["[1][0]" structure]
+   ["[1][0]" reference]
+   ["[1][0]" case]
+   ["[1][0]" function]
+   ["[1][0]" common]]])
 
 (def: (test runner definer state expander)
   (-> Runner Definer analysis.State+ Expander Test)
@@ -60,7 +60,7 @@
     (case ?state,runner,definer
       {try.#Success [[directive_bundle directive_state] runner definer]}
       (..test runner definer
-              (value@ [directive.#analysis directive.#state] directive_state)
+              (the [directive.#analysis directive.#state] directive_state)
               expander)
 
       {try.#Failure error}
diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux
index d9a7e1e24..f97ca894e 100644
--- a/stdlib/source/specification/compositor/common.lux
+++ b/stdlib/source/specification/compositor/common.lux
@@ -1,23 +1,23 @@
 (.using
-  [lux "*"
-   [abstract
-    [monad {"+" do}]]
-   [control
-    ["[0]" io {"+" IO}]
-    ["[0]" try {"+" Try}]]
-   [tool
-    [compiler
-     ["[0]" reference]
-     ["[0]" analysis]
-     ["[0]" synthesis {"+" Synthesis}]
-     ["[0]" directive]
-     ["[0]" phase
-      ["[0]" macro {"+" Expander}]
-      ["[0]" generation {"+" Operation}]
-      [extension {"+" Extender}
-       ["[0]" bundle]]]
-     [default
-      ["[0]" platform {"+" Platform}]]]]])
+ [lux "*"
+  [abstract
+   [monad {"+" do}]]
+  [control
+   ["[0]" io {"+" IO}]
+   ["[0]" try {"+" Try}]]
+  [tool
+   [compiler
+    ["[0]" reference]
+    ["[0]" analysis]
+    ["[0]" synthesis {"+" Synthesis}]
+    ["[0]" directive]
+    ["[0]" phase
+     ["[0]" macro {"+" Expander}]
+     ["[0]" generation {"+" Operation}]
+     [extension {"+" Extender}
+      ["[0]" bundle]]]
+    [default
+     ["[0]" platform {"+" Platform}]]]]])
 
 (type: .public Runner
   (-> Text Synthesis (Try Any)))
@@ -72,9 +72,9 @@
     [?state (platform.initialize target expander analysis_bundle platform generation_bundle directive_bundle program extender)]
     (in (do try.monad
           [[directive_bundle directive_state] ?state
-           .let [generation_state (value@ [directive.#generation
-                                           directive.#state]
-                                          directive_state)]]
+           .let [generation_state (the [directive.#generation
+                                        directive.#state]
+                                       directive_state)]]
           (in [[directive_bundle directive_state]
                (..runner platform generation_state)
                (..definer platform generation_state)])))))