diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/specification/aedifex/repository.lux | 8 | 
1 files changed, 4 insertions, 4 deletions
| diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux index 293b7f1e0..717df9bf4 100644 --- a/stdlib/source/specification/aedifex/repository.lux +++ b/stdlib/source/specification/aedifex/repository.lux @@ -29,17 +29,17 @@      [expected (_binary.random 100)]      (in ($_ _.and'              (do async.monad -              [.let [good_uri (/remote.uri (value@ #//artifact.version valid_artifact) valid_artifact //artifact/extension.lux_library)] +              [.let [good_uri (/remote.uri (value@ //artifact.#version valid_artifact) valid_artifact //artifact/extension.lux_library)]                 good_upload! (\ subject upload good_uri expected)                 good_download! (\ subject download good_uri) -               .let [bad_uri (/remote.uri (value@ #//artifact.version invalid_artifact) invalid_artifact //artifact/extension.lux_library)] +               .let [bad_uri (/remote.uri (value@ //artifact.#version invalid_artifact) invalid_artifact //artifact/extension.lux_library)]                 bad_upload! (\ subject upload bad_uri expected)                 bad_download! (\ subject download bad_uri)]                (_.cover' [/.Repository]                          (let [successfull_flow!                                (case [good_upload! good_download!] -                                [{#try.Success _} {#try.Success actual}] +                                [{try.#Success _} {try.#Success actual}]                                  (\ binary.equivalence = expected actual)                                  _ @@ -47,7 +47,7 @@                                failed_flow!                                (case [bad_upload! bad_download!] -                                [{#try.Failure _} {#try.Failure _}] +                                [{try.#Failure _} {try.#Failure _}]                                  true                                  _ | 
