diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/repository/local.lux | 7 | ||||
-rw-r--r-- | stdlib/source/program/aedifex/repository/origin.lux | 2 | ||||
-rw-r--r-- | stdlib/source/program/aedifex/repository/remote.lux | 5 |
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} |