blob: c0617188d11074b069736ab7aabda910a848c12a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
|
(.module:
[lux #*
["_" test (#+ Test)]
[abstract
[monad (#+ do)]
["." predicate]]
[control
["." try]
[concurrency
["." promise]]]
[data
[text
["%" format (#+ format)]]
[collection
["." dictionary]
["." set]]]
[math
["." random (#+ Random)]]
[world
["." file]]]
["$." /// #_
["#." package]
["#." artifact]
["#." dependency #_
["#/." resolution]]]
{#program
["." /
["//#" /// #_
["#" profile]
["#." action]
["#." pom]
["#." package]
["#." cache]
["#." repository]
["#." artifact
["#/." type]]
["#." dependency
["#/." resolution]]]]})
(def: #export test
Test
(<| (_.covering /._)
(do random.monad
[dependee-artifact $///artifact.random
depender-artifact (random.filter (predicate.complement
(:: ///artifact.equivalence = dependee-artifact))
$///artifact.random)
[_ dependee-package] $///package.random
[_ depender-package] $///package.random
#let [dependee {#///dependency.artifact dependee-artifact
#///dependency.type ///artifact/type.lux-library}
depender {#///dependency.artifact depender-artifact
#///dependency.type ///artifact/type.lux-library}
dependee-pom (|> (:: ///.monoid identity)
(set@ #///.identity (#.Some dependee-artifact))
///pom.write
try.assume)
depender-pom (|> (:: ///.monoid identity)
(set@ #///.identity (#.Some depender-artifact))
(set@ #///.dependencies (set.from-list ///dependency.hash (list dependee)))
///pom.write
try.assume)
dependee-package (|> dependee-package
(set@ #///package.origin #///package.Remote)
(set@ #///package.pom dependee-pom))
depender-package (|> depender-package
(set@ #///package.origin #///package.Remote)
(set@ #///package.pom depender-pom))
fs (file.mock (:: file.default separator))]]
(wrap (do promise.monad
[verdict (do ///action.monad
[pre (|> ///dependency/resolution.empty
(dictionary.put dependee dependee-package)
(///cache.write-all fs))
post (|> (:: ///.monoid identity)
(set@ #///.dependencies (set.from-list ///dependency.hash (list dependee depender)))
(/.do! fs (list (///repository.mock ($///dependency/resolution.single depender-artifact depender-package) []))))]
(wrap (and (and (set.member? pre dependee-artifact)
(not (set.member? pre depender-artifact)))
(and (not (set.member? post dependee-artifact))
(set.member? post depender-artifact)))))]
(_.claim [/.do!]
(try.default false verdict)))))))
|