aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/dependency/resolution.lux
diff options
context:
space:
mode:
authorEduardo Julian2021-09-12 15:39:55 -0400
committerEduardo Julian2021-09-12 15:39:55 -0400
commit2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (patch)
tree14bc8b5abe09b46ef005c3ff7cf132f1d98ddf0d /stdlib/source/test/aedifex/dependency/resolution.lux
parentdda05bca0956af5e5b3875c4cc36e61aa04772e4 (diff)
Re-named \ => # && \\ => ##
Diffstat (limited to 'stdlib/source/test/aedifex/dependency/resolution.lux')
-rw-r--r--stdlib/source/test/aedifex/dependency/resolution.lux68
1 files changed, 34 insertions, 34 deletions
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index b8b50f23d..01d516480 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -39,7 +39,7 @@
["[1]" profile]
["[1][0]" package {"+" [Package]}]
["[1][0]" hash]
- ["[1][0]" dependency {"+" [Dependency]} ("[1]\[0]" equivalence)
+ ["[1][0]" dependency {"+" [Dependency]} ("[1]#[0]" equivalence)
["[1]/[0]" status]]
["[1][0]" pom]
["[1][0]" artifact {"+" [Artifact]}
@@ -77,14 +77,14 @@
(def: sha-1
(-> Binary Binary)
(|>> ///hash.sha-1
- (\ ///hash.sha-1_codec encoded)
- (\ utf8.codec encoded)))
+ (# ///hash.sha-1_codec encoded)
+ (# utf8.codec encoded)))
(def: md5
(-> Binary Binary)
(|>> ///hash.md5
- (\ ///hash.md5_codec encoded)
- (\ utf8.codec encoded)))
+ (# ///hash.md5_codec encoded)
+ (# utf8.codec encoded)))
(def: .public nope
(Mock Any)
@@ -112,8 +112,8 @@
(|> package
(value@ ///package.#pom)
product.left
- (\ xml.codec encoded)
- (\ utf8.codec encoded)))]
+ (# xml.codec encoded)
+ (# 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
(value@ ///package.#pom)
product.left
- (\ xml.codec encoded)
- (\ utf8.codec encoded))]}
+ (# xml.codec encoded)
+ (# utf8.codec encoded))]}
(text.ends_with? ..pom_sha-1 uri)
{try.#Success [state (|> dummy_package
(value@ ///package.#pom)
product.left
- (\ xml.codec encoded)
- (\ utf8.codec encoded)
+ (# xml.codec encoded)
+ (# utf8.codec encoded)
..sha-1)]}
(text.ends_with? ..pom_md5 uri)
{try.#Success [state (|> expected_package
(value@ ///package.#pom)
product.left
- (\ xml.codec encoded)
- (\ utf8.codec encoded)
+ (# xml.codec encoded)
+ (# utf8.codec encoded)
..md5)]}
... else
@@ -219,23 +219,23 @@
{try.#Success [state (|> expected_package
(value@ ///package.#pom)
product.left
- (\ xml.codec encoded)
- (\ utf8.codec encoded))]}
+ (# xml.codec encoded)
+ (# utf8.codec encoded))]}
(text.ends_with? ..pom_sha-1 uri)
{try.#Success [state (|> expected_package
(value@ ///package.#pom)
product.left
- (\ xml.codec encoded)
- (\ utf8.codec encoded)
+ (# xml.codec encoded)
+ (# utf8.codec encoded)
..sha-1)]}
(text.ends_with? ..pom_md5 uri)
{try.#Success [state (|> dummy_package
(value@ ///package.#pom)
product.left
- (\ xml.codec encoded)
- (\ utf8.codec encoded)
+ (# xml.codec encoded)
+ (# utf8.codec encoded)
..md5)]}
... else
@@ -251,7 +251,7 @@
[_ expected_package] $///package.random
[_ dummy_package] (random.only (|>> product.right
(with@ ///package.#pom (value@ ///package.#pom expected_package))
- (\ ///package.equivalence = expected_package)
+ (# ///package.equivalence = expected_package)
not)
$///package.random)
.let [good (..single expected_artifact expected_package)
@@ -265,7 +265,7 @@
(_.cover' [/.one]
(case actual_package
{try.#Success actual_package}
- (\ ///package.equivalence =
+ (# ///package.equivalence =
(with@ ///package.#origin {///repository/origin.#Remote ""} expected_package)
actual_package)
@@ -296,7 +296,7 @@
[_ expected_package] $///package.random
[_ dummy_package] (random.only (|>> product.right
(with@ ///package.#pom (value@ ///package.#pom expected_package))
- (\ ///package.equivalence = expected_package)
+ (# ///package.equivalence = expected_package)
not)
$///package.random)
.let [good (..single expected_artifact expected_package)
@@ -314,7 +314,7 @@
(_.cover' [/.any]
(case actual_package
{try.#Success actual_package}
- (\ ///package.equivalence =
+ (# ///package.equivalence =
(with@ ///package.#origin {///repository/origin.#Remote ""} expected_package)
actual_package)
@@ -341,11 +341,11 @@
(do random.monad
[dependee_artifact $///artifact.random
depender_artifact (random.only (predicate.complement
- (\ ///artifact.equivalence = dependee_artifact))
+ (# ///artifact.equivalence = dependee_artifact))
$///artifact.random)
ignored_artifact (random.only (predicate.complement
- (predicate.and (\ ///artifact.equivalence = dependee_artifact)
- (\ ///artifact.equivalence = depender_artifact)))
+ (predicate.and (# ///artifact.equivalence = dependee_artifact)
+ (# ///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 (|> (# ///.monoid identity)
(with@ ///.#identity {.#Some dependee_artifact})
///pom.write
try.trusted)
- depender_pom (|> (\ ///.monoid identity)
+ depender_pom (|> (# ///.monoid identity)
(with@ ///.#identity {.#Some depender_artifact})
(with@ ///.#dependencies (set.of_list ///dependency.hash (list dependee)))
///pom.write
try.trusted)
- ignored_pom (|> (\ ///.monoid identity)
+ ignored_pom (|> (# ///.monoid identity)
(with@ ///.#identity {.#Some ignored_artifact})
///pom.write
try.trusted)
dependee_package (with@ ///package.#pom
[dependee_pom
- (|> dependee_pom (\ xml.codec encoded) (\ utf8.codec encoded))
+ (|> dependee_pom (# xml.codec encoded) (# utf8.codec encoded))
{///dependency/status.#Unverified}]
dependee_package)
depender_package (with@ ///package.#pom
[depender_pom
- (|> depender_pom (\ xml.codec encoded) (\ utf8.codec encoded))
+ (|> depender_pom (# xml.codec encoded) (# utf8.codec encoded))
{///dependency/status.#Unverified}]
depender_package)
ignored_package (with@ ///package.#pom
[ignored_pom
- (|> ignored_pom (\ xml.codec encoded) (\ utf8.codec encoded))
+ (|> ignored_pom (# xml.codec encoded) (# utf8.codec encoded))
{///dependency/status.#Unverified}]
ignored_package)]]
(in [[dependee depender ignored]
@@ -418,10 +418,10 @@
/.empty)]
(_.cover' [/.all]
(and (dictionary.key? resolution depender)
- (list.any? (///dependency\= depender) successes)
+ (list.any? (///dependency#= depender) successes)
(dictionary.key? resolution dependee)
- (list.any? (///dependency\= dependee) successes)
+ (list.any? (///dependency#= dependee) successes)
(list.empty? failures)
(not (dictionary.key? resolution ignored))))))