aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/spec
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/spec/aedifex/repository.lux6
-rw-r--r--stdlib/source/spec/lux/world/console.lux10
-rw-r--r--stdlib/source/spec/lux/world/shell.lux20
3 files changed, 18 insertions, 18 deletions
diff --git a/stdlib/source/spec/aedifex/repository.lux b/stdlib/source/spec/aedifex/repository.lux
index 0c492ea08..35f26eabc 100644
--- a/stdlib/source/spec/aedifex/repository.lux
+++ b/stdlib/source/spec/aedifex/repository.lux
@@ -22,17 +22,17 @@
["_." // #_
["#." artifact]]})
-(def: #export (spec valid-artifact invalid-artifact subject)
+(def: #export (spec valid_artifact invalid_artifact subject)
(-> Artifact Artifact (/.Repository Promise) Test)
(do random.monad
[expected (_binary.random 100)]
(wrap ($_ _.and'
(do promise.monad
- [#let [uri/good (/.uri valid-artifact //artifact/extension.lux-library)]
+ [#let [uri/good (/.uri valid_artifact //artifact/extension.lux_library)]
upload!/good (\ subject upload uri/good expected)
download!/good (\ subject download uri/good)
- #let [uri/bad (/.uri invalid-artifact //artifact/extension.lux-library)]
+ #let [uri/bad (/.uri invalid_artifact //artifact/extension.lux_library)]
upload!/bad (\ subject upload uri/bad expected)
download!/bad (\ subject download uri/bad)]
(_.cover' [/.Repository]
diff --git a/stdlib/source/spec/lux/world/console.lux b/stdlib/source/spec/lux/world/console.lux
index 1da631a98..f875cd07e 100644
--- a/stdlib/source/spec/lux/world/console.lux
+++ b/stdlib/source/spec/lux/world/console.lux
@@ -23,26 +23,26 @@
(wrap (do promise.monad
[console (promise.future console)
?read (!.use (\ console read) [])
- ?read-line (!.use (\ console read-line) [])
+ ?read_line (!.use (\ console read_line) [])
?write (!.use (\ console write) [message])
?close/good (!.use (\ console close) [])
?close/bad (!.use (\ console close) [])]
($_ _.and'
- (_.cover' [/.Can-Read]
- (case [?read ?read-line]
+ (_.cover' [/.Can_Read]
+ (case [?read ?read_line]
[(#try.Success _) (#try.Success _)]
true
_
false))
- (_.cover' [/.Can-Write]
+ (_.cover' [/.Can_Write]
(case ?write
(#try.Success _)
true
_
false))
- (_.cover' [/.Can-Close]
+ (_.cover' [/.Can_Close]
(case [?close/good ?close/bad]
[(#try.Success _) (#try.Failure _)]
true
diff --git a/stdlib/source/spec/lux/world/shell.lux b/stdlib/source/spec/lux/world/shell.lux
index 935bd3ab3..1a9d649b8 100644
--- a/stdlib/source/spec/lux/world/shell.lux
+++ b/stdlib/source/spec/lux/world/shell.lux
@@ -34,20 +34,20 @@
[sleep! "sleep" Nat %.nat]
)
-(def: (read-test expected process)
+(def: (read_test expected process)
(-> Text (/.Process Promise) _.Assertion)
(do promise.monad
[?read (!.use (\ process read) [])
?await (!.use (\ process await) [])]
($_ _.and'
- (_.cover' [/.Can-Read]
+ (_.cover' [/.Can_Read]
(case ?read
(#try.Success actual)
(text\= expected actual)
(#try.Failure error)
false))
- (_.cover' [/.Can-Wait /.Exit /.normal]
+ (_.cover' [/.Can_Wait /.Exit /.normal]
(case ?await
(#try.Success exit)
(i.= /.normal exit)
@@ -56,12 +56,12 @@
false))
)))
-(def: (destroy-test process)
+(def: (destroy_test process)
(-> (/.Process Promise) _.Assertion)
(do promise.monad
[?destroy (!.use (\ process destroy) [])
?await (!.use (\ process await) [])]
- (_.cover' [/.Can-Destroy]
+ (_.cover' [/.Can_Destroy]
(and (case ?destroy
(#try.Success _)
true
@@ -75,7 +75,7 @@
(#try.Failure error)
true)))))
-(with-expansions [<shell-coverage> (as-is [/.Can-Execute /.Command /.Argument])]
+(with_expansions [<shell_coverage> (as_is [/.Can_Execute /.Command /.Argument])]
(def: #export (spec shell)
(-> (/.Shell Promise) Test)
(<| (_.for [/.Shell /.Process])
@@ -88,11 +88,11 @@
(case [?echo ?sleep]
[(#try.Success echo) (#try.Success sleep)]
($_ _.and'
- (_.cover' <shell-coverage>
+ (_.cover' <shell_coverage>
true)
- (..read-test message echo)
- (..destroy-test sleep))
+ (..read_test message echo)
+ (..destroy_test sleep))
_
- (_.cover' <shell-coverage>
+ (_.cover' <shell_coverage>
false))))))))