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/origin.lux4
-rw-r--r--stdlib/source/program/aedifex/repository/remote.lux8
3 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/program/aedifex/repository/local.lux b/stdlib/source/program/aedifex/repository/local.lux
index 2c528a520..508fcba28 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/origin.lux b/stdlib/source/program/aedifex/repository/origin.lux
index 72163f641..a5a613a1a 100644
--- a/stdlib/source/program/aedifex/repository/origin.lux
+++ b/stdlib/source/program/aedifex/repository/origin.lux
@@ -12,8 +12,8 @@
(type: .public Origin
(Variant
- (#Local Path)
- (#Remote URL)))
+ {#Local Path}
+ {#Remote URL}))
(def: .public equivalence
(Equivalence Origin)
diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux
index 4f852c2b7..269ff15a9 100644
--- a/stdlib/source/program/aedifex/repository/remote.lux
+++ b/stdlib/source/program/aedifex/repository/remote.lux
@@ -73,7 +73,7 @@
_
(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)
@@ -84,12 +84,12 @@
#.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 [])