diff options
author | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
commit | f621a133e6e0a516c0586270fea8eaffb4829d82 (patch) | |
tree | 399396ee2f6a10df10cea9b78c51c76679b70e59 /stdlib/source/program/aedifex/repository/remote.lux | |
parent | 17e7566be51df5e428a6b10e6469201a8a9468da (diff) |
No more #export magic syntax.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/repository/remote.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux index 76363c94f..feaf3201f 100644 --- a/stdlib/source/program/aedifex/repository/remote.lux +++ b/stdlib/source/program/aedifex/repository/remote.lux @@ -30,11 +30,11 @@ ["#." artifact (#+ Version Artifact) [extension (#+ Extension)]]]]) -(type: #export Address +(type: .public Address URL) (template [<name>] - [(exception: #export (<name> {url URL} {status Nat}) + [(exception: .public (<name> {url URL} {status Nat}) (exception.report ["URL" (%.text url)] ["Status Code" (%.nat status)]))] @@ -43,18 +43,18 @@ [upload_failure] ) -(def: #export (uri version_template artifact extension) +(def: .public (uri version_template artifact extension) (-> Version Artifact Extension URI) (format (///artifact.uri version_template artifact) extension)) -(def: #export user_agent +(def: .public user_agent (format "LuxAedifex/" (version.format language/lux.version))) (def: base_headers (List [Text Text]) (list ["User-Agent" ..user_agent])) -(implementation: #export (repository http identity address) +(implementation: .public (repository http identity address) (All [s] (-> (http.Client IO) (Maybe Identity) Address (//.Repository IO))) (def: description |