diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/specification/lux/world/console.lux | 62 |
1 files changed, 31 insertions, 31 deletions
diff --git a/stdlib/source/specification/lux/world/console.lux b/stdlib/source/specification/lux/world/console.lux index cd2f88485..5632e5cd8 100644 --- a/stdlib/source/specification/lux/world/console.lux +++ b/stdlib/source/specification/lux/world/console.lux @@ -21,38 +21,38 @@ (-> (IO (/.Console Async)) Test) (do random.monad [message (random.ascii/alpha 10)] - (wrap (do async.monad - [console (async.future console) - ?write (\ console write (format message text.new_line)) - ?read (\ console read []) - ?read_line (\ console read_line []) - ?close/good (\ console close []) - ?close/bad (\ console close []) + (in (do async.monad + [console (async.future console) + ?write (\ console write (format message text.new_line)) + ?read (\ console read []) + ?read_line (\ console read_line []) + ?close/good (\ console close []) + ?close/bad (\ console close []) - #let [can_write! - (case ?write - (#try.Success _) - true - - _ - false) + #let [can_write! + (case ?write + (#try.Success _) + true + + _ + false) - can_read! - (case [?read ?read_line] - [(#try.Success _) (#try.Success _)] - true + can_read! + (case [?read ?read_line] + [(#try.Success _) (#try.Success _)] + true - _ - false) + _ + false) - can_close! - (case [?close/good ?close/bad] - [(#try.Success _) (#try.Failure _)] - true - - _ - false)]] - (_.cover' [/.Console] - (and can_write! - can_read! - can_close!)))))) + can_close! + (case [?close/good ?close/bad] + [(#try.Success _) (#try.Failure _)] + true + + _ + false)]] + (_.cover' [/.Console] + (and can_write! + can_read! + can_close!)))))) |