diff options
author | Eduardo Julian | 2021-09-12 00:07:08 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-12 00:07:08 -0400 |
commit | dda05bca0956af5e5b3875c4cc36e61aa04772e4 (patch) | |
tree | 0f8b27697d58ab5c8e41aba7c7c9f769d3800767 /stdlib/source/program/aedifex/repository | |
parent | d48270f43c404ba19ca04da2553455ecaaf2caba (diff) |
Made the "#" character great again!
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/repository.lux | 16 | ||||
-rw-r--r-- | stdlib/source/program/aedifex/repository/local.lux | 2 | ||||
-rw-r--r-- | stdlib/source/program/aedifex/repository/remote.lux | 14 |
3 files changed, 16 insertions, 16 deletions
diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux index b836cfa54..365195828 100644 --- a/stdlib/source/program/aedifex/repository.lux +++ b/stdlib/source/program/aedifex/repository.lux @@ -57,24 +57,24 @@ (do [! stm.monad] [|state| (stm.read state)] (case (\ mock on_download uri |state|) - {#try.Success [|state| output]} + {try.#Success [|state| output]} (do ! [_ (stm.write |state| state)] - (in {#try.Success output})) + (in {try.#Success output})) - {#try.Failure error} - (in {#try.Failure error}))))) + {try.#Failure error} + (in {try.#Failure error}))))) (def: (upload uri content) (stm.commit! (do [! stm.monad] [|state| (stm.read state)] (case (\ mock on_upload uri content |state|) - {#try.Success |state|} + {try.#Success |state|} (do ! [_ (stm.write |state| state)] - (in {#try.Success []})) + (in {try.#Success []})) - {#try.Failure error} - (in {#try.Failure error}))))) + {try.#Failure error} + (in {try.#Failure error}))))) ))) diff --git a/stdlib/source/program/aedifex/repository/local.lux b/stdlib/source/program/aedifex/repository/local.lux index 508fcba28..e00c5f240 100644 --- a/stdlib/source/program/aedifex/repository/local.lux +++ b/stdlib/source/program/aedifex/repository/local.lux @@ -53,7 +53,7 @@ _ (if ? (in []) (case (file.parent fs absolute_path) - {#.Some parent} + {.#Some parent} (file.make_directories async.monad fs parent) _ diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux index 269ff15a9..9f09b0993 100644 --- a/stdlib/source/program/aedifex/repository/remote.lux +++ b/stdlib/source/program/aedifex/repository/remote.lux @@ -65,15 +65,15 @@ [[status message] (: (IO (Try (@http.Response IO))) (http.get (format address uri) (http.headers ..base_headers) - #.None + {.#None} http))] (case status (^ (static http/status.ok)) - (\ ! each product.right ((value@ #@http.body message) #.None)) + (\ ! each product.right ((value@ #@http.body message) {.#None})) _ (do ! - [_ ((value@ #@http.body message) {#.Some 0})] + [_ ((value@ #@http.body message) {.#Some 0})] (\ io.monad in (exception.except ..download_failure [(format address uri) status])))))) (def: (upload uri content) @@ -81,15 +81,15 @@ [[status message] (: (IO (Try (@http.Response IO))) (http.put (format address uri) (http.headers (case identity - #.None + {.#None} ..base_headers - {#.Some [user password]} + {.#Some [user password]} (list& ["Authorization" (//identity.basic_auth user password)] ..base_headers))) - {#.Some content} + {.#Some content} http)) - _ ((value@ #@http.body message) {#.Some 0})] + _ ((value@ #@http.body message) {.#Some 0})] (case status (^ (static http/status.created)) (in []) |