aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/tool/compiler/meta
diff options
context:
space:
mode:
authorEduardo Julian2022-04-09 03:03:46 -0400
committerEduardo Julian2022-04-09 03:03:46 -0400
commit04c7f49a732380a2b9f72b1b937171b341c24323 (patch)
treed54c92bf10665bba0ec4643746becce569604fb2 /stdlib/source/test/lux/tool/compiler/meta
parentf11afb9d2dfe2d59b41e8056eb8c4ae65268415f (diff)
Better names for testing macros (plus better indentation).
Diffstat (limited to 'stdlib/source/test/lux/tool/compiler/meta')
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive.lux340
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/key.lux10
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/module.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux16
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux116
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux192
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux18
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/unit.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cache.lux20
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux18
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux18
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cache/module.lux46
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux112
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cli.lux136
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux12
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/context.lux36
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/export.lux84
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/import.lux26
18 files changed, 604 insertions, 604 deletions
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive.lux b/stdlib/source/test/lux/tool/compiler/meta/archive.lux
index d43e6a03b..1d0851bbf 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive.lux
@@ -59,139 +59,139 @@
hash random.nat
.let [key (/key.key signature content/0)]]
(all _.and
- (_.cover [/.has /.find]
- (|> (do try.monad
- [[@module/0 archive] (/.reserve module/0 /.empty)
- .let [entry [/.#module [/module.#id @module/0
- /module.#descriptor (..descriptor module/0 hash)
- /module.#document (/document.document key content/0)]
- /.#output sequence.empty
- /.#registry /registry.empty]]
- archive (/.has module/0 entry archive)
- entry' (/.find module/0 archive)]
- (in (same? entry entry')))
- (try.else false)))
- (_.cover [/.module_is_only_reserved]
- (|> (do try.monad
- [[@module/0 archive] (/.reserve module/0 /.empty)
- entry' (/.find module/0 archive)]
- (in false))
- (exception.otherwise (exception.match? /.module_is_only_reserved))))
- (_.cover [/.cannot_replace_document]
- (|> (do try.monad
- [[@module/0 archive] (/.reserve module/0 /.empty)
- .let [entry/0 [/.#module [/module.#id @module/0
- /module.#descriptor (..descriptor module/0 hash)
- /module.#document (/document.document key content/0)]
- /.#output sequence.empty
- /.#registry /registry.empty]
- entry/1 [/.#module [/module.#id @module/0
- /module.#descriptor (..descriptor module/0 hash)
- /module.#document (/document.document key content/1)]
- /.#output sequence.empty
- /.#registry /registry.empty]]
- archive (/.has module/0 entry/0 archive)
- archive (/.has module/0 entry/1 archive)]
- (in false))
- (exception.otherwise (exception.match? /.cannot_replace_document))))
- (_.cover [/.module_must_be_reserved_before_it_can_be_added]
- (|> (do try.monad
- [.let [entry [/.#module [/module.#id 0
- /module.#descriptor (..descriptor module/0 hash)
- /module.#document (/document.document key content/0)]
- /.#output sequence.empty
- /.#registry /registry.empty]]
- archive (/.has module/0 entry /.empty)]
- (in false))
- (exception.otherwise (exception.match? /.module_must_be_reserved_before_it_can_be_added))))
- (_.cover [/.archived?]
- (|> (do try.monad
- [[@module/0 archive] (/.reserve module/0 /.empty)
- .let [pre (/.archived? archive module/0)
- entry [/.#module [/module.#id @module/0
- /module.#descriptor (..descriptor module/0 hash)
- /module.#document (/document.document key content/0)]
- /.#output sequence.empty
- /.#registry /registry.empty]]
- archive (/.has module/0 entry archive)
- .let [post (/.archived? archive module/0)]]
- (in (and (not pre) post)))
- (try.else false)))
- (_.cover [/.unknown_document]
- (and (|> (do try.monad
- [_ (/.id module/0 /.empty)]
- (in false))
- (exception.otherwise (exception.match? /.unknown_document)))
- (|> (do try.monad
- [_ (/.find module/0 /.empty)]
- (in false))
- (exception.otherwise (exception.match? /.unknown_document)))))
- (_.cover [/.archived]
- (|> (do try.monad
- [[@module/0 archive] (/.reserve module/0 /.empty)
- .let [pre (/.archived archive)
- entry [/.#module [/module.#id @module/0
- /module.#descriptor (..descriptor module/0 hash)
- /module.#document (/document.document key content/0)]
- /.#output sequence.empty
- /.#registry /registry.empty]]
- archive (/.has module/0 entry archive)
- .let [post (/.archived archive)
- (open "list#[0]") (list.equivalence text.equivalence)]]
- (in (and (list#= (list) pre)
- (list#= (list module/0) post))))
- (try.else false)))
- (_.cover [/.entries]
- (|> (do try.monad
- [[@module/0 archive] (/.reserve module/0 /.empty)
- .let [pre (/.entries archive)
- entry [/.#module [/module.#id @module/0
- /module.#descriptor (..descriptor module/0 hash)
- /module.#document (/document.document key content/0)]
- /.#output sequence.empty
- /.#registry /registry.empty]]
- archive (/.has module/0 entry archive)]
- (in (and (list.empty? pre)
- (case (/.entries archive)
- (pattern (list [module/0' @module/0' entry']))
- (and (same? module/0 module/0')
- (same? @module/0 @module/0')
- (same? entry entry'))
+ (_.coverage [/.has /.find]
+ (|> (do try.monad
+ [[@module/0 archive] (/.reserve module/0 /.empty)
+ .let [entry [/.#module [/module.#id @module/0
+ /module.#descriptor (..descriptor module/0 hash)
+ /module.#document (/document.document key content/0)]
+ /.#output sequence.empty
+ /.#registry /registry.empty]]
+ archive (/.has module/0 entry archive)
+ entry' (/.find module/0 archive)]
+ (in (same? entry entry')))
+ (try.else false)))
+ (_.coverage [/.module_is_only_reserved]
+ (|> (do try.monad
+ [[@module/0 archive] (/.reserve module/0 /.empty)
+ entry' (/.find module/0 archive)]
+ (in false))
+ (exception.otherwise (exception.match? /.module_is_only_reserved))))
+ (_.coverage [/.cannot_replace_document]
+ (|> (do try.monad
+ [[@module/0 archive] (/.reserve module/0 /.empty)
+ .let [entry/0 [/.#module [/module.#id @module/0
+ /module.#descriptor (..descriptor module/0 hash)
+ /module.#document (/document.document key content/0)]
+ /.#output sequence.empty
+ /.#registry /registry.empty]
+ entry/1 [/.#module [/module.#id @module/0
+ /module.#descriptor (..descriptor module/0 hash)
+ /module.#document (/document.document key content/1)]
+ /.#output sequence.empty
+ /.#registry /registry.empty]]
+ archive (/.has module/0 entry/0 archive)
+ archive (/.has module/0 entry/1 archive)]
+ (in false))
+ (exception.otherwise (exception.match? /.cannot_replace_document))))
+ (_.coverage [/.module_must_be_reserved_before_it_can_be_added]
+ (|> (do try.monad
+ [.let [entry [/.#module [/module.#id 0
+ /module.#descriptor (..descriptor module/0 hash)
+ /module.#document (/document.document key content/0)]
+ /.#output sequence.empty
+ /.#registry /registry.empty]]
+ archive (/.has module/0 entry /.empty)]
+ (in false))
+ (exception.otherwise (exception.match? /.module_must_be_reserved_before_it_can_be_added))))
+ (_.coverage [/.archived?]
+ (|> (do try.monad
+ [[@module/0 archive] (/.reserve module/0 /.empty)
+ .let [pre (/.archived? archive module/0)
+ entry [/.#module [/module.#id @module/0
+ /module.#descriptor (..descriptor module/0 hash)
+ /module.#document (/document.document key content/0)]
+ /.#output sequence.empty
+ /.#registry /registry.empty]]
+ archive (/.has module/0 entry archive)
+ .let [post (/.archived? archive module/0)]]
+ (in (and (not pre) post)))
+ (try.else false)))
+ (_.coverage [/.unknown_document]
+ (and (|> (do try.monad
+ [_ (/.id module/0 /.empty)]
+ (in false))
+ (exception.otherwise (exception.match? /.unknown_document)))
+ (|> (do try.monad
+ [_ (/.find module/0 /.empty)]
+ (in false))
+ (exception.otherwise (exception.match? /.unknown_document)))))
+ (_.coverage [/.archived]
+ (|> (do try.monad
+ [[@module/0 archive] (/.reserve module/0 /.empty)
+ .let [pre (/.archived archive)
+ entry [/.#module [/module.#id @module/0
+ /module.#descriptor (..descriptor module/0 hash)
+ /module.#document (/document.document key content/0)]
+ /.#output sequence.empty
+ /.#registry /registry.empty]]
+ archive (/.has module/0 entry archive)
+ .let [post (/.archived archive)
+ (open "list#[0]") (list.equivalence text.equivalence)]]
+ (in (and (list#= (list) pre)
+ (list#= (list module/0) post))))
+ (try.else false)))
+ (_.coverage [/.entries]
+ (|> (do try.monad
+ [[@module/0 archive] (/.reserve module/0 /.empty)
+ .let [pre (/.entries archive)
+ entry [/.#module [/module.#id @module/0
+ /module.#descriptor (..descriptor module/0 hash)
+ /module.#document (/document.document key content/0)]
+ /.#output sequence.empty
+ /.#registry /registry.empty]]
+ archive (/.has module/0 entry archive)]
+ (in (and (list.empty? pre)
+ (case (/.entries archive)
+ (pattern (list [module/0' @module/0' entry']))
+ (and (same? module/0 module/0')
+ (same? @module/0 @module/0')
+ (same? entry entry'))
- _
- false))))
- (try.else false)))
- (_.cover [/.export /.import]
- (|> (do try.monad
- [[@module/0 archive] (/.reserve module/0 /.empty)
- [@module/1 archive] (/.reserve module/1 archive)
- .let [entry/0 [/.#module [/module.#id @module/0
- /module.#descriptor (..descriptor module/0 hash)
- /module.#document (/document.document key content/0)]
- /.#output sequence.empty
- /.#registry /registry.empty]
- entry/1 [/.#module [/module.#id @module/1
- /module.#descriptor (..descriptor module/1 hash)
- /module.#document (/document.document key content/1)]
- /.#output sequence.empty
- /.#registry /registry.empty]]
- archive (/.has module/0 entry/0 archive)
- archive (/.has module/1 entry/1 archive)
- .let [pre (/.reserved archive)]
- archive (|> archive
- (/.export version)
- (/.import version))
- .let [post (/.reserved archive)]]
- (in (set#= (set.of_list text.hash pre)
- (set.of_list text.hash post))))
- (try.else false)))
- (_.cover [/.version_mismatch]
- (|> (do try.monad
- [archive (|> /.empty
- (/.export version)
- (/.import fake_version))]
- (in false))
- (exception.otherwise (exception.match? /.version_mismatch))))
+ _
+ false))))
+ (try.else false)))
+ (_.coverage [/.export /.import]
+ (|> (do try.monad
+ [[@module/0 archive] (/.reserve module/0 /.empty)
+ [@module/1 archive] (/.reserve module/1 archive)
+ .let [entry/0 [/.#module [/module.#id @module/0
+ /module.#descriptor (..descriptor module/0 hash)
+ /module.#document (/document.document key content/0)]
+ /.#output sequence.empty
+ /.#registry /registry.empty]
+ entry/1 [/.#module [/module.#id @module/1
+ /module.#descriptor (..descriptor module/1 hash)
+ /module.#document (/document.document key content/1)]
+ /.#output sequence.empty
+ /.#registry /registry.empty]]
+ archive (/.has module/0 entry/0 archive)
+ archive (/.has module/1 entry/1 archive)
+ .let [pre (/.reserved archive)]
+ archive (|> archive
+ (/.export version)
+ (/.import version))
+ .let [post (/.reserved archive)]]
+ (in (set#= (set.of_list text.hash pre)
+ (set.of_list text.hash post))))
+ (try.else false)))
+ (_.coverage [/.version_mismatch]
+ (|> (do try.monad
+ [archive (|> /.empty
+ (/.export version)
+ (/.import fake_version))]
+ (in false))
+ (exception.otherwise (exception.match? /.version_mismatch))))
)))
(def: .public test
@@ -207,44 +207,44 @@
hash random.nat
.let [key (/key.key signature content/0)]])
(all _.and
- (_.cover [/.empty]
- (list.empty? (/.entries /.empty)))
- (_.cover [/.reserve /.id]
- (|> (do try.monad
- [[@module/0 archive] (/.reserve module/0 /.empty)
- [@module/1 archive] (/.reserve module/1 archive)
- @module/0' (/.id module/0 archive)
- @module/1' (/.id module/1 archive)]
- (in (and (same? @module/0 @module/0')
- (same? @module/1 @module/1'))))
- (try.else false)))
- (_.cover [/.reserved]
- (|> (do try.monad
- [[@module/0 archive] (/.reserve module/0 /.empty)
- [@module/1 archive] (/.reserve module/1 archive)]
- (in (set#= (set.of_list text.hash (list module/0 module/1))
- (set.of_list text.hash (/.reserved archive)))))
- (try.else false)))
- (_.cover [/.reservations]
- (|> (do try.monad
- [[@module/0 archive] (/.reserve module/0 /.empty)
- [@module/1 archive] (/.reserve module/1 archive)
- .let [hash (product.hash text.hash n.hash)]]
- (in (set#= (set.of_list hash (list [module/0 @module/0] [module/1 @module/1]))
- (set.of_list hash (/.reservations archive)))))
- (try.else false)))
- (_.cover [/.module_has_already_been_reserved]
- (|> (do try.monad
- [[@module/0 archive] (/.reserve module/0 /.empty)
- _ (/.reserve module/0 archive)]
- (in false))
- (exception.otherwise (exception.match? /.module_has_already_been_reserved))))
- (_.cover [/.reserved?]
- (|> (do try.monad
- [[@module/0 archive] (/.reserve module/0 /.empty)]
- (in (and (/.reserved? archive module/0)
- (not (/.reserved? archive module/1)))))
- (try.else false)))
+ (_.coverage [/.empty]
+ (list.empty? (/.entries /.empty)))
+ (_.coverage [/.reserve /.id]
+ (|> (do try.monad
+ [[@module/0 archive] (/.reserve module/0 /.empty)
+ [@module/1 archive] (/.reserve module/1 archive)
+ @module/0' (/.id module/0 archive)
+ @module/1' (/.id module/1 archive)]
+ (in (and (same? @module/0 @module/0')
+ (same? @module/1 @module/1'))))
+ (try.else false)))
+ (_.coverage [/.reserved]
+ (|> (do try.monad
+ [[@module/0 archive] (/.reserve module/0 /.empty)
+ [@module/1 archive] (/.reserve module/1 archive)]
+ (in (set#= (set.of_list text.hash (list module/0 module/1))
+ (set.of_list text.hash (/.reserved archive)))))
+ (try.else false)))
+ (_.coverage [/.reservations]
+ (|> (do try.monad
+ [[@module/0 archive] (/.reserve module/0 /.empty)
+ [@module/1 archive] (/.reserve module/1 archive)
+ .let [hash (product.hash text.hash n.hash)]]
+ (in (set#= (set.of_list hash (list [module/0 @module/0] [module/1 @module/1]))
+ (set.of_list hash (/.reservations archive)))))
+ (try.else false)))
+ (_.coverage [/.module_has_already_been_reserved]
+ (|> (do try.monad
+ [[@module/0 archive] (/.reserve module/0 /.empty)
+ _ (/.reserve module/0 archive)]
+ (in false))
+ (exception.otherwise (exception.match? /.module_has_already_been_reserved))))
+ (_.coverage [/.reserved?]
+ (|> (do try.monad
+ [[@module/0 archive] (/.reserve module/0 /.empty)]
+ (in (and (/.reserved? archive module/0)
+ (not (/.reserved? archive module/1)))))
+ (try.else false)))
(_.for [/.Entry]
..test|entry)
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/key.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/key.lux
index 5d9457c91..ff80c5289 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive/key.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/key.lux
@@ -19,9 +19,9 @@
[expected //signature.random
document random.nat]
(all _.and
- (_.cover [/.key /.signature]
- (|> document
- (/.key expected)
- /.signature
- (same? expected)))
+ (_.coverage [/.key /.signature]
+ (|> document
+ (/.key expected)
+ /.signature
+ (same? expected)))
))))
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/module.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/module.lux
index f86ab62d6..5251a1c86 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive/module.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/module.lux
@@ -35,8 +35,8 @@
(<| (_.covering /._)
(_.for [/.Module])
(all _.and
- (_.cover [/.ID /.runtime]
- (n.= 0 /.runtime))
+ (_.coverage [/.ID /.runtime]
+ (n.= 0 /.runtime))
/document.test
/descriptor.test
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux
index 6de17ec32..446a91717 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux
@@ -48,12 +48,12 @@
($equivalence.spec /.equivalence (..random 1)))
(_.for [/.Module]
- (_.cover [/.runtime]
- (text#= "" /.runtime)))
- (_.cover [/.writer /.parser]
- (|> expected
- (binary.result /.writer)
- (<binary>.result /.parser)
- (try#each (|>> (# /.equivalence = (has /.#state {.#Cached} expected))))
- (try.else false)))
+ (_.coverage [/.runtime]
+ (text#= "" /.runtime)))
+ (_.coverage [/.writer /.parser]
+ (|> expected
+ (binary.result /.writer)
+ (<binary>.result /.parser)
+ (try#each (|>> (# /.equivalence = (has /.#state {.#Cached} expected))))
+ (try.else false)))
)))
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux
index 182b127f4..289ab40fd 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux
@@ -37,62 +37,62 @@
key/1 (/key.key signature/1 0)]
expected random.nat]
(all _.and
- (_.cover [/.document /.content]
- (|> expected
- (/.document key/0)
- (/.content key/0)
- (try#each (same? expected))
- (try.else false)))
- (_.cover [/.signature]
- (|> expected
- (/.document key/0)
- /.signature
- (same? signature/0)))
- (_.cover [/.marked?]
- (and (|> expected
- (/.document key/0)
- (/.marked? key/0)
- (pipe.case
- {try.#Success it} true
- {try.#Failure error} false))
- (|> expected
- (/.document key/0)
- (/.marked? key/1)
- (pipe.case
- {try.#Success it} false
- {try.#Failure error} true))))
- (_.cover [/.invalid_signature]
- (and (|> expected
- (/.document key/0)
- (/.content key/1)
- (pipe.case
- {try.#Success it}
- false
-
- {try.#Failure error}
- (exception.match? /.invalid_signature error)))
- (|> expected
- (/.document key/0)
- (/.marked? key/1)
- (pipe.case
- {try.#Success it}
- false
-
- {try.#Failure error}
- (exception.match? /.invalid_signature error)))))
- (_.cover [/.writer /.parser]
- (|> expected
- (/.document key/0)
- (binaryF.result (/.writer binaryF.nat))
- (<binary>.result (/.parser key/0 <binary>.nat))
- (pipe.case
- {try.#Success it}
- (and (/signature#= signature/0 (/.signature it))
- (|> it
- (/.content key/0)
- (try#each (nat.= expected))
- (try.else false)))
-
- {try.#Failure error}
- false)))
+ (_.coverage [/.document /.content]
+ (|> expected
+ (/.document key/0)
+ (/.content key/0)
+ (try#each (same? expected))
+ (try.else false)))
+ (_.coverage [/.signature]
+ (|> expected
+ (/.document key/0)
+ /.signature
+ (same? signature/0)))
+ (_.coverage [/.marked?]
+ (and (|> expected
+ (/.document key/0)
+ (/.marked? key/0)
+ (pipe.case
+ {try.#Success it} true
+ {try.#Failure error} false))
+ (|> expected
+ (/.document key/0)
+ (/.marked? key/1)
+ (pipe.case
+ {try.#Success it} false
+ {try.#Failure error} true))))
+ (_.coverage [/.invalid_signature]
+ (and (|> expected
+ (/.document key/0)
+ (/.content key/1)
+ (pipe.case
+ {try.#Success it}
+ false
+
+ {try.#Failure error}
+ (exception.match? /.invalid_signature error)))
+ (|> expected
+ (/.document key/0)
+ (/.marked? key/1)
+ (pipe.case
+ {try.#Success it}
+ false
+
+ {try.#Failure error}
+ (exception.match? /.invalid_signature error)))))
+ (_.coverage [/.writer /.parser]
+ (|> expected
+ (/.document key/0)
+ (binaryF.result (/.writer binaryF.nat))
+ (<binary>.result (/.parser key/0 <binary>.nat))
+ (pipe.case
+ {try.#Success it}
+ (and (/signature#= signature/0 (/.signature it))
+ (|> it
+ (/.content key/0)
+ (try#each (nat.= expected))
+ (try.else false)))
+
+ {try.#Failure error}
+ false)))
))))
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux
index c097d5190..1e8c54fba 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux
@@ -62,54 +62,54 @@
(random.set text.hash expected_amount)
(# ! each set.list))]
(`` (all _.and
- (_.cover [/.empty]
- (|> /.empty
- /.artifacts
- sequence.size
- (n.= 0)))
- (_.cover [/.resource]
- (let [[@it registry] (/.resource mandatory? expected_dependencies /.empty)]
- (case (sequence.list (/.artifacts registry))
- (pattern (list [artifact actual_dependencies]))
- (and (same? @it (the artifact.#id artifact))
- (same? mandatory? (the artifact.#mandatory? artifact))
- (tagged? category.#Anonymous (the artifact.#category artifact))
- (same? expected_dependencies actual_dependencies))
+ (_.coverage [/.empty]
+ (|> /.empty
+ /.artifacts
+ sequence.size
+ (n.= 0)))
+ (_.coverage [/.resource]
+ (let [[@it registry] (/.resource mandatory? expected_dependencies /.empty)]
+ (case (sequence.list (/.artifacts registry))
+ (pattern (list [artifact actual_dependencies]))
+ (and (same? @it (the artifact.#id artifact))
+ (same? mandatory? (the artifact.#mandatory? artifact))
+ (tagged? category.#Anonymous (the artifact.#category artifact))
+ (same? expected_dependencies actual_dependencies))
- _
- false)))
+ _
+ false)))
(~~ (template [<new> <expected>' <query> <tag> <wrong_new> <wrong_expected>']
- [(_.cover [<new> <query>]
- (let [<expected> <expected>'
- <wrong_expected> <wrong_expected>']
- (and (let [[@it registry] (<new> <expected> mandatory? expected_dependencies /.empty)]
- (and (case (<query> registry)
- (pattern (list actual_name))
+ [(_.coverage [<new> <query>]
+ (let [<expected> <expected>'
+ <wrong_expected> <wrong_expected>']
+ (and (let [[@it registry] (<new> <expected> mandatory? expected_dependencies /.empty)]
+ (and (case (<query> registry)
+ (pattern (list actual_name))
+ (same? <expected> actual_name)
+
+ _
+ false)
+ (case (sequence.list (/.artifacts registry))
+ (pattern (list [artifact actual_dependencies]))
+ (and (same? @it (the artifact.#id artifact))
+ (same? mandatory? (the artifact.#mandatory? artifact))
+ (case (the artifact.#category artifact)
+ {<tag> actual_name}
(same? <expected> actual_name)
_
false)
- (case (sequence.list (/.artifacts registry))
- (pattern (list [artifact actual_dependencies]))
- (and (same? @it (the artifact.#id artifact))
- (same? mandatory? (the artifact.#mandatory? artifact))
- (case (the artifact.#category artifact)
- {<tag> actual_name}
- (same? <expected> actual_name)
-
- _
- false)
- (same? expected_dependencies actual_dependencies))
+ (same? expected_dependencies actual_dependencies))
- _
- false)))
- (let [[@it registry] (<wrong_new> <wrong_expected> mandatory? expected_dependencies /.empty)]
- (case (<query> registry)
- (pattern (list))
- true
+ _
+ false)))
+ (let [[@it registry] (<wrong_new> <wrong_expected> mandatory? expected_dependencies /.empty)]
+ (case (<query> registry)
+ (pattern (list))
+ true
- _
- false)))))]
+ _
+ false)))))]
[/.definition (is category.Definition [expected_name {.#None}]) /.definitions category.#Definition /.analyser expected_name]
[/.analyser expected_name /.analysers category.#Analyser /.synthesizer expected_name]
@@ -118,63 +118,63 @@
[/.directive expected_name /.directives category.#Directive /.custom expected_name]
[/.custom expected_name /.customs category.#Custom /.definition (is category.Definition [expected_name {.#None}])]
))
- (_.cover [/.id]
- (and (~~ (template [<new> <expected>' <name>]
- [(let [<expected> <expected>'
- [@expected registry] (<new> <expected> mandatory? expected_dependencies /.empty)]
- (|> (/.id (<name> <expected>) registry)
- (maybe#each (same? @expected))
- (maybe.else false)))]
+ (_.coverage [/.id]
+ (and (~~ (template [<new> <expected>' <name>]
+ [(let [<expected> <expected>'
+ [@expected registry] (<new> <expected> mandatory? expected_dependencies /.empty)]
+ (|> (/.id (<name> <expected>) registry)
+ (maybe#each (same? @expected))
+ (maybe.else false)))]
- [/.definition (is category.Definition [expected_name {.#None}]) product.left]
- [/.analyser expected_name |>]
- [/.synthesizer expected_name |>]
- [/.generator expected_name |>]
- [/.directive expected_name |>]
- [/.custom expected_name |>]
- ))))
- (_.cover [/.artifacts]
- (and (~~ (template [<new> <query> <equivalence> <$>]
- [(let [expected/* (list#each <$> expected_names)
- [ids registry] (is [(Sequence artifact.ID) /.Registry]
- (list#mix (function (_ expected [ids registry])
- (let [[@new registry] (<new> expected mandatory? expected_dependencies registry)]
- [(sequence.suffix @new ids) registry]))
- [sequence.empty /.empty]
- expected/*))
- it (/.artifacts registry)]
- (and (n.= expected_amount (sequence.size it))
- (list.every? (function (_ [@it [it dependencies]])
- (same? @it (the artifact.#id it)))
- (list.zipped_2 (sequence.list ids) (sequence.list it)))
- (# (list.equivalence <equivalence>) = expected/* (<query> registry))))]
+ [/.definition (is category.Definition [expected_name {.#None}]) product.left]
+ [/.analyser expected_name |>]
+ [/.synthesizer expected_name |>]
+ [/.generator expected_name |>]
+ [/.directive expected_name |>]
+ [/.custom expected_name |>]
+ ))))
+ (_.coverage [/.artifacts]
+ (and (~~ (template [<new> <query> <equivalence> <$>]
+ [(let [expected/* (list#each <$> expected_names)
+ [ids registry] (is [(Sequence artifact.ID) /.Registry]
+ (list#mix (function (_ expected [ids registry])
+ (let [[@new registry] (<new> expected mandatory? expected_dependencies registry)]
+ [(sequence.suffix @new ids) registry]))
+ [sequence.empty /.empty]
+ expected/*))
+ it (/.artifacts registry)]
+ (and (n.= expected_amount (sequence.size it))
+ (list.every? (function (_ [@it [it dependencies]])
+ (same? @it (the artifact.#id it)))
+ (list.zipped_2 (sequence.list ids) (sequence.list it)))
+ (# (list.equivalence <equivalence>) = expected/* (<query> registry))))]
- [/.definition /.definitions category.definition_equivalence (is (-> Text category.Definition)
- (function (_ it)
- [it {.#None}]))]
- [/.analyser /.analysers text.equivalence (|>>)]
- [/.synthesizer /.synthesizers text.equivalence (|>>)]
- [/.generator /.generators text.equivalence (|>>)]
- [/.directive /.directives text.equivalence (|>>)]
- [/.custom /.customs text.equivalence (|>>)]
- ))))
- (_.cover [/.writer /.parser]
- (and (~~ (template [<new> <expected>' <name>]
- [(let [<expected> <expected>'
- [@expected before] (<new> <expected> mandatory? expected_dependencies /.empty)]
- (|> before
- (binary.result /.writer)
- (<binary>.result /.parser)
- (try#each (|>> (/.id (<name> <expected>))
- (maybe#each (same? @expected))
- (maybe.else false)))
- (try.else false)))]
+ [/.definition /.definitions category.definition_equivalence (is (-> Text category.Definition)
+ (function (_ it)
+ [it {.#None}]))]
+ [/.analyser /.analysers text.equivalence (|>>)]
+ [/.synthesizer /.synthesizers text.equivalence (|>>)]
+ [/.generator /.generators text.equivalence (|>>)]
+ [/.directive /.directives text.equivalence (|>>)]
+ [/.custom /.customs text.equivalence (|>>)]
+ ))))
+ (_.coverage [/.writer /.parser]
+ (and (~~ (template [<new> <expected>' <name>]
+ [(let [<expected> <expected>'
+ [@expected before] (<new> <expected> mandatory? expected_dependencies /.empty)]
+ (|> before
+ (binary.result /.writer)
+ (<binary>.result /.parser)
+ (try#each (|>> (/.id (<name> <expected>))
+ (maybe#each (same? @expected))
+ (maybe.else false)))
+ (try.else false)))]
- [/.definition (is category.Definition [expected_name {.#None}]) product.left]
- [/.analyser expected_name |>]
- [/.synthesizer expected_name |>]
- [/.generator expected_name |>]
- [/.directive expected_name |>]
- [/.custom expected_name |>]
- ))))
+ [/.definition (is category.Definition [expected_name {.#None}]) product.left]
+ [/.analyser expected_name |>]
+ [/.synthesizer expected_name |>]
+ [/.generator expected_name |>]
+ [/.directive expected_name |>]
+ [/.custom expected_name |>]
+ ))))
)))))
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux
index 7981c04c1..7321e07da 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux
@@ -42,15 +42,15 @@
(do random.monad
[left ..random
right ..random]
- (_.cover [/.description]
- (bit#= (# /.equivalence = left right)
- (text#= (/.description left) (/.description right)))))
+ (_.coverage [/.description]
+ (bit#= (# /.equivalence = left right)
+ (text#= (/.description left) (/.description right)))))
(do random.monad
[expected ..random]
- (_.cover [/.writer /.parser]
- (|> expected
- (binaryF.result /.writer)
- (<binary>.result /.parser)
- (try#each (# /.equivalence = expected))
- (try.else false))))
+ (_.coverage [/.writer /.parser]
+ (|> expected
+ (binaryF.result /.writer)
+ (<binary>.result /.parser)
+ (try#each (# /.equivalence = expected))
+ (try.else false))))
)))
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/unit.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/unit.lux
index 0bda3ebc3..fedec7da6 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive/unit.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/unit.lux
@@ -31,6 +31,6 @@
(_.for [/.hash]
($hash.spec /.hash ..random))
- (_.cover [/.none]
- (set.empty? /.none))
+ (_.coverage [/.none]
+ (set.empty? /.none))
)))
diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache.lux b/stdlib/source/test/lux/tool/compiler/meta/cache.lux
index 41e6a00e9..27e3c1ded 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/cache.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/cache.lux
@@ -36,16 +36,16 @@
outcome (/.enable! ! fs context)
post/0 (# fs directory? (/.path fs context))
post/1 (/.enabled? fs context)]
- (_.cover' [/.path /.enabled? /.enable!]
- (and (not pre/0)
- (not pre/1)
-
- (case outcome
- {try.#Success _} true
- {try.#Failure _} false)
-
- post/0
- post/1))))
+ (_.coverage' [/.path /.enabled? /.enable!]
+ (and (not pre/0)
+ (not pre/1)
+
+ (case outcome
+ {try.#Success _} true
+ {try.#Failure _} false)
+
+ post/0
+ post/1))))
/archive.test
/module.test
diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux
index f7be805d6..061dda399 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux
@@ -72,13 +72,13 @@
cached? (/.cache! fs context archive)
actual (# fs read (/.descriptor fs context))
post/0 (# fs file? (/.descriptor fs context))]
- (_.cover' [/.descriptor /.cache!]
- (and (not pre/0)
- (|> (do try.monad
- [_ enabled?
- _ cached?]
- actual)
- (try#each (binary#= expected))
- (try.else false))
- post/0))))
+ (_.coverage' [/.descriptor /.cache!]
+ (and (not pre/0)
+ (|> (do try.monad
+ [_ enabled?
+ _ cached?]
+ actual)
+ (try#each (binary#= expected))
+ (try.else false))
+ post/0))))
))))
diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux
index b27211525..319a19d7a 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux
@@ -41,13 +41,13 @@
write! (/.cache! fs context @module @artifact expected)
post (# fs file? (/.path fs context @module @artifact))
read! (/.cache fs context @module @artifact)]
- (_.cover' [/.path /.cache! /.cache]
- (and (not pre)
- (case write!
- {try.#Success _} true
- {try.#Failure _} false)
- post
- (case read!
- {try.#Success actual} (binary#= expected actual)
- {try.#Failure _} false)))))
+ (_.coverage' [/.path /.cache! /.cache]
+ (and (not pre)
+ (case write!
+ {try.#Success _} true
+ {try.#Failure _} false)
+ post
+ (case read!
+ {try.#Success actual} (binary#= expected actual)
+ {try.#Failure _} false)))))
))))
diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux
index 6605bf05e..7923e4929 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux
@@ -60,16 +60,16 @@
outcome (/.enable! ! fs context @module)
post/0 (# fs directory? (/.path fs context @module))
post/1 (/.enabled? fs context @module)]
- (_.cover' [/.path /.enabled? /.enable!]
- (and (not pre/0)
- (not pre/1)
-
- (case outcome
- {try.#Success _} true
- {try.#Failure _} false)
-
- post/0
- post/1))))
+ (_.coverage' [/.path /.enabled? /.enable!]
+ (and (not pre/0)
+ (not pre/1)
+
+ (case outcome
+ {try.#Success _} true
+ {try.#Failure _} false)
+
+ post/0
+ post/1))))
(in (do [! async.monad]
[.let [/ "/"
fs (file.mock /)]
@@ -78,17 +78,17 @@
outcome (/.enable! ! (..bad fs) context @module)
post/0 (# fs directory? (/.path fs context @module))
post/1 (/.enabled? fs context @module)]
- (_.cover' [/.cannot_enable]
- (and (not pre/0)
- (not pre/1)
-
- (case outcome
- {try.#Success _}
- false
-
- {try.#Failure error}
- (exception.match? /.cannot_enable error))
-
- (not post/0)
- (not post/1)))))
+ (_.coverage' [/.cannot_enable]
+ (and (not pre/0)
+ (not pre/1)
+
+ (case outcome
+ {try.#Success _}
+ false
+
+ {try.#Failure error}
+ (exception.match? /.cannot_enable error))
+
+ (not post/0)
+ (not post/1)))))
))))
diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux
index d84c092e3..419b247c1 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux
@@ -67,53 +67,53 @@
(all _.and
(_.for [/.Cache]
(all _.and
- (_.cover [/.valid?]
- (and (/.valid? descriptor input)
- (not (/.valid? descriptor (has ////.#module source_code input)))
- (not (/.valid? descriptor (has ////.#file source_code input)))
- (not (/.valid? descriptor (revised ////.#hash ++ input)))))
+ (_.coverage [/.valid?]
+ (and (/.valid? descriptor input)
+ (not (/.valid? descriptor (has ////.#module source_code input)))
+ (not (/.valid? descriptor (has ////.#file source_code input)))
+ (not (/.valid? descriptor (revised ////.#hash ++ input)))))
))
(_.for [/.Purge]
(all _.and
- (_.cover [/.purge]
- (and (dictionary.empty? (/.purge (list) (list)))
- (let [order (is (dependency.Order Nat)
- (list [name/0 id/0
- [archive.#module module/0
- archive.#output (sequence.sequence)
- archive.#registry registry.empty]]))]
- (and (let [cache (is (List /.Cache)
- (list [#1 name/0 id/0 module/0 registry.empty]))]
- (dictionary.empty? (/.purge cache order)))
- (let [cache (is (List /.Cache)
- (list [#0 name/0 id/0 module/0 registry.empty]))]
- (dictionary.key? (/.purge cache order) name/0))))
- (let [order (is (dependency.Order Nat)
- (list [name/0 id/0
- [archive.#module module/0
- archive.#output (sequence.sequence)
- archive.#registry registry.empty]]
- [name/1 id/1
- [archive.#module module/1
- archive.#output (sequence.sequence)
- archive.#registry registry.empty]]))]
- (and (let [cache (is (List /.Cache)
- (list [#1 name/0 id/0 module/0 registry.empty]
- [#1 name/1 id/1 module/1 registry.empty]))
- purge (/.purge cache order)]
- (dictionary.empty? purge))
- (let [cache (is (List /.Cache)
- (list [#1 name/0 id/0 module/0 registry.empty]
- [#0 name/1 id/1 module/1 registry.empty]))
- purge (/.purge cache order)]
- (and (not (dictionary.key? (/.purge cache order) name/0))
- (dictionary.key? (/.purge cache order) name/1)))
- (let [cache (is (List /.Cache)
- (list [#0 name/0 id/0 module/0 registry.empty]
- [#1 name/1 id/1 module/1 registry.empty]))
- purge (/.purge cache order)]
- (and (dictionary.key? (/.purge cache order) name/0)
- (dictionary.key? (/.purge cache order) name/1)))))))
+ (_.coverage [/.purge]
+ (and (dictionary.empty? (/.purge (list) (list)))
+ (let [order (is (dependency.Order Nat)
+ (list [name/0 id/0
+ [archive.#module module/0
+ archive.#output (sequence.sequence)
+ archive.#registry registry.empty]]))]
+ (and (let [cache (is (List /.Cache)
+ (list [#1 name/0 id/0 module/0 registry.empty]))]
+ (dictionary.empty? (/.purge cache order)))
+ (let [cache (is (List /.Cache)
+ (list [#0 name/0 id/0 module/0 registry.empty]))]
+ (dictionary.key? (/.purge cache order) name/0))))
+ (let [order (is (dependency.Order Nat)
+ (list [name/0 id/0
+ [archive.#module module/0
+ archive.#output (sequence.sequence)
+ archive.#registry registry.empty]]
+ [name/1 id/1
+ [archive.#module module/1
+ archive.#output (sequence.sequence)
+ archive.#registry registry.empty]]))]
+ (and (let [cache (is (List /.Cache)
+ (list [#1 name/0 id/0 module/0 registry.empty]
+ [#1 name/1 id/1 module/1 registry.empty]))
+ purge (/.purge cache order)]
+ (dictionary.empty? purge))
+ (let [cache (is (List /.Cache)
+ (list [#1 name/0 id/0 module/0 registry.empty]
+ [#0 name/1 id/1 module/1 registry.empty]))
+ purge (/.purge cache order)]
+ (and (not (dictionary.key? (/.purge cache order) name/0))
+ (dictionary.key? (/.purge cache order) name/1)))
+ (let [cache (is (List /.Cache)
+ (list [#0 name/0 id/0 module/0 registry.empty]
+ [#1 name/1 id/1 module/1 registry.empty]))
+ purge (/.purge cache order)]
+ (and (dictionary.key? (/.purge cache order) name/0)
+ (dictionary.key? (/.purge cache order) name/1)))))))
(in (do [! async.monad]
[_ (//module.enable! ! fs context id/0)
.let [dir (//module.path fs context id/0)
@@ -124,18 +124,18 @@
pre (# fs directory_files dir)
_ (/.purge! fs context id/0)
post (# fs directory_files dir)]
- (_.cover' [/.purge!]
- (<| (try.else false)
- (do try.monad
- [pre pre]
- (in (and (# set.equivalence =
- (set.of_list text.hash pre)
- (set.of_list text.hash (list file/0 file/1)))
- (case post
- {try.#Failure error}
- (exception.match? file.cannot_find_directory error)
+ (_.coverage' [/.purge!]
+ (<| (try.else false)
+ (do try.monad
+ [pre pre]
+ (in (and (# set.equivalence =
+ (set.of_list text.hash pre)
+ (set.of_list text.hash (list file/0 file/1)))
+ (case post
+ {try.#Failure error}
+ (exception.match? file.cannot_find_directory error)
- success
- false))))))))
+ success
+ false))))))))
))
))))
diff --git a/stdlib/source/test/lux/tool/compiler/meta/cli.lux b/stdlib/source/test/lux/tool/compiler/meta/cli.lux
index b6eca2b43..657015461 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/cli.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/cli.lux
@@ -58,18 +58,18 @@
(_.for [/.Compilation]
(`` (all _.and
(~~ (template [<type> <slot> <?>]
- [(_.cover [<type>]
- (|> (partial_list "build" compilation')
- (<cli>.result /.service)
- (try#each (|>> (pipe.case
- {/.#Compilation it}
- (|> it
- (the <slot>)
- <?>)
-
- _
- false)))
- (try.else false)))]
+ [(_.coverage [<type>]
+ (|> (partial_list "build" compilation')
+ (<cli>.result /.service)
+ (try#each (|>> (pipe.case
+ {/.#Compilation it}
+ (|> it
+ (the <slot>)
+ <?>)
+
+ _
+ false)))
+ (try.else false)))]
[/.Host_Dependency /.#host_dependencies (list#= host_dependencies)]
[/.Library /.#libraries (list#= libraries)]
@@ -80,65 +80,65 @@
[configuration.Configuration /.#configuration (configuration#= configuration)]
))
)))
- (_.cover [/.Interpretation]
- (`` (and (~~ (template [<slot> <?>]
- [(|> (partial_list "repl" compilation')
- (<cli>.result /.service)
- (try#each (|>> (pipe.case
- {/.#Interpretation it}
- (|> it
- (the <slot>)
- <?>)
-
- _
- false)))
- (try.else false))]
+ (_.coverage [/.Interpretation]
+ (`` (and (~~ (template [<slot> <?>]
+ [(|> (partial_list "repl" compilation')
+ (<cli>.result /.service)
+ (try#each (|>> (pipe.case
+ {/.#Interpretation it}
+ (|> it
+ (the <slot>)
+ <?>)
+
+ _
+ false)))
+ (try.else false))]
- [/.#host_dependencies (list#= host_dependencies)]
- [/.#libraries (list#= libraries)]
- [/.#compilers (# (list.equivalence /compiler.equivalence) = compilers)]
- [/.#sources (list#= sources)]
- [/.#target (same? target)]
- [/.#module (same? module)]
- [/.#configuration (configuration#= configuration)]
- )))))
- (_.cover [/.Export]
- (`` (and (~~ (template [<side> <?>]
- [(|> (partial_list "export" export)
- (<cli>.result /.service)
- (try#each (|>> (pipe.case
- {/.#Export it}
- (|> it
- <side>
- <?>)
-
- _
- false)))
- (try.else false))]
+ [/.#host_dependencies (list#= host_dependencies)]
+ [/.#libraries (list#= libraries)]
+ [/.#compilers (# (list.equivalence /compiler.equivalence) = compilers)]
+ [/.#sources (list#= sources)]
+ [/.#target (same? target)]
+ [/.#module (same? module)]
+ [/.#configuration (configuration#= configuration)]
+ )))))
+ (_.coverage [/.Export]
+ (`` (and (~~ (template [<side> <?>]
+ [(|> (partial_list "export" export)
+ (<cli>.result /.service)
+ (try#each (|>> (pipe.case
+ {/.#Export it}
+ (|> it
+ <side>
+ <?>)
+
+ _
+ false)))
+ (try.else false))]
- [product.left (list#= sources)]
- [product.right (same? target)]
- )))))
- (_.cover [/.target]
- (`` (and (~~ (template [<it>]
- [(same? target (/.target <it>))]
+ [product.left (list#= sources)]
+ [product.right (same? target)]
+ )))))
+ (_.coverage [/.target]
+ (`` (and (~~ (template [<it>]
+ [(same? target (/.target <it>))]
- [{/.#Compilation [/.#host_dependencies host_dependencies
- /.#libraries libraries
- /.#compilers compilers
- /.#sources sources
- /.#target target
- /.#module module
- /.#configuration configuration]}]
- [{/.#Interpretation [/.#host_dependencies host_dependencies
- /.#libraries libraries
- /.#compilers compilers
- /.#sources sources
- /.#target target
- /.#module module
- /.#configuration configuration]}]
- [{/.#Export [sources target]}]
- )))))
+ [{/.#Compilation [/.#host_dependencies host_dependencies
+ /.#libraries libraries
+ /.#compilers compilers
+ /.#sources sources
+ /.#target target
+ /.#module module
+ /.#configuration configuration]}]
+ [{/.#Interpretation [/.#host_dependencies host_dependencies
+ /.#libraries libraries
+ /.#compilers compilers
+ /.#sources sources
+ /.#target target
+ /.#module module
+ /.#configuration configuration]}]
+ [{/.#Export [sources target]}]
+ )))))
$/compiler.test
))))
diff --git a/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux b/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux
index f9048293b..accb94da5 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux
@@ -39,10 +39,10 @@
(_.for [/.equivalence]
($equivalence.spec /.equivalence ..random))
- (_.cover [/.format /.parser]
- (|> expected
- /.format
- (<text>.result /.parser)
- (try#each (# /.equivalence = expected))
- (try.else false)))
+ (_.coverage [/.format /.parser]
+ (|> expected
+ /.format
+ (<text>.result /.parser)
+ (try#each (# /.equivalence = expected))
+ (try.else false)))
))))
diff --git a/stdlib/source/test/lux/tool/compiler/meta/context.lux b/stdlib/source/test/lux/tool/compiler/meta/context.lux
index 0641b4bcd..954f34791 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/context.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/context.lux
@@ -34,23 +34,23 @@
(do [! random.monad]
[target (random.lower_case 1)]
(all _.and
- (_.cover [/.js /.jvm /.lua /.python /.ruby]
- (let [contexts (list (/.js target)
- (/.jvm target)
- (/.lua target)
- (/.python target)
- (/.ruby target))
- maximum (list.size contexts)]
- (`` (and (~~ (template [<amount> <slot>]
- [(|> contexts
- (list#each (the <slot>))
- (set.of_list text.hash)
- set.size
- (n.= <amount>))]
+ (_.coverage [/.js /.jvm /.lua /.python /.ruby]
+ (let [contexts (list (/.js target)
+ (/.jvm target)
+ (/.lua target)
+ (/.python target)
+ (/.ruby target))
+ maximum (list.size contexts)]
+ (`` (and (~~ (template [<amount> <slot>]
+ [(|> contexts
+ (list#each (the <slot>))
+ (set.of_list text.hash)
+ set.size
+ (n.= <amount>))]
- [maximum /.#host]
- [maximum /.#host_module_extension]
- [maximum /.#artifact_extension]
- [1 /.#target]
- ))))))
+ [maximum /.#host]
+ [maximum /.#host_module_extension]
+ [maximum /.#artifact_extension]
+ [1 /.#target]
+ ))))))
))))
diff --git a/stdlib/source/test/lux/tool/compiler/meta/export.lux b/stdlib/source/test/lux/tool/compiler/meta/export.lux
index 46f139850..c2fb768b2 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/export.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/export.lux
@@ -75,47 +75,47 @@
export_tar (# ! in (<binary>.result tar.parser export_tar))]
(in [library_tar export_tar]))]
(all _.and'
- (_.cover' [/.library /.mode /.ownership]
- (|> it
- (try#each (|>> product.left
- sequence.list
- (pipe.case
- (pattern (list {tar.#Normal [actual_path/0 when/0 mode/0 ownership/0 actual_content/0]}
- {tar.#Normal [actual_path/1 when/1 mode/1 ownership/1 actual_content/1]}))
- (with_expansions [<test> (and (and (text#= file/0' (tar.from_path actual_path/0))
- (same? /.mode mode/0)
- (same? /.ownership ownership/0)
- (binary#= content/0 (tar.data actual_content/0)))
- (and (text#= file/1' (tar.from_path actual_path/1))
- (same? /.mode mode/1)
- (same? /.ownership ownership/1)
- (binary#= content/1 (tar.data actual_content/1))))]
- (or <test>
- (let [[[actual_path/0 actual_content/0] [actual_path/1 actual_content/1]]
- [[actual_path/1 actual_content/1] [actual_path/0 actual_content/0]]]
- <test>)))
-
- _
- false)))
- (try.else false)))
- (_.cover' [/.export /.file]
- (|> it
- (try#each (|>> product.right
- sequence.list
- (pipe.case
- (pattern (list {tar.#Normal [actual_path/0 _ _ _ actual_content/0]}
- {tar.#Normal [actual_path/1 _ _ _ actual_content/1]}))
- (with_expansions [<test> (and (and (text#= file/0' (tar.from_path actual_path/0))
- (binary#= content/0 (tar.data actual_content/0)))
- (and (text#= file/1' (tar.from_path actual_path/1))
- (binary#= content/1 (tar.data actual_content/1))))]
- (or <test>
- (let [[[actual_path/0 actual_content/0] [actual_path/1 actual_content/1]]
- [[actual_path/1 actual_content/1] [actual_path/0 actual_content/0]]]
- <test>)))
-
- _
- false)))
- (try.else false)))
+ (_.coverage' [/.library /.mode /.ownership]
+ (|> it
+ (try#each (|>> product.left
+ sequence.list
+ (pipe.case
+ (pattern (list {tar.#Normal [actual_path/0 when/0 mode/0 ownership/0 actual_content/0]}
+ {tar.#Normal [actual_path/1 when/1 mode/1 ownership/1 actual_content/1]}))
+ (with_expansions [<test> (and (and (text#= file/0' (tar.from_path actual_path/0))
+ (same? /.mode mode/0)
+ (same? /.ownership ownership/0)
+ (binary#= content/0 (tar.data actual_content/0)))
+ (and (text#= file/1' (tar.from_path actual_path/1))
+ (same? /.mode mode/1)
+ (same? /.ownership ownership/1)
+ (binary#= content/1 (tar.data actual_content/1))))]
+ (or <test>
+ (let [[[actual_path/0 actual_content/0] [actual_path/1 actual_content/1]]
+ [[actual_path/1 actual_content/1] [actual_path/0 actual_content/0]]]
+ <test>)))
+
+ _
+ false)))
+ (try.else false)))
+ (_.coverage' [/.export /.file]
+ (|> it
+ (try#each (|>> product.right
+ sequence.list
+ (pipe.case
+ (pattern (list {tar.#Normal [actual_path/0 _ _ _ actual_content/0]}
+ {tar.#Normal [actual_path/1 _ _ _ actual_content/1]}))
+ (with_expansions [<test> (and (and (text#= file/0' (tar.from_path actual_path/0))
+ (binary#= content/0 (tar.data actual_content/0)))
+ (and (text#= file/1' (tar.from_path actual_path/1))
+ (binary#= content/1 (tar.data actual_content/1))))]
+ (or <test>
+ (let [[[actual_path/0 actual_content/0] [actual_path/1 actual_content/1]]
+ [[actual_path/1 actual_content/1] [actual_path/0 actual_content/0]]]
+ <test>)))
+
+ _
+ false)))
+ (try.else false)))
)))
))))
diff --git a/stdlib/source/test/lux/tool/compiler/meta/import.lux b/stdlib/source/test/lux/tool/compiler/meta/import.lux
index a0710729f..1c59ed494 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/import.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/import.lux
@@ -119,21 +119,21 @@
_ (# fs write library/0 library_content/0)
_ (# fs write library/1 library_content/1)]
(/.import fs (list library/0 library/1)))]
- (_.cover' [/.import]
- (and (|> it/0
- (try#each imported?)
- (try.else false))
- (|> it/1
- (try#each imported?)
- (try.else false))))))
+ (_.coverage' [/.import]
+ (and (|> it/0
+ (try#each imported?)
+ (try.else false))
+ (|> it/1
+ (try#each imported?)
+ (try.else false))))))
(in (do [! async.monad]
[it (do (try.with !)
[.let [fs (file.mock /)]
_ (# fs write library/0 library_content)
_ (/.import fs (list library/0 library/0))]
(in false))]
- (_.cover' [/.duplicate]
- (exception.otherwise (exception.match? /.duplicate) it))))
+ (_.coverage' [/.duplicate]
+ (exception.otherwise (exception.match? /.duplicate) it))))
(in (do [! async.monad]
[it/0 (do (try.with !)
[.let [fs (file.mock /)]
@@ -150,8 +150,8 @@
_ (# fs write library/0 library_content/-2)
_ (/.import fs (list library/0))]
(in false))]
- (_.cover' [/.useless_tar_entry]
- (and (exception.otherwise (exception.match? /.useless_tar_entry) it/0)
- (exception.otherwise (exception.match? /.useless_tar_entry) it/1)
- (exception.otherwise (exception.match? /.useless_tar_entry) it/2)))))
+ (_.coverage' [/.useless_tar_entry]
+ (and (exception.otherwise (exception.match? /.useless_tar_entry) it/0)
+ (exception.otherwise (exception.match? /.useless_tar_entry) it/1)
+ (exception.otherwise (exception.match? /.useless_tar_entry) it/2)))))
))))
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-08 09:03:39 +0000