diff options
Diffstat (limited to 'stdlib/source/test/aedifex')
46 files changed, 137 insertions, 91 deletions
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux index 53ae67d84..621af00af 100644 --- a/stdlib/source/test/aedifex/artifact.lux +++ b/stdlib/source/test/aedifex/artifact.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [hash (.only Hash)] @@ -16,7 +15,9 @@ [world ["[0]" file] [net - ["[0]" uri]]]]] + ["[0]" uri]]] + [test + ["_" property (.only Test)]]]] ["[0]" / ["[1][0]" extension] ["[1][0]" snapshot] diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux index 7024ed43b..17267bdab 100644 --- a/stdlib/source/test/aedifex/artifact/extension.lux +++ b/stdlib/source/test/aedifex/artifact/extension.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [data @@ -12,7 +11,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\program ["[0]" / (.only) ["/[1]" // diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux index 8312e69f0..9a71acb9c 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -13,7 +12,9 @@ ["[0]" xml ["<[1]>" \\parser]]]] [math - ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]]] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)]] + [test + ["_" property (.only Test)]]]] ["$[0]" / ["[1][0]" build] ["[1][0]" stamp] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux index c0016b9a6..53be5d10f 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -13,7 +12,9 @@ ["[0]" xml ["<[1]>" \\parser]]]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\program ["[0]" /]]) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux index 2b4265932..eba776e33 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -16,7 +15,9 @@ ["[0]" random (.only Random)]] [world [time - ["[0]" instant]]]]] + ["[0]" instant]]] + [test + ["_" property (.only Test)]]]] [\\program ["[0]" /]] ["$[0]" // diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux index 0a748e1b4..40f181552 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -12,7 +11,9 @@ ["[0]" text ["<[1]>" \\parser]]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\program ["[0]" /]] ["$[0]" /// diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux index 5285d7598..31336c5df 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -13,7 +12,9 @@ ["[0]" xml ["<[1]>" \\parser]]]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\program ["[0]" /]] ["[0]" / diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index 525c4ec32..470cd66c7 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -18,7 +17,9 @@ ["n" nat] ["i" int]]] [time - ["[0]" instant]]]] + ["[0]" instant]] + [test + ["_" property (.only Test)]]]] ["$[0]" /// ["[1][0]" stamp]] [\\program diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux index 2c7d29269..d26f6d55b 100644 --- a/stdlib/source/test/aedifex/artifact/time.lux +++ b/stdlib/source/test/aedifex/artifact/time.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -17,7 +16,9 @@ ["i" int]]] [world [time - ["[0]" instant (.use "[1]#[0]" equivalence)]]]]] + ["[0]" instant (.use "[1]#[0]" equivalence)]]] + [test + ["_" property (.only Test)]]]] [\\program ["[0]" /]] ["[0]" / diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux index a97bcbb8f..e50626c79 100644 --- a/stdlib/source/test/aedifex/artifact/time/date.lux +++ b/stdlib/source/test/aedifex/artifact/time/date.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -19,7 +18,9 @@ ["i" int]]] [time ["[0]" date (.use "[1]#[0]" equivalence)] - ["[0]" year]]]] + ["[0]" year]] + [test + ["_" property (.only Test)]]]] [\\program ["[0]" /]]) diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux index 288d6169e..d4bc90f4e 100644 --- a/stdlib/source/test/aedifex/artifact/time/time.lux +++ b/stdlib/source/test/aedifex/artifact/time/time.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] ["[0]" time] [abstract [monad (.only do)]] @@ -14,7 +13,9 @@ ["[0]" random (.only Random)] [number ["n" nat] - ["i" int]]]]] + ["i" int]]] + [test + ["_" property (.only Test)]]]] [\\program ["[0]" /]]) diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux index cf47b1ec5..60ec8e199 100644 --- a/stdlib/source/test/aedifex/artifact/type.lux +++ b/stdlib/source/test/aedifex/artifact/type.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [data @@ -12,7 +11,9 @@ [math ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\program ["[0]" /]]) diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux index fede17e9f..71d9ad175 100644 --- a/stdlib/source/test/aedifex/artifact/versioning.lux +++ b/stdlib/source/test/aedifex/artifact/versioning.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -13,7 +12,9 @@ ["[0]" xml ["<[1]>" \\parser]]]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\program ["[0]" /]] ["$[0]" // diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux index 9dbb8405b..f6c75114f 100644 --- a/stdlib/source/test/aedifex/cache.lux +++ b/stdlib/source/test/aedifex/cache.lux @@ -25,8 +25,9 @@ [world ["[0]" file] ["[0]" program]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] [// ["@[0]" profile] ["@[0]" artifact] diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux index b83d643b8..a27e90074 100644 --- a/stdlib/source/test/aedifex/cli.lux +++ b/stdlib/source/test/aedifex/cli.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -16,7 +15,9 @@ [collection ["[0]" list]]] [math - ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]]] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)]] + [test + ["_" property (.only Test)]]]] [\\program ["[0]" / (.only) ["/[1]" // diff --git a/stdlib/source/test/aedifex/command.lux b/stdlib/source/test/aedifex/command.lux index 27206b0b7..2169da3fa 100644 --- a/stdlib/source/test/aedifex/command.lux +++ b/stdlib/source/test/aedifex/command.lux @@ -1,7 +1,8 @@ (.require [library [lux (.except) - ["_" test (.only Test)]]] + [test + ["_" property (.only Test)]]]] ["[0]" / ["[1][0]" version] ["[1][0]" pom] diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux index 10c249e3e..5dc092327 100644 --- a/stdlib/source/test/aedifex/command/auto.lux +++ b/stdlib/source/test/aedifex/command/auto.lux @@ -31,8 +31,9 @@ ["[0]" watch]] [time ["[0]" instant]]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] ["[0]" // ["$[0]" version] ["$[0]" build]] diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux index 81907a9ad..9aea4828c 100644 --- a/stdlib/source/test/aedifex/command/build.lux +++ b/stdlib/source/test/aedifex/command/build.lux @@ -22,8 +22,9 @@ ["[0]" file] ["[0]" shell (.only Shell)] ["[0]" program]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] ["[0]" // ["@[0]" version] ["$/[1]" // diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux index bbc47ccfe..b33d6d911 100644 --- a/stdlib/source/test/aedifex/command/clean.lux +++ b/stdlib/source/test/aedifex/command/clean.lux @@ -21,8 +21,9 @@ ["n" nat]]] [world ["[0]" file (.only Path)]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] [// ["@[0]" version] [// diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux index dfa352553..55fac78c6 100644 --- a/stdlib/source/test/aedifex/command/deploy.lux +++ b/stdlib/source/test/aedifex/command/deploy.lux @@ -32,8 +32,9 @@ ["[0]" file] ["[0]" program (.only Program)] ["[0]" shell]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] [// ["$[0]" build] ["$[0]" install] diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux index 905afb575..15d5e3986 100644 --- a/stdlib/source/test/aedifex/command/deps.lux +++ b/stdlib/source/test/aedifex/command/deps.lux @@ -25,8 +25,9 @@ [world ["[0]" program] ["[0]" file]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] ["[0]" // ["@[0]" version] ["$/[1]" // diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux index 930cc17f4..ff8bca5e9 100644 --- a/stdlib/source/test/aedifex/command/install.lux +++ b/stdlib/source/test/aedifex/command/install.lux @@ -21,8 +21,9 @@ [world ["[0]" file] ["[0]" program (.only Program)]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] [// ["$[0]" version] [// diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux index 21deefa0f..32a10f8a3 100644 --- a/stdlib/source/test/aedifex/command/pom.lux +++ b/stdlib/source/test/aedifex/command/pom.lux @@ -18,8 +18,9 @@ ["[0]" random]] [world ["[0]" file]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] [// ["@[0]" version] [// diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux index 440123f65..1209b4020 100644 --- a/stdlib/source/test/aedifex/command/test.lux +++ b/stdlib/source/test/aedifex/command/test.lux @@ -21,8 +21,9 @@ ["[0]" file] ["[0]" shell] ["[0]" program]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] ["[0]" // ["@[0]" version] ["@[0]" build] diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux index 1becba8d2..7d2877738 100644 --- a/stdlib/source/test/aedifex/command/version.lux +++ b/stdlib/source/test/aedifex/command/version.lux @@ -20,8 +20,9 @@ ["[0]" version]]] [world ["[0]" console (.only Console Mock)]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] [/// ["@[0]" profile]] [\\program diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux index 0a01d3dfe..fbed2aaaa 100644 --- a/stdlib/source/test/aedifex/dependency.lux +++ b/stdlib/source/test/aedifex/dependency.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -9,7 +8,9 @@ ["$[0]" order] ["$[0]" hash]]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [// ["@[0]" artifact]] [\\program diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux index 2eeb0abb8..dbc458897 100644 --- a/stdlib/source/test/aedifex/dependency/deployment.lux +++ b/stdlib/source/test/aedifex/dependency/deployment.lux @@ -31,8 +31,9 @@ ["[1]" client] ["[1]/[0]" status] ["@[1]" /]]]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] ["$[0]" // (.only) ["[1]/" // ["[1][0]" package]]] diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux index 153d4b4ac..6bc81298e 100644 --- a/stdlib/source/test/aedifex/dependency/resolution.lux +++ b/stdlib/source/test/aedifex/dependency/resolution.lux @@ -26,8 +26,9 @@ ["[0]" list]]] [math ["[0]" random (.only Random)]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] ["$[0]" /// ["[1][0]" package] ["[1][0]" repository] diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux index bbb7188cb..b61d35630 100644 --- a/stdlib/source/test/aedifex/dependency/status.lux +++ b/stdlib/source/test/aedifex/dependency/status.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -10,7 +9,9 @@ ["[0]" binary ["[1]T" \\test]]] [math - ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]]] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)]] + [test + ["_" property (.only Test)]]]] ["$[0]" /// ["[1][0]" hash]] [\\program diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux index 0bce4febc..61cb569fa 100644 --- a/stdlib/source/test/aedifex/hash.lux +++ b/stdlib/source/test/aedifex/hash.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -17,7 +16,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\program ["[0]" /]] [test diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux index b9f8195f6..9c296e12c 100644 --- a/stdlib/source/test/aedifex/input.lux +++ b/stdlib/source/test/aedifex/input.lux @@ -18,8 +18,9 @@ ["[0]" random]] [world ["[0]" file]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] [// ["$[0]" profile]] [\\program diff --git a/stdlib/source/test/aedifex/local.lux b/stdlib/source/test/aedifex/local.lux index d621d683c..66702a2e3 100644 --- a/stdlib/source/test/aedifex/local.lux +++ b/stdlib/source/test/aedifex/local.lux @@ -1,13 +1,14 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [data ["[0]" text]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [// ["@[0]" artifact]] [\\program diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux index 00e8062a6..3392f6782 100644 --- a/stdlib/source/test/aedifex/metadata.lux +++ b/stdlib/source/test/aedifex/metadata.lux @@ -1,13 +1,14 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [data ["[0]" text (.use "[1]#[0]" equivalence)]] [math - ["[0]" random]]]] + ["[0]" random]] + [test + ["_" property (.only Test)]]]] ["[0]" / ["[1][0]" artifact] ["[1][0]" snapshot] diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux index 1e05fbc3a..f67d1e130 100644 --- a/stdlib/source/test/aedifex/metadata/artifact.lux +++ b/stdlib/source/test/aedifex/metadata/artifact.lux @@ -34,8 +34,9 @@ ["[0]" month] ["[0]" instant] ["[0]" duration]]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] [\\program ["[0]" / (.only) ["/[1]" // (.only) diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux index 983b78d6d..b41a6ce15 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -34,8 +34,9 @@ ["[0]" month] ["[0]" instant (.only Instant)] ["[0]" duration]]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] ["$[0]" /// ["[1][0]" artifact ["[1]/[0]" type] diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux index 770bbee0a..035765b17 100644 --- a/stdlib/source/test/aedifex/package.lux +++ b/stdlib/source/test/aedifex/package.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -22,7 +21,9 @@ [number ["n" nat]]] [world - ["[0]" file]]]] + ["[0]" file]] + [test + ["_" property (.only Test)]]]] [// ["$[0]" profile] [// diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux index 01daa640e..fb2852701 100644 --- a/stdlib/source/test/aedifex/parser.lux +++ b/stdlib/source/test/aedifex/parser.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [hash (.only Hash)]] @@ -20,7 +19,9 @@ ["n" nat]]] [meta ["[0]" code (.only) - ["<[1]>" \\parser]]]]] + ["<[1]>" \\parser]]] + [test + ["_" property (.only Test)]]]] [// ["@[0]" profile]] [\\program diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux index 8bb184347..c6283f30d 100644 --- a/stdlib/source/test/aedifex/pom.lux +++ b/stdlib/source/test/aedifex/pom.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -14,7 +13,9 @@ ["[0]" xml (.only) ["<[1]>" \\parser]]]] [math - ["[0]" random]]]] + ["[0]" random]] + [test + ["_" property (.only Test)]]]] [// ["@[0]" profile]] [\\program diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index dbbfdf6b0..9a2c5ba3c 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [hash (.only Hash)] @@ -26,7 +25,9 @@ [meta [cli ["[0]" compiler (.only) - ["$[1]" \\test]]]]]]]] + ["$[1]" \\test]]]]]] + [test + ["_" property (.only Test)]]]] [// ["@[0]" artifact] ["@[0]" dependency]] diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux index 5f4ebe03e..2db5873e8 100644 --- a/stdlib/source/test/aedifex/project.lux +++ b/stdlib/source/test/aedifex/project.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -16,7 +15,9 @@ [math ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [// ["@[0]" profile]] [\\program diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux index b76a8f1f1..72c36f74b 100644 --- a/stdlib/source/test/aedifex/repository.lux +++ b/stdlib/source/test/aedifex/repository.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [equivalence (.only Equivalence)] [hash (.only Hash)] @@ -21,7 +20,9 @@ ["[0]" random (.only Random)]] [world [net - ["[0]" uri (.only URI)]]]]] + ["[0]" uri (.only URI)]]] + [test + ["_" property (.only Test)]]]] ["[0]" / ["[1][0]" identity] ["[1][0]" origin] diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux index 5c9d77792..8fd54bad8 100644 --- a/stdlib/source/test/aedifex/repository/identity.lux +++ b/stdlib/source/test/aedifex/repository/identity.lux @@ -1,12 +1,13 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [\\specification ["$[0]" equivalence]]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\program ["[0]" /]]) diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux index 811a8e4e9..52a91bea6 100644 --- a/stdlib/source/test/aedifex/repository/local.lux +++ b/stdlib/source/test/aedifex/repository/local.lux @@ -19,8 +19,9 @@ [world ["[0]" file] ["[0]" program]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] [\\program ["[0]" /]]) diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux index b99739009..e07040106 100644 --- a/stdlib/source/test/aedifex/repository/origin.lux +++ b/stdlib/source/test/aedifex/repository/origin.lux @@ -1,12 +1,13 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [\\specification ["$[0]" equivalence]]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\program ["[0]" /]]) diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux index ceec7c9ec..a5380ddec 100644 --- a/stdlib/source/test/aedifex/repository/remote.lux +++ b/stdlib/source/test/aedifex/repository/remote.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -25,7 +24,9 @@ ["[0]" http ["[1]" client] ["[1]/[0]" status] - ["@[1]" /]]]]]] + ["@[1]" /]]]] + [test + ["_" property (.only Test)]]]] [\\program ["[0]" / (.only) ["/[1]" // diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux index 2a10e763e..f48f0eb03 100644 --- a/stdlib/source/test/aedifex/runtime.lux +++ b/stdlib/source/test/aedifex/runtime.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -16,7 +15,9 @@ [math ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\program ["[0]" /]]) |