1 files changed, 25 insertions, 24 deletions
diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux
index c529d124c..c51f0cced 100644
--- a/stdlib/source/specification/compositor/analysis/type.lux
+++ b/stdlib/source/specification/compositor/analysis/type.lux
@@ -1,24 +1,24 @@
 (.using
-  [lux "*"
-   ["_" test {"+" Test}]
-   [abstract
-    [monad {"+" do}]]
-   [control
-    [pipe {"+" case>}]
-    ["[0]" io]
-    ["[0]" try]]
-   [math
-    ["r" random {"+" Random}]]
-   [macro
-    ["[0]" code]]
-   [tool
-    [compiler
-     [analysis {"+" State+}]
-     ["[0]" phase
-      [macro {"+" Expander}]
-      ["[0]" analysis
-       ["[1]/[0]" scope]
-       ["[1]/[0]" type]]]]]])
+ [lux "*"
+  ["_" test {"+" Test}]
+  [abstract
+   [monad {"+" do}]]
+  [control
+   ["[0]" pipe]
+   ["[0]" io]
+   ["[0]" try]]
+  [math
+   ["r" random {"+" Random}]]
+  [macro
+   ["[0]" code]]
+  [tool
+   [compiler
+    [analysis {"+" State+}]
+    ["[0]" phase
+     [macro {"+" Expander}]
+     ["[0]" analysis
+      ["[1]/[0]" scope]
+      ["[1]/[0]" type]]]]]])
 
 (def: (check_success+ expander state extension params output_type)
   (-> Expander State+ Text (List Code) Type Bit)
@@ -26,11 +26,12 @@
         (analysis/type.with_type output_type
           (analysis.phase expander (` ((~ (code.text extension)) (~+ params))))))
       (phase.result state)
-      (case> {try.#Success _}
-             true
+      (pipe.case
+        {try.#Success _}
+        true
 
-             {try.#Failure _}
-             false)))
+        {try.#Failure _}
+        false)))
 
 (def: check
   (Random [Code Type Code])