diff options
Diffstat (limited to 'stdlib/source/library/lux/world/console.lux')
-rw-r--r-- | stdlib/source/library/lux/world/console.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/world/console.lux b/stdlib/source/library/lux/world/console.lux index 3017f0ba0..5c6285bd3 100644 --- a/stdlib/source/library/lux/world/console.lux +++ b/stdlib/source/library/lux/world/console.lux @@ -17,7 +17,7 @@ ["[0]" text (.only Char) ["%" \\format (.only format)]]]]]) -(type: .public (Console !) +(type .public (Console !) (Interface (is (-> [] (! (Try Char))) read) @@ -169,7 +169,7 @@ (All (_ !) (-> Text (Console !) (! (Try Any)))) (at console write (format message text.new_line))) -(type: .public (Mock s) +(type .public (Mock s) (Interface (is (-> s (Try [s Char])) on_read) |