aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/repository
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/program/aedifex/repository')
-rw-r--r--stdlib/source/program/aedifex/repository/local.lux2
-rw-r--r--stdlib/source/program/aedifex/repository/remote.lux14
2 files changed, 8 insertions, 8 deletions
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 [])