aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
authorEduardo Julian2022-03-30 13:12:18 -0400
committerEduardo Julian2022-03-30 13:12:18 -0400
commit1a962ee4b03f51f46a5979bfefc954f35ee3a1b7 (patch)
treeb042049a8ff6036007d57c8253ce203a1ed90744 /stdlib/source/specification
parent220c804f9136c73058802575ee49f3f769d5599f (diff)
Re-named "as_is" to "these" to avoid confusion with the new type-annotation macro names.
Diffstat (limited to 'stdlib/source/specification')
-rw-r--r--stdlib/source/specification/lux/world/shell.lux50
1 files changed, 25 insertions, 25 deletions
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])