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.lux44
1 files changed, 22 insertions, 22 deletions
diff --git a/stdlib/source/library/lux/control/exception.lux b/stdlib/source/library/lux/control/exception.lux
index 3d34b95f7..173b8b9bf 100644
--- a/stdlib/source/library/lux/control/exception.lux
+++ b/stdlib/source/library/lux/control/exception.lux
@@ -79,22 +79,22 @@
(def: exception
(Parser [Code (List |type_variable|.Variable) [Text (List |input|.Input)] (Maybe Code)])
(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 |input|.parser))
- (<>.and <code>.local (<>#in (list))))
- (<>.maybe <code>.any)
- ))]
- ($_ <>.either
- (<>.and <code>.any private)
- (<>.and (<>#in (` .private)) private)
- )))
+ (all <>.and
+ (<>.else (list) (<code>.tuple (<>.some |type_variable|.parser)))
+ (<>.either (<code>.form (<>.and <code>.local |input|.parser))
+ (<>.and <code>.local (<>#in (list))))
+ (<>.maybe <code>.any)
+ ))]
+ (all <>.either
+ (<>.and <code>.any private)
+ (<>.and (<>#in (` .private)) private)
+ )))
(syntax: .public (exception: [[export_policy t_vars [name inputs] body] ..exception])
(macro.with_symbols [g!_ g!descriptor]
(do meta.monad
[current_module meta.current_module_name
- .let [descriptor ($_ text#composite "{" current_module "." name "}" text.new_line)
+ .let [descriptor (all text#composite "{" current_module "." name "}" text.new_line)
g!self (code.local name)]]
(in (list (` (def: (~ export_policy)
(~ g!self)
@@ -126,14 +126,14 @@
text.together)]
(|> message
(text.replaced text.new_line on_new_line)
- ($_ text#composite padding header header_separator)))))]
+ (all text#composite padding header header_separator)))))]
(case entries
{.#End}
""
{.#Item head tail}
(list#mix (function (_ post pre)
- ($_ text#composite pre text.new_line (on_entry post)))
+ (all text#composite pre text.new_line (on_entry post)))
(on_entry head)
tail))))
@@ -156,19 +156,19 @@
..report'))
(def: separator
- (let [gap ($_ "lux text concat" text.new_line text.new_line)
+ (let [gap (all "lux text concat" text.new_line text.new_line)
horizontal_line (|> "-" (list.repeated 64) text.together)]
- ($_ "lux text concat"
- gap
- horizontal_line
- gap)))
+ (all "lux text concat"
+ gap
+ horizontal_line
+ gap)))
(def: (decorated prelude error)
(-> Text Text Text)
- ($_ "lux text concat"
- prelude
- ..separator
- error))
+ (all "lux text concat"
+ prelude
+ ..separator
+ error))
(def: .public (with exception message computation)
(All (_ e a) (-> (Exception e) e (Try a) (Try a)))