From ae56acf791c2ed9bd5865f85fffa00b025d310fe Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 13 Jan 2021 17:42:20 -0400
Subject: Removed the (ultimately redundant) on_stop function for actors.

---
 stdlib/source/spec/lux/world/console.lux | 19 +++++++++++--------
 1 file changed, 11 insertions(+), 8 deletions(-)

(limited to 'stdlib/source/spec')

diff --git a/stdlib/source/spec/lux/world/console.lux b/stdlib/source/spec/lux/world/console.lux
index f875cd07e..5bfcf1ff8 100644
--- a/stdlib/source/spec/lux/world/console.lux
+++ b/stdlib/source/spec/lux/world/console.lux
@@ -10,6 +10,9 @@
      ["!" capability]]
     [concurrency
      ["." promise (#+ Promise)]]]
+   [data
+    ["." text
+     ["%" format (#+ format)]]]
    [math
     ["." random]]]
   {1
@@ -22,24 +25,24 @@
         [message (random.ascii/alpha 10)]
         (wrap (do promise.monad
                 [console (promise.future console)
+                 ?write (!.use (\ console write) [(format message text.new_line)])
                  ?read (!.use (\ console read) [])
                  ?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]
-                                [(#try.Success _) (#try.Success _)]
-                                true
-
-                                _
-                                false))
                     (_.cover' [/.Can_Write]
                               (case ?write
                                 (#try.Success _)
                                 true
                                 
+                                _
+                                false))
+                    (_.cover' [/.Can_Read]
+                              (case [?read ?read_line]
+                                [(#try.Success _) (#try.Success _)]
+                                true
+
                                 _
                                 false))
                     (_.cover' [/.Can_Close]
-- 
cgit v1.2.3