From bf53ee92fc3c33a4885aa227e55d24f7ba3cb2c4 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 16 Mar 2022 08:37:23 -0400 Subject: De-sigil-ification: prefix : --- .../source/program/aedifex/repository/remote.lux | 32 +++++++++++----------- 1 file changed, 16 insertions(+), 16 deletions(-) (limited to 'stdlib/source/program/aedifex/repository/remote.lux') diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux index efe3263a4..782b872f1 100644 --- a/stdlib/source/program/aedifex/repository/remote.lux +++ b/stdlib/source/program/aedifex/repository/remote.lux @@ -61,11 +61,11 @@ address) (def: (download uri) (do [! (try.with io.monad)] - [[status message] (: (IO (Try (@http.Response IO))) - (http.get (format address uri) - (http.headers ..base_headers) - {.#None} - http))] + [[status message] (is (IO (Try (@http.Response IO))) + (http.get (format address uri) + (http.headers ..base_headers) + {.#None} + http))] (case status (pattern (static http/status.ok)) (# ! each product.right ((the @http.#body message) {.#None})) @@ -77,17 +77,17 @@ (def: (upload uri content) (do (try.with io.monad) - [[status message] (: (IO (Try (@http.Response IO))) - (http.put (format address uri) - (http.headers (case identity - {.#None} - ..base_headers - - {.#Some [user password]} - (list& ["Authorization" (//identity.basic_auth user password)] - ..base_headers))) - {.#Some content} - http)) + [[status message] (is (IO (Try (@http.Response IO))) + (http.put (format address uri) + (http.headers (case identity + {.#None} + ..base_headers + + {.#Some [user password]} + (list& ["Authorization" (//identity.basic_auth user password)] + ..base_headers))) + {.#Some content} + http)) _ ((the @http.#body message) {.#Some 0})] (case status (pattern (static http/status.created)) -- cgit v1.2.3