aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/control/exception.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/control/exception.lux')
-rw-r--r--stdlib/source/library/lux/control/exception.lux32
1 files changed, 16 insertions, 16 deletions
diff --git a/stdlib/source/library/lux/control/exception.lux b/stdlib/source/library/lux/control/exception.lux
index ff25a2891..3d0be75fd 100644
--- a/stdlib/source/library/lux/control/exception.lux
+++ b/stdlib/source/library/lux/control/exception.lux
@@ -78,13 +78,13 @@
(def: exception
(Parser [Code (List |type_variable|.Variable) [Text (List |input|.Input)] (Maybe Code)])
- (let [private (: (Parser [(List |type_variable|.Variable) [Text (List |input|.Input)] (Maybe Code)])
- ($_ <>.and
- (<>.else (list) (<code>.tuple (<>.some |type_variable|.parser)))
- (<>.either (<code>.form (<>.and <code>.local_symbol |input|.parser))
- (<>.and <code>.local_symbol (<>#in (list))))
- (<>.maybe <code>.any)
- ))]
+ (let [private (is (Parser [(List |type_variable|.Variable) [Text (List |input|.Input)] (Maybe Code)])
+ ($_ <>.and
+ (<>.else (list) (<code>.tuple (<>.some |type_variable|.parser)))
+ (<>.either (<code>.form (<>.and <code>.local_symbol |input|.parser))
+ (<>.and <code>.local_symbol (<>#in (list))))
+ (<>.maybe <code>.any)
+ ))]
($_ <>.either
(<>.and <code>.any private)
(<>.and (<>#in (` .private)) private)
@@ -118,15 +118,15 @@
largest_header_size))
text.together
(text#composite text.new_line))
- on_entry (: (-> [Text Text] Text)
- (function (_ [header message])
- (let [padding (|> " "
- (list.repeated (n.- (text.size header)
- largest_header_size))
- text.together)]
- (|> message
- (text.replaced text.new_line on_new_line)
- ($_ text#composite padding header header_separator)))))]
+ on_entry (is (-> [Text Text] Text)
+ (function (_ [header message])
+ (let [padding (|> " "
+ (list.repeated (n.- (text.size header)
+ largest_header_size))
+ text.together)]
+ (|> message
+ (text.replaced text.new_line on_new_line)
+ ($_ text#composite padding header header_separator)))))]
(case entries
{.#End}
""