diff options
| author | Eduardo Julian | 2021-09-03 21:51:30 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-03 21:51:30 -0400 |
| commit | 891b1cfc82322f8017f0a4f6b707d6fe52024545 (patch) | |
| tree | 957429c0a2ad850b3570492deabe054fb2ace63e /stdlib/source/test/aedifex/repository | |
| parent | e76add6e6f904677f5c09bb2a66dce283f1b848a (diff) | |
Unified tuple and record syntax.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/aedifex/repository/remote.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux index 3013d8889..3218f15cd 100644 --- a/stdlib/source/test/aedifex/repository/remote.lux +++ b/stdlib/source/test/aedifex/repository/remote.lux @@ -42,8 +42,8 @@ (implementation (def: (request method url headers input) (with_expansions [<failure> [http/status.bad_request - {#@http.headers (http.headers (list)) - #@http.body (..url_body "")}]] + [#@http.headers (http.headers (list)) + #@http.body (..url_body "")]]] (<| io.io #try.Success (if (|> headers @@ -53,8 +53,8 @@ (case [method input] [#@http.Get #.None] [http/status.ok - {#@http.headers (http.headers (list)) - #@http.body (..url_body url)}] + [#@http.headers (http.headers (list)) + #@http.body (..url_body url)]] [#@http.Put (#.Some input)] (if (|> headers @@ -62,8 +62,8 @@ (maybe\each (text\= (//identity.basic_auth user password))) (maybe.else false)) [http/status.created - {#@http.headers (http.headers (list)) - #@http.body (..url_body url)}] + [#@http.headers (http.headers (list)) + #@http.body (..url_body url)]] <failure>) _ @@ -77,8 +77,8 @@ (<| io.io #try.Success [http/status.bad_request - {#@http.headers (http.headers (list)) - #@http.body (..url_body "")}])))) + [#@http.headers (http.headers (list)) + #@http.body (..url_body "")]])))) (def: .public test Test @@ -95,8 +95,8 @@ ($_ _.and (_.cover [/.repository /.user_agent /.Address] (let [repo (/.repository (..good_http user password) - (#.Some {#//identity.user user - #//identity.password password}) + (#.Some [#//identity.user user + #//identity.password password]) address)] (and (|> (\ repo download uri) io.run! |