From 1a962ee4b03f51f46a5979bfefc954f35ee3a1b7 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 30 Mar 2022 13:12:18 -0400
Subject: Re-named "as_is" to "these" to avoid confusion with the new
 type-annotation macro names.

---
 stdlib/source/specification/lux/world/shell.lux | 50 ++++++++++++-------------
 1 file changed, 25 insertions(+), 25 deletions(-)

(limited to 'stdlib/source/specification')

diff --git a/stdlib/source/specification/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux
index 8897596ba..9d18afee2 100644
--- a/stdlib/source/specification/lux/world/shell.lux
+++ b/stdlib/source/specification/lux/world/shell.lux
@@ -1,28 +1,28 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [monad {"+" do}]]
-    [control
-     ["[0]" try ("[1]#[0]" functor)]
-     [concurrency
-      ["[0]" async {"+" Async} ("[1]#[0]" monad)]]
-     [parser
-      ["[0]" environment {"+" Environment}]]]
-    [data
-     ["[0]" product]
-     ["[0]" text ("[1]#[0]" equivalence)
-      ["%" format {"+" format}]]]
-    [math
-     ["[0]" random]
-     [number
-      ["n" nat]
-      ["i" int]]]]]
-  [\\library
-   ["[0]" /
-    [//
-     [file {"+" Path}]]]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]]
+   [control
+    ["[0]" try ("[1]#[0]" functor)]
+    [concurrency
+     ["[0]" async {"+" Async} ("[1]#[0]" monad)]]
+    [parser
+     ["[0]" environment {"+" Environment}]]]
+   [data
+    ["[0]" product]
+    ["[0]" text ("[1]#[0]" equivalence)
+     ["%" format {"+" format}]]]
+   [math
+    ["[0]" random]
+    [number
+     ["n" nat]
+     ["i" int]]]]]
+ [\\library
+  ["[0]" /
+   [//
+    [file {"+" Path}]]]])
 
 (template [<name> <command> <type> <prep>]
   [(def: <name>
@@ -65,7 +65,7 @@
                {try.#Failure error}
                true)))))
 
-(with_expansions [<shell_coverage> (as_is [/.Command /.Argument])]
+(with_expansions [<shell_coverage> (these [/.Command /.Argument])]
   (def: .public (spec shell)
     (-> (/.Shell Async) Test)
     (<| (_.for [/.Shell /.Process])
-- 
cgit v1.2.3