diff options
Diffstat (limited to 'stdlib/source/test/aedifex/dependency/resolution.lux')
| -rw-r--r-- | stdlib/source/test/aedifex/dependency/resolution.lux | 70 |
1 files changed, 35 insertions, 35 deletions
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux index eaec8b475..aeeb49cb2 100644 --- a/stdlib/source/test/aedifex/dependency/resolution.lux +++ b/stdlib/source/test/aedifex/dependency/resolution.lux @@ -77,14 +77,14 @@ (def: sha-1 (-> Binary Binary) (|>> ///hash.sha-1 - (# ///hash.sha-1_codec encoded) - (# utf8.codec encoded))) + (at ///hash.sha-1_codec encoded) + (at utf8.codec encoded))) (def: md5 (-> Binary Binary) (|>> ///hash.md5 - (# ///hash.md5_codec encoded) - (# utf8.codec encoded))) + (at ///hash.md5_codec encoded) + (at utf8.codec encoded))) (def: .public nope (Mock Any) @@ -112,8 +112,8 @@ (|> package (the ///package.#pom) product.left - (# xml.codec encoded) - (# utf8.codec encoded)))] + (at xml.codec encoded) + (at utf8.codec encoded)))] (cond (text.ends_with? ///artifact/extension.lux_library uri) {try.#Success [state library]} @@ -166,23 +166,23 @@ {try.#Success [state (|> expected_package (the ///package.#pom) product.left - (# xml.codec encoded) - (# utf8.codec encoded))]} + (at xml.codec encoded) + (at utf8.codec encoded))]} (text.ends_with? ..pom_sha-1 uri) {try.#Success [state (|> dummy_package (the ///package.#pom) product.left - (# xml.codec encoded) - (# utf8.codec encoded) + (at xml.codec encoded) + (at utf8.codec encoded) ..sha-1)]} (text.ends_with? ..pom_md5 uri) {try.#Success [state (|> expected_package (the ///package.#pom) product.left - (# xml.codec encoded) - (# utf8.codec encoded) + (at xml.codec encoded) + (at utf8.codec encoded) ..md5)]} ... else @@ -219,23 +219,23 @@ {try.#Success [state (|> expected_package (the ///package.#pom) product.left - (# xml.codec encoded) - (# utf8.codec encoded))]} + (at xml.codec encoded) + (at utf8.codec encoded))]} (text.ends_with? ..pom_sha-1 uri) {try.#Success [state (|> expected_package (the ///package.#pom) product.left - (# xml.codec encoded) - (# utf8.codec encoded) + (at xml.codec encoded) + (at utf8.codec encoded) ..sha-1)]} (text.ends_with? ..pom_md5 uri) {try.#Success [state (|> dummy_package (the ///package.#pom) product.left - (# xml.codec encoded) - (# utf8.codec encoded) + (at xml.codec encoded) + (at utf8.codec encoded) ..md5)]} ... else @@ -251,7 +251,7 @@ [_ expected_package] $///package.random [_ dummy_package] (random.only (|>> product.right (has ///package.#pom (the ///package.#pom expected_package)) - (# ///package.equivalence = expected_package) + (at ///package.equivalence = expected_package) not) $///package.random) .let [good (..single expected_artifact expected_package) @@ -265,9 +265,9 @@ (_.coverage' [/.one] (case actual_package {try.#Success actual_package} - (# ///package.equivalence = - (has ///package.#origin {///repository/origin.#Remote ""} expected_package) - actual_package) + (at ///package.equivalence = + (has ///package.#origin {///repository/origin.#Remote ""} expected_package) + actual_package) {try.#Failure _} false)))) @@ -296,7 +296,7 @@ [_ expected_package] $///package.random [_ dummy_package] (random.only (|>> product.right (has ///package.#pom (the ///package.#pom expected_package)) - (# ///package.equivalence = expected_package) + (at ///package.equivalence = expected_package) not) $///package.random) .let [good (..single expected_artifact expected_package) @@ -314,9 +314,9 @@ (_.coverage' [/.any] (case actual_package {try.#Success actual_package} - (# ///package.equivalence = - (has ///package.#origin {///repository/origin.#Remote ""} expected_package) - actual_package) + (at ///package.equivalence = + (has ///package.#origin {///repository/origin.#Remote ""} expected_package) + actual_package) {try.#Failure _} false)))) @@ -341,11 +341,11 @@ (do random.monad [dependee_artifact $///artifact.random depender_artifact (random.only (predicate.complement - (# ///artifact.equivalence = dependee_artifact)) + (at ///artifact.equivalence = dependee_artifact)) $///artifact.random) ignored_artifact (random.only (predicate.complement - (predicate.and (# ///artifact.equivalence = dependee_artifact) - (# ///artifact.equivalence = depender_artifact))) + (predicate.and (at ///artifact.equivalence = dependee_artifact) + (at ///artifact.equivalence = depender_artifact))) $///artifact.random)] (in [dependee_artifact depender_artifact ignored_artifact]))) @@ -365,33 +365,33 @@ ignored [///dependency.#artifact ignored_artifact ///dependency.#type ///artifact/type.lux_library] - dependee_pom (|> (# ///.monoid identity) + dependee_pom (|> (at ///.monoid identity) (has ///.#identity {.#Some dependee_artifact}) ///pom.write try.trusted) - depender_pom (|> (# ///.monoid identity) + depender_pom (|> (at ///.monoid identity) (has ///.#identity {.#Some depender_artifact}) (has ///.#dependencies (set.of_list ///dependency.hash (list dependee))) ///pom.write try.trusted) - ignored_pom (|> (# ///.monoid identity) + ignored_pom (|> (at ///.monoid identity) (has ///.#identity {.#Some ignored_artifact}) ///pom.write try.trusted) dependee_package (has ///package.#pom [dependee_pom - (|> dependee_pom (# xml.codec encoded) (# utf8.codec encoded)) + (|> dependee_pom (at xml.codec encoded) (at utf8.codec encoded)) {///dependency/status.#Unverified}] dependee_package) depender_package (has ///package.#pom [depender_pom - (|> depender_pom (# xml.codec encoded) (# utf8.codec encoded)) + (|> depender_pom (at xml.codec encoded) (at utf8.codec encoded)) {///dependency/status.#Unverified}] depender_package) ignored_package (has ///package.#pom [ignored_pom - (|> ignored_pom (# xml.codec encoded) (# utf8.codec encoded)) + (|> ignored_pom (at xml.codec encoded) (at utf8.codec encoded)) {///dependency/status.#Unverified}] ignored_package)]] (in [[dependee depender ignored] |