diff options
| author | Eduardo Julian | 2021-08-13 04:18:57 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-13 04:18:57 -0400 |
| commit | e53c1a090eb9cfac3cb23d10d981648d02518ed1 (patch) | |
| tree | 6c92c186525b6e73032ebea68765b791bcc27516 /stdlib/source/test/aedifex/repository | |
| parent | 17629d66062b88b040a2397032f6c08361a5f3a7 (diff) | |
Made program: specify its bindings the same way as syntax:.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/aedifex/repository.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/repository/remote.lux | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux index ce7647c9e..8e8b4c945 100644 --- a/stdlib/source/test/aedifex/repository.lux +++ b/stdlib/source/test/aedifex/repository.lux @@ -71,7 +71,7 @@ (def: the_description "@") (def: (on_download uri state) - (case (dictionary.get uri state) + (case (dictionary.value uri state) (#.Some content) (case (binary.size content) 0 (exception.except ..not_found [uri]) diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux index 8cca4aee8..44f913863 100644 --- a/stdlib/source/test/aedifex/repository/remote.lux +++ b/stdlib/source/test/aedifex/repository/remote.lux @@ -47,8 +47,8 @@ (<| io.io #try.Success (if (|> headers - (dictionary.get "User-Agent") - (maybe\map (is? /.user_agent)) + (dictionary.value "User-Agent") + (maybe\map (same? /.user_agent)) (maybe.else false)) (case [method input] [#@http.Get #.None] @@ -58,7 +58,7 @@ [#@http.Put (#.Some input)] (if (|> headers - (dictionary.get "Authorization") + (dictionary.value "Authorization") (maybe\map (text\= (//identity.basic_auth user password))) (maybe.else false)) [http/status.created |