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.lux7
-rw-r--r--stdlib/source/program/aedifex/repository/origin.lux2
-rw-r--r--stdlib/source/program/aedifex/repository/remote.lux5
3 files changed, 8 insertions, 6 deletions
diff --git a/stdlib/source/program/aedifex/repository/local.lux b/stdlib/source/program/aedifex/repository/local.lux
index 4223ddf39..8f3c1cfb7 100644
--- a/stdlib/source/program/aedifex/repository/local.lux
+++ b/stdlib/source/program/aedifex/repository/local.lux
@@ -14,7 +14,8 @@
[environment (.only Environment)]
["[0]" file]
[net
- ["[0]" uri (.only URI)]]]]]
+ [uri (.only URI)
+ ["[0]" path]]]]]]
["[0]" // (.only)
["/[1]" //
["[1][0]" local]
@@ -24,12 +25,12 @@
(-> (Environment Async) (file.System Async) file.Path)
(let [/ (of fs separator)]
(|> ///local.repository
- (text.replaced uri.separator /)
+ (text.replaced path.separator /)
(format (of environment home) /))))
(def (path /)
(-> Text (-> URI file.Path))
- (text.replaced uri.separator /))
+ (text.replaced path.separator /))
(def (absolute_path environment fs)
(-> (Environment Async) (file.System Async) (-> URI file.Path))
diff --git a/stdlib/source/program/aedifex/repository/origin.lux b/stdlib/source/program/aedifex/repository/origin.lux
index e8b9c22a4..c813b7680 100644
--- a/stdlib/source/program/aedifex/repository/origin.lux
+++ b/stdlib/source/program/aedifex/repository/origin.lux
@@ -1,6 +1,6 @@
(.require
[library
- [lux (.except)
+ [lux (.except #Local)
[abstract
[equivalence (.only Equivalence)]]
[data
diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux
index 9386c214f..61972682a 100644
--- a/stdlib/source/program/aedifex/repository/remote.lux
+++ b/stdlib/source/program/aedifex/repository/remote.lux
@@ -21,6 +21,7 @@
[net (.only URL)
[uri (.only URI)]
["[0]" http
+ ["[0]" response (.only Response)]
["[1]" client]
["[1]/[0]" status]
["@[1]" /]]]]]]
@@ -62,7 +63,7 @@
address)
(def (download uri)
(do [! (try.with io.monad)]
- [[status message] (is (IO (Try (@http.Response IO)))
+ [[status message] (is (IO (Try (Response IO)))
(http.get (format address uri)
(http.headers ..base_headers)
{.#None}
@@ -78,7 +79,7 @@
(def (upload uri content)
(do (try.with io.monad)
- [[status message] (is (IO (Try (@http.Response IO)))
+ [[status message] (is (IO (Try (Response IO)))
(http.put (format address uri)
(http.headers (when identity
{.#None}