diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/world/shell.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/world/shell.lux b/stdlib/source/library/lux/world/shell.lux index d473f7cdb..e04977d5e 100644 --- a/stdlib/source/library/lux/world/shell.lux +++ b/stdlib/source/library/lux/world/shell.lux @@ -100,7 +100,7 @@ command) (: (-> Argument (Safe Argument ?)) argument) - (: (All [a] (-> (Safe a ?) a)) + (: (All (_ a) (-> (Safe a ?) a)) value))) (type: (Sanitizer a) @@ -137,7 +137,7 @@ (..replaced "{" replacer) (..replaced "}" replacer))))) (def: (policy safe_command safe_argument) - (Ex [?] (-> (Sanitizer Command) (Sanitizer Argument) (Policy ?))) + (Ex (_ ?) (-> (Sanitizer Command) (Sanitizer Argument) (Policy ?))) (?.with_policy (: (Context Safety Policy) (function (_ (^open "?\.")) @@ -324,7 +324,7 @@ on_await))) (`` (implementation: (mock_process state mock) - (All [s] (-> (Atom s) (Mock s) (Process IO))) + (All (_ s) (-> (Atom s) (Mock s) (Process IO))) (~~ (template [<name> <mock>] [(def: (<name> _) @@ -367,7 +367,7 @@ (in (#try.Failure error))))))) (implementation: .public (mock mock init) - (All [s] + (All (_ s) (-> (-> [Environment Path Command (List Argument)] (Try (Mock s))) s |