diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/spec/aedifex/repository.lux | 6 | ||||
-rw-r--r-- | stdlib/source/spec/lux/world/console.lux | 10 | ||||
-rw-r--r-- | stdlib/source/spec/lux/world/shell.lux | 20 |
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)))))))) |