aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/tool/compiler/meta/cli.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cli.lux136
1 files changed, 68 insertions, 68 deletions
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
))))