De-sigil-ification: @

2 files changed, 52 insertions, 52 deletions

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)])))))