From 68d78235694c633c956bb9e8a007cad7d65370bc Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 10 Aug 2022 19:38:43 -0400 Subject: Extracted property-based testing machinery into its own module. --- stdlib/source/test/aedifex.lux | 5 +- stdlib/source/test/aedifex/artifact.lux | 5 +- stdlib/source/test/aedifex/artifact/extension.lux | 5 +- stdlib/source/test/aedifex/artifact/snapshot.lux | 5 +- .../test/aedifex/artifact/snapshot/build.lux | 5 +- .../test/aedifex/artifact/snapshot/stamp.lux | 5 +- .../source/test/aedifex/artifact/snapshot/time.lux | 5 +- .../test/aedifex/artifact/snapshot/version.lux | 5 +- .../aedifex/artifact/snapshot/version/value.lux | 5 +- stdlib/source/test/aedifex/artifact/time.lux | 5 +- stdlib/source/test/aedifex/artifact/time/date.lux | 5 +- stdlib/source/test/aedifex/artifact/time/time.lux | 5 +- stdlib/source/test/aedifex/artifact/type.lux | 5 +- stdlib/source/test/aedifex/artifact/versioning.lux | 5 +- stdlib/source/test/aedifex/cache.lux | 5 +- stdlib/source/test/aedifex/cli.lux | 5 +- stdlib/source/test/aedifex/command.lux | 3 +- stdlib/source/test/aedifex/command/auto.lux | 5 +- stdlib/source/test/aedifex/command/build.lux | 5 +- stdlib/source/test/aedifex/command/clean.lux | 5 +- stdlib/source/test/aedifex/command/deploy.lux | 5 +- stdlib/source/test/aedifex/command/deps.lux | 5 +- stdlib/source/test/aedifex/command/install.lux | 5 +- stdlib/source/test/aedifex/command/pom.lux | 5 +- stdlib/source/test/aedifex/command/test.lux | 5 +- stdlib/source/test/aedifex/command/version.lux | 5 +- stdlib/source/test/aedifex/dependency.lux | 5 +- .../source/test/aedifex/dependency/deployment.lux | 5 +- .../source/test/aedifex/dependency/resolution.lux | 5 +- stdlib/source/test/aedifex/dependency/status.lux | 5 +- stdlib/source/test/aedifex/hash.lux | 5 +- stdlib/source/test/aedifex/input.lux | 5 +- stdlib/source/test/aedifex/local.lux | 5 +- stdlib/source/test/aedifex/metadata.lux | 5 +- stdlib/source/test/aedifex/metadata/artifact.lux | 5 +- stdlib/source/test/aedifex/metadata/snapshot.lux | 5 +- stdlib/source/test/aedifex/package.lux | 5 +- stdlib/source/test/aedifex/parser.lux | 5 +- stdlib/source/test/aedifex/pom.lux | 5 +- stdlib/source/test/aedifex/profile.lux | 5 +- stdlib/source/test/aedifex/project.lux | 5 +- stdlib/source/test/aedifex/repository.lux | 5 +- stdlib/source/test/aedifex/repository/identity.lux | 5 +- stdlib/source/test/aedifex/repository/local.lux | 5 +- stdlib/source/test/aedifex/repository/origin.lux | 5 +- stdlib/source/test/aedifex/repository/remote.lux | 5 +- stdlib/source/test/aedifex/runtime.lux | 5 +- stdlib/source/test/lux.lux | 29 +- stdlib/source/test/lux/abstract.lux | 3 +- stdlib/source/test/lux/abstract/apply.lux | 5 +- stdlib/source/test/lux/abstract/codec.lux | 5 +- stdlib/source/test/lux/abstract/comonad.lux | 5 +- stdlib/source/test/lux/abstract/comonad/free.lux | 5 +- stdlib/source/test/lux/abstract/enum.lux | 5 +- stdlib/source/test/lux/abstract/equivalence.lux | 5 +- stdlib/source/test/lux/abstract/functor.lux | 5 +- .../test/lux/abstract/functor/contravariant.lux | 3 +- stdlib/source/test/lux/abstract/hash.lux | 5 +- stdlib/source/test/lux/abstract/interval.lux | 5 +- stdlib/source/test/lux/abstract/mix.lux | 5 +- stdlib/source/test/lux/abstract/monad.lux | 5 +- stdlib/source/test/lux/abstract/monad/free.lux | 5 +- stdlib/source/test/lux/abstract/monoid.lux | 5 +- stdlib/source/test/lux/abstract/order.lux | 5 +- stdlib/source/test/lux/control.lux | 3 +- stdlib/source/test/lux/control/concatenative.lux | 5 +- .../source/test/lux/control/concurrency/actor.lux | 3 +- .../source/test/lux/control/concurrency/async.lux | 3 +- .../source/test/lux/control/concurrency/atom.lux | 5 +- stdlib/source/test/lux/control/concurrency/frp.lux | 3 +- .../test/lux/control/concurrency/semaphore.lux | 3 +- stdlib/source/test/lux/control/concurrency/stm.lux | 3 +- .../source/test/lux/control/concurrency/thread.lux | 3 +- stdlib/source/test/lux/control/continuation.lux | 5 +- stdlib/source/test/lux/control/exception.lux | 5 +- stdlib/source/test/lux/control/function.lux | 5 +- .../source/test/lux/control/function/contract.lux | 5 +- stdlib/source/test/lux/control/function/inline.lux | 5 +- stdlib/source/test/lux/control/function/memo.lux | 5 +- stdlib/source/test/lux/control/function/mixin.lux | 5 +- stdlib/source/test/lux/control/function/mutual.lux | 5 +- .../source/test/lux/control/function/predicate.lux | 5 +- stdlib/source/test/lux/control/io.lux | 5 +- stdlib/source/test/lux/control/lazy.lux | 5 +- stdlib/source/test/lux/control/maybe.lux | 5 +- stdlib/source/test/lux/control/parser.lux | 5 +- stdlib/source/test/lux/control/pipe.lux | 5 +- stdlib/source/test/lux/control/reader.lux | 5 +- stdlib/source/test/lux/control/region.lux | 5 +- stdlib/source/test/lux/control/remember.lux | 5 +- .../test/lux/control/security/capability.lux | 3 +- stdlib/source/test/lux/control/security/policy.lux | 5 +- stdlib/source/test/lux/control/state.lux | 5 +- stdlib/source/test/lux/control/thread.lux | 5 +- stdlib/source/test/lux/control/try.lux | 5 +- stdlib/source/test/lux/control/writer.lux | 5 +- stdlib/source/test/lux/data.lux | 5 +- stdlib/source/test/lux/data/binary.lux | 5 +- stdlib/source/test/lux/data/bit.lux | 5 +- stdlib/source/test/lux/data/collection.lux | 3 +- stdlib/source/test/lux/data/collection/array.lux | 5 +- stdlib/source/test/lux/data/collection/bits.lux | 5 +- .../source/test/lux/data/collection/dictionary.lux | 5 +- .../lux/data/collection/dictionary/ordered.lux | 5 +- stdlib/source/test/lux/data/collection/list.lux | 5 +- .../test/lux/data/collection/list/property.lux | 5 +- stdlib/source/test/lux/data/collection/queue.lux | 5 +- .../test/lux/data/collection/queue/priority.lux | 5 +- .../source/test/lux/data/collection/sequence.lux | 5 +- stdlib/source/test/lux/data/collection/set.lux | 5 +- .../source/test/lux/data/collection/set/multi.lux | 5 +- .../test/lux/data/collection/set/ordered.lux | 5 +- stdlib/source/test/lux/data/collection/stack.lux | 5 +- stdlib/source/test/lux/data/collection/stream.lux | 5 +- stdlib/source/test/lux/data/collection/tree.lux | 5 +- .../test/lux/data/collection/tree/finger.lux | 5 +- .../test/lux/data/collection/tree/zipper.lux | 5 +- stdlib/source/test/lux/data/color.lux | 5 +- stdlib/source/test/lux/data/color/named.lux | 5 +- stdlib/source/test/lux/data/format/json.lux | 5 +- stdlib/source/test/lux/data/format/tar.lux | 5 +- stdlib/source/test/lux/data/format/xml.lux | 5 +- stdlib/source/test/lux/data/identity.lux | 5 +- stdlib/source/test/lux/data/product.lux | 5 +- stdlib/source/test/lux/data/sum.lux | 5 +- stdlib/source/test/lux/data/text.lux | 5 +- stdlib/source/test/lux/data/text/buffer.lux | 5 +- stdlib/source/test/lux/data/text/encoding.lux | 5 +- stdlib/source/test/lux/data/text/encoding/utf8.lux | 5 +- stdlib/source/test/lux/data/text/escape.lux | 5 +- stdlib/source/test/lux/data/text/regex.lux | 5 +- stdlib/source/test/lux/data/text/unicode/block.lux | 5 +- stdlib/source/test/lux/data/text/unicode/set.lux | 5 +- stdlib/source/test/lux/debug.lux | 5 +- stdlib/source/test/lux/documentation.lux | 5 +- stdlib/source/test/lux/ffi.js.lux | 5 +- stdlib/source/test/lux/ffi.jvm.lux | 5 +- stdlib/source/test/lux/ffi.lua.lux | 5 +- stdlib/source/test/lux/ffi.old.lux | 5 +- stdlib/source/test/lux/ffi.php.lux | 5 +- stdlib/source/test/lux/ffi.py.lux | 5 +- stdlib/source/test/lux/ffi.rb.lux | 5 +- stdlib/source/test/lux/ffi.scm.lux | 5 +- stdlib/source/test/lux/ffi/export.js.lux | 5 +- stdlib/source/test/lux/ffi/export.jvm.lux | 5 +- stdlib/source/test/lux/ffi/export.lua.lux | 5 +- stdlib/source/test/lux/ffi/export.py.lux | 5 +- stdlib/source/test/lux/ffi/export.rb.lux | 5 +- stdlib/source/test/lux/math.lux | 5 +- stdlib/source/test/lux/math/infix.lux | 5 +- stdlib/source/test/lux/math/logic/continuous.lux | 5 +- stdlib/source/test/lux/math/logic/fuzzy.lux | 5 +- stdlib/source/test/lux/math/modular.lux | 5 +- stdlib/source/test/lux/math/modulus.lux | 5 +- stdlib/source/test/lux/math/number.lux | 5 +- stdlib/source/test/lux/math/number/complex.lux | 5 +- stdlib/source/test/lux/math/number/frac.lux | 5 +- stdlib/source/test/lux/math/number/i16.lux | 5 +- stdlib/source/test/lux/math/number/i32.lux | 5 +- stdlib/source/test/lux/math/number/i64.lux | 5 +- stdlib/source/test/lux/math/number/i8.lux | 5 +- stdlib/source/test/lux/math/number/int.lux | 5 +- stdlib/source/test/lux/math/number/nat.lux | 5 +- stdlib/source/test/lux/math/number/ratio.lux | 5 +- stdlib/source/test/lux/math/number/rev.lux | 5 +- stdlib/source/test/lux/meta.lux | 5 +- stdlib/source/test/lux/meta/code.lux | 5 +- stdlib/source/test/lux/meta/compiler/arity.lux | 5 +- .../lux/meta/compiler/language/lux/analysis.lux | 5 +- .../compiler/language/lux/analysis/complex.lux | 5 +- .../compiler/language/lux/analysis/coverage.lux | 5 +- .../compiler/language/lux/analysis/inference.lux | 5 +- .../meta/compiler/language/lux/analysis/macro.lux | 5 +- .../meta/compiler/language/lux/analysis/module.lux | 5 +- .../compiler/language/lux/analysis/pattern.lux | 5 +- .../meta/compiler/language/lux/analysis/scope.lux | 5 +- .../meta/compiler/language/lux/analysis/simple.lux | 5 +- .../meta/compiler/language/lux/analysis/type.lux | 5 +- .../meta/compiler/language/lux/phase/analysis.lux | 5 +- .../compiler/language/lux/phase/analysis/case.lux | 5 +- .../language/lux/phase/analysis/complex.lux | 5 +- .../language/lux/phase/analysis/function.lux | 5 +- .../language/lux/phase/analysis/reference.lux | 5 +- .../language/lux/phase/analysis/simple.lux | 5 +- .../meta/compiler/language/lux/phase/extension.lux | 5 +- .../language/lux/phase/extension/analysis/lux.lux | 40 +-- .../meta/compiler/language/lux/phase/synthesis.lux | 6 +- .../compiler/language/lux/phase/synthesis/case.lux | 46 +-- .../language/lux/phase/synthesis/function.lux | 44 +-- .../compiler/language/lux/phase/synthesis/loop.lux | 30 +- .../language/lux/phase/synthesis/primitive.lux | 32 ++- .../language/lux/phase/synthesis/structure.lux | 40 +-- .../language/lux/phase/synthesis/variable.lux | 42 +-- .../test/lux/meta/compiler/language/lux/syntax.lux | 5 +- .../lux/meta/compiler/language/lux/synthesis.lux | 5 +- .../compiler/language/lux/synthesis/access.lux | 3 +- .../language/lux/synthesis/access/member.lux | 5 +- .../language/lux/synthesis/access/side.lux | 5 +- .../compiler/language/lux/synthesis/simple.lux | 5 +- .../source/test/lux/meta/compiler/meta/archive.lux | 5 +- .../lux/meta/compiler/meta/archive/artifact.lux | 5 +- .../compiler/meta/archive/artifact/category.lux | 5 +- .../test/lux/meta/compiler/meta/archive/key.lux | 5 +- .../test/lux/meta/compiler/meta/archive/module.lux | 5 +- .../compiler/meta/archive/module/descriptor.lux | 5 +- .../meta/compiler/meta/archive/module/document.lux | 5 +- .../lux/meta/compiler/meta/archive/registry.lux | 5 +- .../lux/meta/compiler/meta/archive/signature.lux | 5 +- .../test/lux/meta/compiler/meta/archive/unit.lux | 5 +- .../source/test/lux/meta/compiler/meta/cache.lux | 5 +- .../test/lux/meta/compiler/meta/cache/archive.lux | 5 +- .../test/lux/meta/compiler/meta/cache/artifact.lux | 5 +- .../test/lux/meta/compiler/meta/cache/module.lux | 5 +- .../test/lux/meta/compiler/meta/cache/purge.lux | 5 +- stdlib/source/test/lux/meta/compiler/meta/cli.lux | 5 +- .../test/lux/meta/compiler/meta/cli/compiler.lux | 5 +- .../source/test/lux/meta/compiler/meta/context.lux | 5 +- .../source/test/lux/meta/compiler/meta/export.lux | 5 +- .../source/test/lux/meta/compiler/meta/import.lux | 5 +- stdlib/source/test/lux/meta/compiler/phase.lux | 5 +- stdlib/source/test/lux/meta/compiler/reference.lux | 5 +- .../test/lux/meta/compiler/reference/variable.lux | 5 +- stdlib/source/test/lux/meta/compiler/version.lux | 5 +- stdlib/source/test/lux/meta/configuration.lux | 5 +- stdlib/source/test/lux/meta/extension.lux | 5 +- stdlib/source/test/lux/meta/location.lux | 5 +- stdlib/source/test/lux/meta/macro.lux | 5 +- stdlib/source/test/lux/meta/macro/context.lux | 3 +- stdlib/source/test/lux/meta/macro/local.lux | 5 +- stdlib/source/test/lux/meta/macro/pattern.lux | 5 +- stdlib/source/test/lux/meta/macro/syntax.lux | 5 +- stdlib/source/test/lux/meta/macro/syntax/check.lux | 5 +- .../test/lux/meta/macro/syntax/declaration.lux | 5 +- .../test/lux/meta/macro/syntax/definition.lux | 5 +- .../source/test/lux/meta/macro/syntax/export.lux | 5 +- stdlib/source/test/lux/meta/macro/syntax/input.lux | 5 +- .../test/lux/meta/macro/syntax/type/variable.lux | 5 +- stdlib/source/test/lux/meta/macro/template.lux | 5 +- stdlib/source/test/lux/meta/static.lux | 5 +- stdlib/source/test/lux/meta/symbol.lux | 5 +- stdlib/source/test/lux/meta/target.lux | 5 +- stdlib/source/test/lux/meta/target/js.lux | 5 +- stdlib/source/test/lux/meta/target/jvm.lux | 5 +- stdlib/source/test/lux/meta/target/lua.lux | 5 +- stdlib/source/test/lux/meta/target/python.lux | 5 +- stdlib/source/test/lux/meta/target/ruby.lux | 5 +- stdlib/source/test/lux/meta/type.lux | 5 +- stdlib/source/test/lux/meta/type/check.lux | 5 +- stdlib/source/test/lux/meta/type/dynamic.lux | 5 +- stdlib/source/test/lux/meta/type/implicit.lux | 5 +- stdlib/source/test/lux/meta/type/primitive.lux | 5 +- stdlib/source/test/lux/meta/type/quotient.lux | 5 +- stdlib/source/test/lux/meta/type/refinement.lux | 5 +- stdlib/source/test/lux/meta/type/resource.lux | 5 +- stdlib/source/test/lux/meta/type/unit.lux | 5 +- stdlib/source/test/lux/meta/type/unit/scale.lux | 5 +- stdlib/source/test/lux/meta/type/variance.lux | 5 +- stdlib/source/test/lux/meta/version.lux | 5 +- stdlib/source/test/lux/program.lux | 5 +- stdlib/source/test/lux/test.lux | 307 -------------------- stdlib/source/test/lux/test/property.lux | 308 +++++++++++++++++++++ stdlib/source/test/lux/world.lux | 3 +- stdlib/source/test/lux/world/console.lux | 5 +- stdlib/source/test/lux/world/environment.lux | 5 +- stdlib/source/test/lux/world/file.lux | 5 +- stdlib/source/test/lux/world/file/watch.lux | 5 +- stdlib/source/test/lux/world/input/keyboard.lux | 5 +- stdlib/source/test/lux/world/locale.lux | 5 +- stdlib/source/test/lux/world/locale/language.lux | 5 +- stdlib/source/test/lux/world/locale/territory.lux | 5 +- stdlib/source/test/lux/world/net/http/client.lux | 5 +- stdlib/source/test/lux/world/net/http/status.lux | 5 +- .../test/lux/world/output/video/resolution.lux | 5 +- stdlib/source/test/lux/world/shell.lux | 5 +- stdlib/source/test/lux/world/time.lux | 5 +- stdlib/source/test/lux/world/time/date.lux | 5 +- stdlib/source/test/lux/world/time/day.lux | 5 +- stdlib/source/test/lux/world/time/duration.lux | 5 +- stdlib/source/test/lux/world/time/instant.lux | 5 +- stdlib/source/test/lux/world/time/month.lux | 5 +- stdlib/source/test/lux/world/time/year.lux | 5 +- 281 files changed, 1266 insertions(+), 978 deletions(-) delete mode 100644 stdlib/source/test/lux/test.lux create mode 100644 stdlib/source/test/lux/test/property.lux (limited to 'stdlib/source/test') diff --git a/stdlib/source/test/aedifex.lux b/stdlib/source/test/aedifex.lux index f30ec52c0..41c03b43b 100644 --- a/stdlib/source/test/aedifex.lux +++ b/stdlib/source/test/aedifex.lux @@ -2,9 +2,10 @@ [library [lux (.except) [program (.only program)] - ["_" test (.only Test)] [control - ["[0]" io]]]] + ["[0]" io]] + [test + ["_" property (.only Test)]]]] ["[0]" / ["[1][0]" artifact] ["[1][0]" cli] 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]" /]]) diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 3d7251c98..4d7a695e8 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -2,7 +2,6 @@ [library ["/" lux (.except) [program (.only program)] - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -38,7 +37,9 @@ ["[0]" macro (.only) [syntax (.only syntax)] ["^" pattern] - ["[0]" template]]]]] + ["[0]" template]]] + [test + ["_" property (.only Test)]]]] ... TODO: Must have 100% coverage on tests. ["[0]" / ["[1][0]" abstract] @@ -51,7 +52,7 @@ ["[1][0]" meta] ["[1][0]" program] - ["[1][0]" test] + ["[1][0]" test/property] ["[1][0]" world] @@ -429,35 +430,35 @@ ... [(.require [']) ... ("lux def module" []) ... []] - + ... [(.require [ ' (.except)]) ... ("lux def module" [[ ]]) ... [( (.except))]] - + ... [(.require [ ' (.only )]) ... ("lux def module" [[ ]]) ... [( (.only ))]] - + ... [(.require [ ' (.except )]) ... ("lux def module" [[ ]]) ... [( (.except ))]] - + ... [(.require [ ']) ... ("lux def module" []) ... []] - + ... [(.require [' ... [ ']]) ... ("lux def module" [[ ]]) ... [( )]] - + ... [(.require ["[0]" ' ... ["[0]" ']]) ... ("lux def module" [[ ] ... [ ]]) ... [( ) ... ( )]] - + ... [(.require ["[0]" ' ... ["[1]" ']]) ... ("lux def module" [[ ]]) @@ -468,7 +469,7 @@ ... ["[2]" ']]]) ... ("lux def module" [[ ]]) ... [( )]] - + ... [(.require [' ... ["[0]" ' ... ["[0]" ']]]) @@ -476,7 +477,7 @@ ... [ ]]) ... [( ) ... ( )]] - + ... [(.require ["[0]" ' ... [' ... ["[0]" <\\>']]]) @@ -484,7 +485,7 @@ ... [ <\\>]]) ... [( ) ... ( )]] - + ... [(.require ["[0]" ' (.use "[1]#[0]" )]) ... ("lux def module" [[ ]]) ... [( ( ))]] @@ -1205,7 +1206,7 @@ /meta.test /program.test - /test.test + /test/property.test /world.test diff --git a/stdlib/source/test/lux/abstract.lux b/stdlib/source/test/lux/abstract.lux index 9a4c8d3ce..5a3d4363a 100644 --- a/stdlib/source/test/lux/abstract.lux +++ b/stdlib/source/test/lux/abstract.lux @@ -1,7 +1,8 @@ (.require [library [lux (.except) - ["_" test (.only Test)]]] + [test + ["_" property (.only Test)]]]] ["[0]" / ["[1][0]" apply] ["[1][0]" codec] diff --git a/stdlib/source/test/lux/abstract/apply.lux b/stdlib/source/test/lux/abstract/apply.lux index 416285780..bc48cff4e 100644 --- a/stdlib/source/test/lux/abstract/apply.lux +++ b/stdlib/source/test/lux/abstract/apply.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -12,7 +11,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Apply)]]) diff --git a/stdlib/source/test/lux/abstract/codec.lux b/stdlib/source/test/lux/abstract/codec.lux index 284041caf..c55c7e311 100644 --- a/stdlib/source/test/lux/abstract/codec.lux +++ b/stdlib/source/test/lux/abstract/codec.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -11,7 +10,9 @@ [format ["[0]" json (.only JSON)]]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Codec) [// diff --git a/stdlib/source/test/lux/abstract/comonad.lux b/stdlib/source/test/lux/abstract/comonad.lux index 2d23f8d2c..1ffb461c8 100644 --- a/stdlib/source/test/lux/abstract/comonad.lux +++ b/stdlib/source/test/lux/abstract/comonad.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [data @@ -9,7 +8,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/abstract/comonad/free.lux b/stdlib/source/test/lux/abstract/comonad/free.lux index fcdec85aa..f089b2231 100644 --- a/stdlib/source/test/lux/abstract/comonad/free.lux +++ b/stdlib/source/test/lux/abstract/comonad/free.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [functor (.only Functor)] [comonad (.only CoMonad)] @@ -15,7 +14,9 @@ ["[0]" list] ["[0]" stream (.only Stream) (.use "[1]#[0]" comonad)]]] [math - ["[0]" random]]]] + ["[0]" random]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/abstract/enum.lux b/stdlib/source/test/lux/abstract/enum.lux index cf2434c0f..fc50c636a 100644 --- a/stdlib/source/test/lux/abstract/enum.lux +++ b/stdlib/source/test/lux/abstract/enum.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -13,7 +12,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/abstract/equivalence.lux b/stdlib/source/test/lux/abstract/equivalence.lux index 4a747951f..14d22ae5f 100644 --- a/stdlib/source/test/lux/abstract/equivalence.lux +++ b/stdlib/source/test/lux/abstract/equivalence.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except Variant Record) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -20,7 +19,9 @@ ["n" nat] ["i" int]]] [meta - ["@" target]]]] + ["@" target]] + [test + ["_" property (.only Test)]]]] ["[0]" \\polytypic] ["[0]" \\specification] [\\library diff --git a/stdlib/source/test/lux/abstract/functor.lux b/stdlib/source/test/lux/abstract/functor.lux index 4811f0f61..c2e5f18eb 100644 --- a/stdlib/source/test/lux/abstract/functor.lux +++ b/stdlib/source/test/lux/abstract/functor.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -16,7 +15,9 @@ [number ["n" nat]]] [meta - ["@" target]]]] + ["@" target]] + [test + ["_" property (.only Test)]]]] ["[0]" \\polytypic] [\\library ["[0]" / (.only Functor)]]) diff --git a/stdlib/source/test/lux/abstract/functor/contravariant.lux b/stdlib/source/test/lux/abstract/functor/contravariant.lux index 9478cdcf8..0bbcfd4aa 100644 --- a/stdlib/source/test/lux/abstract/functor/contravariant.lux +++ b/stdlib/source/test/lux/abstract/functor/contravariant.lux @@ -1,7 +1,8 @@ (.require [library [lux (.except) - ["_" test (.only Test)]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/abstract/hash.lux b/stdlib/source/test/lux/abstract/hash.lux index d3f877507..9f29b0ec6 100644 --- a/stdlib/source/test/lux/abstract/hash.lux +++ b/stdlib/source/test/lux/abstract/hash.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -12,7 +11,9 @@ [math ["[0]" random] [number - ["[0]" nat]]]]] + ["[0]" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Hash) [// diff --git a/stdlib/source/test/lux/abstract/interval.lux b/stdlib/source/test/lux/abstract/interval.lux index 8953e1d80..8270a88b3 100644 --- a/stdlib/source/test/lux/abstract/interval.lux +++ b/stdlib/source/test/lux/abstract/interval.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] ["[0]" order] @@ -16,7 +15,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Interval) (.use "[1]#[0]" equivalence)]]) diff --git a/stdlib/source/test/lux/abstract/mix.lux b/stdlib/source/test/lux/abstract/mix.lux index 6e171f7ec..967aaefce 100644 --- a/stdlib/source/test/lux/abstract/mix.lux +++ b/stdlib/source/test/lux/abstract/mix.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [data @@ -10,7 +9,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Mix)]]) diff --git a/stdlib/source/test/lux/abstract/monad.lux b/stdlib/source/test/lux/abstract/monad.lux index 783ac4514..67f039fd6 100644 --- a/stdlib/source/test/lux/abstract/monad.lux +++ b/stdlib/source/test/lux/abstract/monad.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [data ["[0]" identity (.only Identity)] [collection @@ -9,7 +8,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Monad do)]]) diff --git a/stdlib/source/test/lux/abstract/monad/free.lux b/stdlib/source/test/lux/abstract/monad/free.lux index 4d08fc8c3..7a4375c27 100644 --- a/stdlib/source/test/lux/abstract/monad/free.lux +++ b/stdlib/source/test/lux/abstract/monad/free.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [functor (.only Functor)] [apply (.only Apply)] @@ -14,7 +13,9 @@ [collection ["[0]" list (.use "[1]#[0]" functor)]]] [math - ["[0]" random]]]] + ["[0]" random]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/abstract/monoid.lux b/stdlib/source/test/lux/abstract/monoid.lux index ceea6703d..64dab2919 100644 --- a/stdlib/source/test/lux/abstract/monoid.lux +++ b/stdlib/source/test/lux/abstract/monoid.lux @@ -1,14 +1,15 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [math ["[0]" random (.only Random)] [number ["[0]" nat] - ["[0]" int]]]]] + ["[0]" int]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [// diff --git a/stdlib/source/test/lux/abstract/order.lux b/stdlib/source/test/lux/abstract/order.lux index 1dba95703..e340a58d6 100644 --- a/stdlib/source/test/lux/abstract/order.lux +++ b/stdlib/source/test/lux/abstract/order.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -12,7 +11,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [// diff --git a/stdlib/source/test/lux/control.lux b/stdlib/source/test/lux/control.lux index 84b144332..0cb7e598e 100644 --- a/stdlib/source/test/lux/control.lux +++ b/stdlib/source/test/lux/control.lux @@ -1,7 +1,8 @@ (.require [library [lux (.except function) - ["_" test (.only Test)]]] + [test + ["_" property (.only Test)]]]] ["[0]" / ["[1][0]" concatenative] ["[1][0]" concurrency diff --git a/stdlib/source/test/lux/control/concatenative.lux b/stdlib/source/test/lux/control/concatenative.lux index 542175167..aec54bebe 100644 --- a/stdlib/source/test/lux/control/concatenative.lux +++ b/stdlib/source/test/lux/control/concatenative.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [data @@ -16,7 +15,9 @@ ["f" frac]]] [meta [macro - ["[0]" template]]]]] + ["[0]" template]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only =>)]]) diff --git a/stdlib/source/test/lux/control/concurrency/actor.lux b/stdlib/source/test/lux/control/concurrency/actor.lux index e4f3755c2..35fbb8027 100644 --- a/stdlib/source/test/lux/control/concurrency/actor.lux +++ b/stdlib/source/test/lux/control/concurrency/actor.lux @@ -17,7 +17,8 @@ ["[0]" random] [number ["n" nat]]] - ["_" test (.only Test) + [test + ["_" property (.only Test)] ["[0]" unit]]]] [\\library ["[0]" / (.only) diff --git a/stdlib/source/test/lux/control/concurrency/async.lux b/stdlib/source/test/lux/control/concurrency/async.lux index 3cdaf2da4..5ca8704ff 100644 --- a/stdlib/source/test/lux/control/concurrency/async.lux +++ b/stdlib/source/test/lux/control/concurrency/async.lux @@ -21,7 +21,8 @@ [time ["[0]" instant] ["[0]" duration]]] - ["_" test (.only Test) + [test + ["_" property (.only Test)] ["[0]" unit]]]] [\\library ["[0]" / (.only) diff --git a/stdlib/source/test/lux/control/concurrency/atom.lux b/stdlib/source/test/lux/control/concurrency/atom.lux index 43620461b..2ab78ce39 100644 --- a/stdlib/source/test/lux/control/concurrency/atom.lux +++ b/stdlib/source/test/lux/control/concurrency/atom.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -9,7 +8,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/control/concurrency/frp.lux b/stdlib/source/test/lux/control/concurrency/frp.lux index 147b8d2cb..a3fe7263c 100644 --- a/stdlib/source/test/lux/control/concurrency/frp.lux +++ b/stdlib/source/test/lux/control/concurrency/frp.lux @@ -19,7 +19,8 @@ ["[0]" random] [number ["n" nat]]] - ["_" test (.only Test) + [test + ["_" property (.only Test)] ["[0]" unit]]]] [\\library ["[0]" / (.only) diff --git a/stdlib/source/test/lux/control/concurrency/semaphore.lux b/stdlib/source/test/lux/control/concurrency/semaphore.lux index 5254ce02f..19a99f55d 100644 --- a/stdlib/source/test/lux/control/concurrency/semaphore.lux +++ b/stdlib/source/test/lux/control/concurrency/semaphore.lux @@ -26,7 +26,8 @@ ["@" target] [type ["[0]" refinement]]] - ["_" test (.only Test) + [test + ["_" property (.only Test)] ["[0]" unit]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/control/concurrency/stm.lux b/stdlib/source/test/lux/control/concurrency/stm.lux index cb6fc3e81..76fd26dc3 100644 --- a/stdlib/source/test/lux/control/concurrency/stm.lux +++ b/stdlib/source/test/lux/control/concurrency/stm.lux @@ -17,7 +17,8 @@ ["[0]" random] [number ["n" nat]]] - ["_" test (.only Test) + [test + ["_" property (.only Test)] ["[0]" unit]]]] [\\library ["[0]" / (.only) diff --git a/stdlib/source/test/lux/control/concurrency/thread.lux b/stdlib/source/test/lux/control/concurrency/thread.lux index 83a626c4f..1dccae97f 100644 --- a/stdlib/source/test/lux/control/concurrency/thread.lux +++ b/stdlib/source/test/lux/control/concurrency/thread.lux @@ -14,7 +14,8 @@ [time ["[0]" instant (.only Instant)] ["[0]" duration]]] - ["_" test (.only Test) + [test + ["_" property (.only Test)] ["[0]" unit]]]] [\\library ["[0]" / (.only) diff --git a/stdlib/source/test/lux/control/continuation.lux b/stdlib/source/test/lux/control/continuation.lux index b65f1f41f..8f57a99dc 100644 --- a/stdlib/source/test/lux/control/continuation.lux +++ b/stdlib/source/test/lux/control/continuation.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -14,7 +13,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/control/exception.lux b/stdlib/source/test/lux/control/exception.lux index 09c12275c..1021d8522 100644 --- a/stdlib/source/test/lux/control/exception.lux +++ b/stdlib/source/test/lux/control/exception.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [data @@ -10,7 +9,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [// diff --git a/stdlib/source/test/lux/control/function.lux b/stdlib/source/test/lux/control/function.lux index a3e9c5440..0c4fa2ad3 100644 --- a/stdlib/source/test/lux/control/function.lux +++ b/stdlib/source/test/lux/control/function.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [equivalence (.only Equivalence)] [monad (.only do)] @@ -10,7 +9,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]] ["[0]" / diff --git a/stdlib/source/test/lux/control/function/contract.lux b/stdlib/source/test/lux/control/function/contract.lux index fcff396f1..312e7070f 100644 --- a/stdlib/source/test/lux/control/function/contract.lux +++ b/stdlib/source/test/lux/control/function/contract.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -12,7 +11,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/control/function/inline.lux b/stdlib/source/test/lux/control/function/inline.lux index 94a21ede2..d1cfd756e 100644 --- a/stdlib/source/test/lux/control/function/inline.lux +++ b/stdlib/source/test/lux/control/function/inline.lux @@ -1,13 +1,14 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [math ["[0]" random] [number - ["i" int]]]]] + ["i" int]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/control/function/memo.lux b/stdlib/source/test/lux/control/function/memo.lux index 1abe7f7f9..d1ab63220 100644 --- a/stdlib/source/test/lux/control/function/memo.lux +++ b/stdlib/source/test/lux/control/function/memo.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -23,7 +22,9 @@ [world [time ["[0]" instant] - ["[0]" duration (.only Duration)]]]]] + ["[0]" duration (.only Duration)]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" // diff --git a/stdlib/source/test/lux/control/function/mixin.lux b/stdlib/source/test/lux/control/function/mixin.lux index edc355e23..9fce7f116 100644 --- a/stdlib/source/test/lux/control/function/mixin.lux +++ b/stdlib/source/test/lux/control/function/mixin.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [equivalence (.only Equivalence)] [monad (.only do)] @@ -21,7 +20,9 @@ ["n" nat]]] [meta [macro - ["^" pattern]]]]] + ["^" pattern]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/control/function/mutual.lux b/stdlib/source/test/lux/control/function/mutual.lux index 1ec851f5d..a4bfed417 100644 --- a/stdlib/source/test/lux/control/function/mutual.lux +++ b/stdlib/source/test/lux/control/function/mutual.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [data @@ -11,7 +10,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/control/function/predicate.lux b/stdlib/source/test/lux/control/function/predicate.lux index 28d0eed16..6855a1b2d 100644 --- a/stdlib/source/test/lux/control/function/predicate.lux +++ b/stdlib/source/test/lux/control/function/predicate.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [equivalence (.only Equivalence)] [monad (.only do)] @@ -18,7 +17,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/control/io.lux b/stdlib/source/test/lux/control/io.lux index a9185804e..cfcd17ee2 100644 --- a/stdlib/source/test/lux/control/io.lux +++ b/stdlib/source/test/lux/control/io.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -11,7 +10,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only IO) [// diff --git a/stdlib/source/test/lux/control/lazy.lux b/stdlib/source/test/lux/control/lazy.lux index bdc81dc94..c055e500e 100644 --- a/stdlib/source/test/lux/control/lazy.lux +++ b/stdlib/source/test/lux/control/lazy.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -14,7 +13,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Lazy)]]) diff --git a/stdlib/source/test/lux/control/maybe.lux b/stdlib/source/test/lux/control/maybe.lux index 6240eb5ec..e4efb58b0 100644 --- a/stdlib/source/test/lux/control/maybe.lux +++ b/stdlib/source/test/lux/control/maybe.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -21,7 +20,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.use "[1]#[0]" monoid monad)]]) diff --git a/stdlib/source/test/lux/control/parser.lux b/stdlib/source/test/lux/control/parser.lux index 487f9984b..9922a79dc 100644 --- a/stdlib/source/test/lux/control/parser.lux +++ b/stdlib/source/test/lux/control/parser.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [equivalence (.only Equivalence)] @@ -24,7 +23,9 @@ ["[0]" code (.only) ["<[1]>" \\parser]] [macro - [syntax (.only syntax)]]]]] + [syntax (.only syntax)]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Parser)]]) diff --git a/stdlib/source/test/lux/control/pipe.lux b/stdlib/source/test/lux/control/pipe.lux index 721b4a975..50d5bb67f 100644 --- a/stdlib/source/test/lux/control/pipe.lux +++ b/stdlib/source/test/lux/control/pipe.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] ["[0]" debug] [abstract [monad (.only do)]] @@ -12,7 +11,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/control/reader.lux b/stdlib/source/test/lux/control/reader.lux index 60feab123..6a1185b55 100644 --- a/stdlib/source/test/lux/control/reader.lux +++ b/stdlib/source/test/lux/control/reader.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -11,7 +10,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Reader) [// diff --git a/stdlib/source/test/lux/control/region.lux b/stdlib/source/test/lux/control/region.lux index e0ef106a2..b409a7d24 100644 --- a/stdlib/source/test/lux/control/region.lux +++ b/stdlib/source/test/lux/control/region.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [equivalence (.only Equivalence)] [functor (.only Functor)] @@ -22,7 +21,9 @@ [number ["n" nat]]] [meta - [type (.only sharing)]]]] + [type (.only sharing)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Region) [// diff --git a/stdlib/source/test/lux/control/remember.lux b/stdlib/source/test/lux/control/remember.lux index 5ad579363..9e75c00e6 100644 --- a/stdlib/source/test/lux/control/remember.lux +++ b/stdlib/source/test/lux/control/remember.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract ["[0]" monad (.only do)]] [control @@ -25,7 +24,9 @@ [time ["[0]" date (.only Date)] ["[0]" instant] - ["[0]" duration]]]]] + ["[0]" duration]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/control/security/capability.lux b/stdlib/source/test/lux/control/security/capability.lux index d02572381..57fd4c4cc 100644 --- a/stdlib/source/test/lux/control/security/capability.lux +++ b/stdlib/source/test/lux/control/security/capability.lux @@ -11,7 +11,8 @@ ["[0]" random] [number ["n" nat]]] - ["_" test (.only Test) + [test + ["_" property (.only Test)] ["[0]" unit]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/control/security/policy.lux b/stdlib/source/test/lux/control/security/policy.lux index 7e0de2086..77b5582f7 100644 --- a/stdlib/source/test/lux/control/security/policy.lux +++ b/stdlib/source/test/lux/control/security/policy.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [hash (.only Hash)] [monad (.only do)] @@ -17,7 +16,9 @@ ["n" nat]]] [meta [macro - ["^" pattern]]]]] + ["^" pattern]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Context Privacy Can_Conceal Can_Reveal Privilege Private)]]) diff --git a/stdlib/source/test/lux/control/state.lux b/stdlib/source/test/lux/control/state.lux index 988378358..d1817279c 100644 --- a/stdlib/source/test/lux/control/state.lux +++ b/stdlib/source/test/lux/control/state.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -16,7 +15,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only State)]]) diff --git a/stdlib/source/test/lux/control/thread.lux b/stdlib/source/test/lux/control/thread.lux index 40dd3f60f..64084691a 100644 --- a/stdlib/source/test/lux/control/thread.lux +++ b/stdlib/source/test/lux/control/thread.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -11,7 +10,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Thread) [// diff --git a/stdlib/source/test/lux/control/try.lux b/stdlib/source/test/lux/control/try.lux index e887e38a8..857d67ac5 100644 --- a/stdlib/source/test/lux/control/try.lux +++ b/stdlib/source/test/lux/control/try.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)]]]] [\\library ["[0]" / (.only Try)]]) diff --git a/stdlib/source/test/lux/control/writer.lux b/stdlib/source/test/lux/control/writer.lux index cd37f2c71..1169c4922 100644 --- a/stdlib/source/test/lux/control/writer.lux +++ b/stdlib/source/test/lux/control/writer.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [equivalence (.only Equivalence)] [monoid (.only Monoid)] @@ -18,7 +17,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Writer)]]) diff --git a/stdlib/source/test/lux/data.lux b/stdlib/source/test/lux/data.lux index b8f19ff62..b242a4582 100644 --- a/stdlib/source/test/lux/data.lux +++ b/stdlib/source/test/lux/data.lux @@ -1,11 +1,12 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [math - ["[0]" random]]]] + ["[0]" random]] + [test + ["_" property (.only Test)]]]] ["[0]" / ["[1][0]" binary] ["[1][0]" bit] diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux index c6514691e..296867c13 100644 --- a/stdlib/source/test/lux/data/binary.lux +++ b/stdlib/source/test/lux/data/binary.lux @@ -2,7 +2,6 @@ [library [lux (.except) [ffi (.only)] - ["_" test (.only Test)] [abstract [equivalence (.only Equivalence)] ["[0]" monad (.only do)] @@ -44,7 +43,9 @@ ["[0]" type] ["[0]" code] [macro - ["^" pattern]]]]] + ["^" pattern]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) (.use "[1]#[0]" equivalence) ["!" \\unsafe] diff --git a/stdlib/source/test/lux/data/bit.lux b/stdlib/source/test/lux/data/bit.lux index a0ee85ca0..edd3fd68b 100644 --- a/stdlib/source/test/lux/data/bit.lux +++ b/stdlib/source/test/lux/data/bit.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -12,7 +11,9 @@ [control ["[0]" function]] [math - ["[0]" random]]]] + ["[0]" random]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/collection.lux b/stdlib/source/test/lux/data/collection.lux index f1fa1792e..3362ee4bb 100644 --- a/stdlib/source/test/lux/data/collection.lux +++ b/stdlib/source/test/lux/data/collection.lux @@ -1,7 +1,8 @@ (.require [library [lux (.except list) - ["_" test (.only Test)]]] + [test + ["_" property (.only Test)]]]] ["[0]" / ["[1][0]" array] ["[1][0]" bits] diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux index 32b189124..f12014f24 100644 --- a/stdlib/source/test/lux/data/collection/array.lux +++ b/stdlib/source/test/lux/data/collection/array.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [functor (.only)] [monad (.only do)] @@ -23,7 +22,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Array) ["!" \\unsafe]]]) diff --git a/stdlib/source/test/lux/data/collection/bits.lux b/stdlib/source/test/lux/data/collection/bits.lux index 98d288dc5..379cfd131 100644 --- a/stdlib/source/test/lux/data/collection/bits.lux +++ b/stdlib/source/test/lux/data/collection/bits.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -12,7 +11,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Bits)]]) diff --git a/stdlib/source/test/lux/data/collection/dictionary.lux b/stdlib/source/test/lux/data/collection/dictionary.lux index f9eeb51fe..369bddd2d 100644 --- a/stdlib/source/test/lux/data/collection/dictionary.lux +++ b/stdlib/source/test/lux/data/collection/dictionary.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [hash (.only Hash)] [monad (.only do)] @@ -20,7 +19,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux index 5cb3bc1c1..7736202d0 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [equivalence (.only Equivalence)] @@ -19,7 +18,9 @@ [math ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux index f915d4316..6bb1808f7 100644 --- a/stdlib/source/test/lux/data/collection/list.lux +++ b/stdlib/source/test/lux/data/collection/list.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] ["[0]" enum] @@ -28,7 +27,9 @@ ["[0]" random (.only Random)] [number ["n" nat] - ["[0]" int]]]]] + ["[0]" int]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.use "[1]#[0]" monad)]]) diff --git a/stdlib/source/test/lux/data/collection/list/property.lux b/stdlib/source/test/lux/data/collection/list/property.lux index d8ae753ef..a6e4f0d77 100644 --- a/stdlib/source/test/lux/data/collection/list/property.lux +++ b/stdlib/source/test/lux/data/collection/list/property.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -18,7 +17,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux index d047930f2..b1889edc9 100644 --- a/stdlib/source/test/lux/data/collection/queue.lux +++ b/stdlib/source/test/lux/data/collection/queue.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -15,7 +14,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux index 13e01a0b3..b0ca6a4f9 100644 --- a/stdlib/source/test/lux/data/collection/queue/priority.lux +++ b/stdlib/source/test/lux/data/collection/queue/priority.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract ["[0]" monad (.only do)]] [control @@ -11,7 +10,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Queue)]]) diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux index ac58c3008..dac8c85a5 100644 --- a/stdlib/source/test/lux/data/collection/sequence.lux +++ b/stdlib/source/test/lux/data/collection/sequence.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -23,7 +22,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.use "[1]#[0]" monad)]]) diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux index f4544abf4..16d7294d8 100644 --- a/stdlib/source/test/lux/data/collection/set.lux +++ b/stdlib/source/test/lux/data/collection/set.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [hash (.only Hash)] [monad (.only do)] @@ -16,7 +15,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.use "[1]#[0]" equivalence)]]) diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux index 64b07d09c..16e7986fa 100644 --- a/stdlib/source/test/lux/data/collection/set/multi.lux +++ b/stdlib/source/test/lux/data/collection/set/multi.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [hash (.only Hash)] [monad (.only do)] @@ -19,7 +18,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index 51688a128..cc68dbb85 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [order (.only Order)] @@ -14,7 +13,9 @@ [math ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Set) ["[0]" //]]]) diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux index 51dbc5dba..51357230f 100644 --- a/stdlib/source/test/lux/data/collection/stack.lux +++ b/stdlib/source/test/lux/data/collection/stack.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -14,7 +13,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/collection/stream.lux b/stdlib/source/test/lux/data/collection/stream.lux index b8b40e495..df001ce0e 100644 --- a/stdlib/source/test/lux/data/collection/stream.lux +++ b/stdlib/source/test/lux/data/collection/stream.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [equivalence (.only Equivalence)] @@ -17,7 +16,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux index 3f560f85d..1193c4e9e 100644 --- a/stdlib/source/test/lux/data/collection/tree.lux +++ b/stdlib/source/test/lux/data/collection/tree.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract ["[0]" monad (.only do)] [\\specification @@ -22,7 +21,9 @@ ["n" nat]]] [meta [macro - ["^" pattern]]]]] + ["^" pattern]]] + [test + ["_" property (.only Test)]]]] ["[0]" \\parser] [\\library ["[0]" / (.only Tree) diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux index 7d9faf595..f291a6e51 100644 --- a/stdlib/source/test/lux/data/collection/tree/finger.lux +++ b/stdlib/source/test/lux/data/collection/tree/finger.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -15,7 +14,9 @@ [number ["n" nat]]] [meta - [type (.only by_example)]]]] + [type (.only by_example)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux index 19f4d71ed..0da1f808d 100644 --- a/stdlib/source/test/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -19,7 +18,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] ["[0]" //] [\\library ["[0]" / (.only Zipper) diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux index fa4d1f9d3..e098211cb 100644 --- a/stdlib/source/test/lux/data/color.lux +++ b/stdlib/source/test/lux/data/color.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -17,7 +16,9 @@ ["n" nat] ["f" frac] ["r" rev] - ["[0]" int]]]]] + ["[0]" int]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/color/named.lux b/stdlib/source/test/lux/data/color/named.lux index 5bb0ca32b..34a5a5a3d 100644 --- a/stdlib/source/test/lux/data/color/named.lux +++ b/stdlib/source/test/lux/data/color/named.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [data @@ -14,7 +13,9 @@ ["n" nat]]] [meta [macro - ["[0]" template]]]]] + ["[0]" template]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" //]]]) diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux index b64a685a2..d39552093 100644 --- a/stdlib/source/test/lux/data/format/json.lux +++ b/stdlib/source/test/lux/data/format/json.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except Variant Record) - ["_" test (.only Test)] [abstract [codec (.except)] [monad (.only do)] @@ -45,7 +44,9 @@ ["[0]" instant ["[0]/[1]" \\test]] ["[0]" duration - ["[0]/[1]" \\test]]]]]] + ["[0]/[1]" \\test]]]] + [test + ["_" property (.only Test)]]]] ["[0]" \\polytypic] ["[0]" \\parser] [\\library diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux index 5665efaec..1101f9ca1 100644 --- a/stdlib/source/test/lux/data/format/tar.lux +++ b/stdlib/source/test/lux/data/format/tar.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -32,7 +31,9 @@ [world [time ["[0]" instant (.only Instant)] - ["[0]" duration]]]]] + ["[0]" duration]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux index c1d456cf1..c4cccc987 100644 --- a/stdlib/source/test/lux/data/format/xml.lux +++ b/stdlib/source/test/lux/data/format/xml.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except char symbol) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -27,7 +26,9 @@ ["[0]" type (.use "[1]#[0]" equivalence)] [macro ["^" pattern] - ["[0]" template]]]]] + ["[0]" template]]] + [test + ["_" property (.only Test)]]]] ["[0]" \\parser] [\\library ["[0]" / (.use "[1]#[0]" equivalence)]]) diff --git a/stdlib/source/test/lux/data/identity.lux b/stdlib/source/test/lux/data/identity.lux index 050117d2d..a27cc32f7 100644 --- a/stdlib/source/test/lux/data/identity.lux +++ b/stdlib/source/test/lux/data/identity.lux @@ -1,14 +1,15 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification ["$[0]" functor (.only Injection Comparison)] ["$[0]" apply] ["$[0]" monad] - ["$[0]" comonad]]]]] + ["$[0]" comonad]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Identity)]]) diff --git a/stdlib/source/test/lux/data/product.lux b/stdlib/source/test/lux/data/product.lux index 2bfd265f8..af76cff0c 100644 --- a/stdlib/source/test/lux/data/product.lux +++ b/stdlib/source/test/lux/data/product.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -10,7 +9,9 @@ ["[0]" random] [number ["n" nat] - ["i" int]]]]] + ["i" int]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux index d4b18571d..11430bb32 100644 --- a/stdlib/source/test/lux/data/sum.lux +++ b/stdlib/source/test/lux/data/sum.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -17,7 +16,9 @@ ["[0]" random] [number ["n" nat] - ["i" int]]]]] + ["i" int]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux index 66655823f..dca84b015 100644 --- a/stdlib/source/test/lux/data/text.lux +++ b/stdlib/source/test/lux/data/text.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except char) - ["_" test (.only Test)] [abstract [monad (.only do)] [equivalence (.only Equivalence)] @@ -57,7 +56,9 @@ ["[0]" month] ["[0]" instant] ["[0]" duration] - ["[0]" date]]]]] + ["[0]" date]]] + [test + ["_" property (.only Test)]]]] ["$[0]" // [format ["[1][0]" xml] diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux index 3d8e4b250..54f74359c 100644 --- a/stdlib/source/test/lux/data/text/buffer.lux +++ b/stdlib/source/test/lux/data/text/buffer.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [data @@ -10,7 +9,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux index 7464a5934..2e5b0fad9 100644 --- a/stdlib/source/test/lux/data/text/encoding.lux +++ b/stdlib/source/test/lux/data/text/encoding.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -20,7 +19,9 @@ ["n" nat]]] [meta [macro - ["[0]" template]]]]] + ["[0]" template]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]] ["[0]" / diff --git a/stdlib/source/test/lux/data/text/encoding/utf8.lux b/stdlib/source/test/lux/data/text/encoding/utf8.lux index e8e4df424..38e57a1b0 100644 --- a/stdlib/source/test/lux/data/text/encoding/utf8.lux +++ b/stdlib/source/test/lux/data/text/encoding/utf8.lux @@ -1,14 +1,15 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [\\specification ["$[0]" codec]]] [data ["[0]" text]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux index 7509dcf58..1ac4b1904 100644 --- a/stdlib/source/test/lux/data/text/escape.lux +++ b/stdlib/source/test/lux/data/text/escape.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] ["[0]" debug] [abstract [monad (.only do)]] @@ -23,7 +22,9 @@ ["<[1]>" \\parser]] [macro [syntax (.only syntax)] - ["[0]" template]]]]] + ["[0]" template]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [// diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux index 7485c1d05..d5be70ce1 100644 --- a/stdlib/source/test/lux/data/text/regex.lux +++ b/stdlib/source/test/lux/data/text/regex.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -19,7 +18,9 @@ ["<[1]>" \\parser]] ["[0]" macro (.only) [syntax (.only syntax)] - ["[0]" expansion]]]]] + ["[0]" expansion]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux index 34f1ab7cd..75756fd45 100644 --- a/stdlib/source/test/lux/data/text/unicode/block.lux +++ b/stdlib/source/test/lux/data/text/unicode/block.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -19,7 +18,9 @@ ["n" nat]]] [meta [macro - ["[0]" template]]]]] + ["[0]" template]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux index bdca45423..b5dbad749 100644 --- a/stdlib/source/test/lux/data/text/unicode/set.lux +++ b/stdlib/source/test/lux/data/text/unicode/set.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -14,7 +13,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] ["[0]" / ["/[1]" // ["[1][0]" block]]] diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux index a503b00cd..6332cfa59 100644 --- a/stdlib/source/test/lux/debug.lux +++ b/stdlib/source/test/lux/debug.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -32,7 +31,9 @@ [date (.only Date)] [duration (.only Duration)] [month (.only Month)] - [day (.only Day)]]]]] + [day (.only Day)]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]] ["$[0]" // diff --git a/stdlib/source/test/lux/documentation.lux b/stdlib/source/test/lux/documentation.lux index ce0832ed2..2d162fb2a 100644 --- a/stdlib/source/test/lux/documentation.lux +++ b/stdlib/source/test/lux/documentation.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [control ["[0]" try] ["[0]" exception]] @@ -17,7 +16,9 @@ [macro [syntax (.only syntax)] ["[0]" template] - ["[0]" expansion]]]]] + ["[0]" expansion]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/ffi.js.lux b/stdlib/source/test/lux/ffi.js.lux index 2312f1d9f..6148aa47f 100644 --- a/stdlib/source/test/lux/ffi.js.lux +++ b/stdlib/source/test/lux/ffi.js.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -13,7 +12,9 @@ ["[0]" random (.only Random)] [number ["[0]" nat] - ["[0]" frac]]]]] + ["[0]" frac]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]] ["$[0]" / diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux index 7c047318d..5b3e2bb80 100644 --- a/stdlib/source/test/lux/ffi.jvm.lux +++ b/stdlib/source/test/lux/ffi.jvm.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] ["[0]" debug] [abstract [monad (.only do)]] @@ -34,7 +33,9 @@ ["[0]" expansion]] [target ["[0]" jvm - ["[1]" type (.use "[1]#[0]" equivalence)]]]]]] + ["[1]" type (.use "[1]#[0]" equivalence)]]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]] ["$[0]" / diff --git a/stdlib/source/test/lux/ffi.lua.lux b/stdlib/source/test/lux/ffi.lua.lux index a78f7c516..a3a036d34 100644 --- a/stdlib/source/test/lux/ffi.lua.lux +++ b/stdlib/source/test/lux/ffi.lua.lux @@ -1,13 +1,14 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control ["[0]" io]] [math - ["[0]" random]]]] + ["[0]" random]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]] ["$[0]" / diff --git a/stdlib/source/test/lux/ffi.old.lux b/stdlib/source/test/lux/ffi.old.lux index 117207e57..ce7164514 100644 --- a/stdlib/source/test/lux/ffi.old.lux +++ b/stdlib/source/test/lux/ffi.old.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [equivalence (.only Equivalence)] [monad (.only do)]] @@ -19,7 +18,9 @@ [meta ["[0]" type (.use "[1]#[0]" equivalence)] [macro - ["[0]" template]]]]] + ["[0]" template]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/ffi.php.lux b/stdlib/source/test/lux/ffi.php.lux index 324bd7b81..c0f9b46a0 100644 --- a/stdlib/source/test/lux/ffi.php.lux +++ b/stdlib/source/test/lux/ffi.php.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -12,7 +11,9 @@ ["[0]" random (.only Random)] [number ["[0]" nat] - ["[0]" frac]]]]] + ["[0]" frac]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/ffi.py.lux b/stdlib/source/test/lux/ffi.py.lux index 3a8529e2e..a61678e06 100644 --- a/stdlib/source/test/lux/ffi.py.lux +++ b/stdlib/source/test/lux/ffi.py.lux @@ -1,13 +1,14 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [math ["[0]" random] [number - ["i" int]]]]] + ["i" int]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]] ["$[0]" / diff --git a/stdlib/source/test/lux/ffi.rb.lux b/stdlib/source/test/lux/ffi.rb.lux index 305de1e59..bec6471d2 100644 --- a/stdlib/source/test/lux/ffi.rb.lux +++ b/stdlib/source/test/lux/ffi.rb.lux @@ -1,11 +1,12 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [math - ["[0]" random]]]] + ["[0]" random]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]] ["$[0]" / diff --git a/stdlib/source/test/lux/ffi.scm.lux b/stdlib/source/test/lux/ffi.scm.lux index 324bd7b81..c0f9b46a0 100644 --- a/stdlib/source/test/lux/ffi.scm.lux +++ b/stdlib/source/test/lux/ffi.scm.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -12,7 +11,9 @@ ["[0]" random (.only Random)] [number ["[0]" nat] - ["[0]" frac]]]]] + ["[0]" frac]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/ffi/export.js.lux b/stdlib/source/test/lux/ffi/export.js.lux index 852eee961..e536e8500 100644 --- a/stdlib/source/test/lux/ffi/export.js.lux +++ b/stdlib/source/test/lux/ffi/export.js.lux @@ -1,12 +1,13 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [math [number ["n" nat]]] [meta - ["[0]" static]]]] + ["[0]" static]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" //]]]) diff --git a/stdlib/source/test/lux/ffi/export.jvm.lux b/stdlib/source/test/lux/ffi/export.jvm.lux index 6904a33df..c2be8273d 100644 --- a/stdlib/source/test/lux/ffi/export.jvm.lux +++ b/stdlib/source/test/lux/ffi/export.jvm.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] ["[0]" debug] [abstract [monad (.only do)]] @@ -19,7 +18,9 @@ ["[0]" static] ["[0]" code] [macro - ["[0]" template]]]]] + ["[0]" template]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" //]]]) diff --git a/stdlib/source/test/lux/ffi/export.lua.lux b/stdlib/source/test/lux/ffi/export.lua.lux index f0c1d7efd..ab81a2d39 100644 --- a/stdlib/source/test/lux/ffi/export.lua.lux +++ b/stdlib/source/test/lux/ffi/export.lua.lux @@ -1,12 +1,13 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [math [number ["n" nat]]] [meta - ["[0]" static]]]] + ["[0]" static]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" //]]]) diff --git a/stdlib/source/test/lux/ffi/export.py.lux b/stdlib/source/test/lux/ffi/export.py.lux index 852eee961..e536e8500 100644 --- a/stdlib/source/test/lux/ffi/export.py.lux +++ b/stdlib/source/test/lux/ffi/export.py.lux @@ -1,12 +1,13 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [math [number ["n" nat]]] [meta - ["[0]" static]]]] + ["[0]" static]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" //]]]) diff --git a/stdlib/source/test/lux/ffi/export.rb.lux b/stdlib/source/test/lux/ffi/export.rb.lux index 394d16376..8e1d83bd4 100644 --- a/stdlib/source/test/lux/ffi/export.rb.lux +++ b/stdlib/source/test/lux/ffi/export.rb.lux @@ -1,12 +1,13 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [math [number ["n" nat]]] [meta - ["[0]" static]]]] + ["[0]" static]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" //]]]) diff --git a/stdlib/source/test/lux/math.lux b/stdlib/source/test/lux/math.lux index 251e3e9ad..1eaab1664 100644 --- a/stdlib/source/test/lux/math.lux +++ b/stdlib/source/test/lux/math.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [data @@ -17,7 +16,9 @@ ["[0]" complex (.only Complex)]]] [meta [macro - ["[0]" template]]]]] + ["[0]" template]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]] ["[0]" / diff --git a/stdlib/source/test/lux/math/infix.lux b/stdlib/source/test/lux/math/infix.lux index 7e5aa1cd0..5f4143556 100644 --- a/stdlib/source/test/lux/math/infix.lux +++ b/stdlib/source/test/lux/math/infix.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [data @@ -10,7 +9,9 @@ ["[0]" random] [number ["n" nat] - ["f" frac]]]]] + ["f" frac]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/math/logic/continuous.lux b/stdlib/source/test/lux/math/logic/continuous.lux index d0f0a33a1..184b5163d 100644 --- a/stdlib/source/test/lux/math/logic/continuous.lux +++ b/stdlib/source/test/lux/math/logic/continuous.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -9,7 +8,9 @@ [math ["[0]" random] [number - ["r" rev]]]]] + ["r" rev]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/math/logic/fuzzy.lux b/stdlib/source/test/lux/math/logic/fuzzy.lux index 5011e2eee..dd2f7d00a 100644 --- a/stdlib/source/test/lux/math/logic/fuzzy.lux +++ b/stdlib/source/test/lux/math/logic/fuzzy.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [equivalence (.only Equivalence)] [monad (.only do)] @@ -17,7 +16,9 @@ ["[0]" random (.only Random)] [number ["n" nat] - ["r" rev]]]]] + ["r" rev]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Fuzzy) ["/[1]" // diff --git a/stdlib/source/test/lux/math/modular.lux b/stdlib/source/test/lux/math/modular.lux index 5393d75ef..2e959b428 100644 --- a/stdlib/source/test/lux/math/modular.lux +++ b/stdlib/source/test/lux/math/modular.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -22,7 +21,9 @@ [number ["i" int]]] [meta - ["[0]" type (.use "[1]#[0]" equivalence)]]]] + ["[0]" type (.use "[1]#[0]" equivalence)]] + [test + ["_" property (.only Test)]]]] ["$[0]" // ["[1]" modulus]] [\\library diff --git a/stdlib/source/test/lux/math/modulus.lux b/stdlib/source/test/lux/math/modulus.lux index 021bd0758..c1f61a289 100644 --- a/stdlib/source/test/lux/math/modulus.lux +++ b/stdlib/source/test/lux/math/modulus.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -14,7 +13,9 @@ ["[0]" meta (.only) ["[0]" code] [macro - [syntax (.only syntax)]]]]] + [syntax (.only syntax)]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/math/number.lux b/stdlib/source/test/lux/math/number.lux index d0142f7bf..d5d9fb557 100644 --- a/stdlib/source/test/lux/math/number.lux +++ b/stdlib/source/test/lux/math/number.lux @@ -1,11 +1,12 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [control ["[0]" try]] [data - ["[0]" text]]]] + ["[0]" text]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["n" nat] diff --git a/stdlib/source/test/lux/math/number/complex.lux b/stdlib/source/test/lux/math/number/complex.lux index dbecb18ad..2b8eada59 100644 --- a/stdlib/source/test/lux/math/number/complex.lux +++ b/stdlib/source/test/lux/math/number/complex.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -10,7 +9,9 @@ [collection ["[0]" list (.use "[1]#[0]" functor)]]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [// diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux index cf3a973de..d76cbe5a5 100644 --- a/stdlib/source/test/lux/math/number/frac.lux +++ b/stdlib/source/test/lux/math/number/frac.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] ["[0]" ffi] [abstract [monad (.only do)] @@ -18,7 +17,9 @@ [meta ["@" target] [macro - ["[0]" template]]]]] + ["[0]" template]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [// (.except) diff --git a/stdlib/source/test/lux/math/number/i16.lux b/stdlib/source/test/lux/math/number/i16.lux index efc96c804..6753d2496 100644 --- a/stdlib/source/test/lux/math/number/i16.lux +++ b/stdlib/source/test/lux/math/number/i16.lux @@ -1,13 +1,14 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification ["$[0]" equivalence]]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" // diff --git a/stdlib/source/test/lux/math/number/i32.lux b/stdlib/source/test/lux/math/number/i32.lux index 5c6ae320f..0770f96cd 100644 --- a/stdlib/source/test/lux/math/number/i32.lux +++ b/stdlib/source/test/lux/math/number/i32.lux @@ -1,13 +1,14 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification ["$[0]" equivalence]]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" // diff --git a/stdlib/source/test/lux/math/number/i64.lux b/stdlib/source/test/lux/math/number/i64.lux index e281fcb28..6b4081342 100644 --- a/stdlib/source/test/lux/math/number/i64.lux +++ b/stdlib/source/test/lux/math/number/i64.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [data ["[0]" bit (.use "[1]#[0]" equivalence)]] [abstract @@ -11,7 +10,9 @@ ["$[0]" hash] ["$[0]" monoid]]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.use "[1]#[0]" equivalence) [// (.only hex) diff --git a/stdlib/source/test/lux/math/number/i8.lux b/stdlib/source/test/lux/math/number/i8.lux index c8c791d44..f07c37aa4 100644 --- a/stdlib/source/test/lux/math/number/i8.lux +++ b/stdlib/source/test/lux/math/number/i8.lux @@ -1,13 +1,14 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification ["$[0]" equivalence]]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" // diff --git a/stdlib/source/test/lux/math/number/int.lux b/stdlib/source/test/lux/math/number/int.lux index 27f66d3a2..afb733787 100644 --- a/stdlib/source/test/lux/math/number/int.lux +++ b/stdlib/source/test/lux/math/number/int.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -15,7 +14,9 @@ [data ["[0]" bit (.use "[1]#[0]" equivalence)]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [// diff --git a/stdlib/source/test/lux/math/number/nat.lux b/stdlib/source/test/lux/math/number/nat.lux index cb31da701..9ab7e63fb 100644 --- a/stdlib/source/test/lux/math/number/nat.lux +++ b/stdlib/source/test/lux/math/number/nat.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -15,7 +14,9 @@ [data ["[0]" bit (.use "[1]#[0]" equivalence)]] [math - ["[0]" random]]]] + ["[0]" random]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [// diff --git a/stdlib/source/test/lux/math/number/ratio.lux b/stdlib/source/test/lux/math/number/ratio.lux index ec4f2e7d5..b81cc91c6 100644 --- a/stdlib/source/test/lux/math/number/ratio.lux +++ b/stdlib/source/test/lux/math/number/ratio.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -14,7 +13,9 @@ [data ["[0]" bit (.use "[1]#[0]" equivalence)]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [// diff --git a/stdlib/source/test/lux/math/number/rev.lux b/stdlib/source/test/lux/math/number/rev.lux index ae6de035a..6f5d6a4eb 100644 --- a/stdlib/source/test/lux/math/number/rev.lux +++ b/stdlib/source/test/lux/math/number/rev.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -15,7 +14,9 @@ [data ["[0]" bit (.use "[1]#[0]" equivalence)]] [math - ["[0]" random]]]] + ["[0]" random]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [// (.only hex) diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux index 3cd03f84c..98081de7f 100644 --- a/stdlib/source/test/lux/meta.lux +++ b/stdlib/source/test/lux/meta.lux @@ -1,7 +1,6 @@ (.`` (.`` (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [equivalence (.only Equivalence)] [monad (.only do)] @@ -29,7 +28,9 @@ ["[0]" location] ["[0]" symbol (.use "[1]#[0]" equivalence)] [macro - ["^" pattern]]]]] + ["^" pattern]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["[0]" type (.use "[1]#[0]" equivalence)]]] diff --git a/stdlib/source/test/lux/meta/code.lux b/stdlib/source/test/lux/meta/code.lux index 2a645fcaa..80c1bbe65 100644 --- a/stdlib/source/test/lux/meta/code.lux +++ b/stdlib/source/test/lux/meta/code.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except local global) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -31,7 +30,9 @@ [compiler [language [lux - ["[0]" syntax]]]]]]] + ["[0]" syntax]]]]] + [test + ["_" property (.only Test)]]]] ["[0]" \\parser] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/compiler/arity.lux b/stdlib/source/test/lux/meta/compiler/arity.lux index ffff0f3e6..08f735f81 100644 --- a/stdlib/source/test/lux/meta/compiler/arity.lux +++ b/stdlib/source/test/lux/meta/compiler/arity.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [data @@ -9,7 +8,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis.lux index 6a18983f0..4fdb983a1 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -34,7 +33,9 @@ ["$[1]" \\test]] [compiler [reference (.only Constant) - [variable (.only)]]]]]] + [variable (.only)]]]] + [test + ["_" property (.only Test)]]]] ["[0]" \\parser] [\\library ["[0]" / (.only) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/complex.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/complex.lux index 069b07187..f4de2a962 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/complex.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/complex.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -14,7 +13,9 @@ [math ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/coverage.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/coverage.lux index 417413fb0..7272d6c98 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/coverage.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/coverage.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except Pattern) - ["_" test (.only Test)] [abstract ["[0]" monad (.only do)] [\\specification @@ -30,7 +29,9 @@ ["f" frac]]] [meta [macro - ["^" pattern]]]]] + ["^" pattern]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" // diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/inference.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/inference.lux index 24433b8d0..127af213b 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/inference.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/inference.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -26,7 +25,9 @@ ["[0]" configuration ["$[1]" \\test]] ["[0]" type (.use "[1]#[0]" equivalence) - ["[0]" check (.only Check)]]]]] + ["[0]" check (.only Check)]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" // (.only) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/macro.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/macro.lux index 19c701bef..2d29df1d8 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/macro.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/macro.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -24,7 +23,9 @@ ["[0]" code (.use "[1]#[0]" equivalence)] ["[0]" macro] ["[0]" configuration - ["$[1]" \\test]]]]] + ["$[1]" \\test]]] + [test + ["_" property (.only Test)]]]] ["$" /////// [meta ["[1][0]" symbol] diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/module.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/module.lux index 7a68264d7..4bb9269cf 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/module.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/module.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract ["[0]" monad (.only do)]] [control @@ -20,7 +19,9 @@ ["n" nat]]] ["[0]" meta (.only) ["[0]" configuration - ["$[1]" \\test]]]]] + ["$[1]" \\test]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" // (.only) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/pattern.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/pattern.lux index e3034f93c..74faec932 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/pattern.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/pattern.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -12,7 +11,9 @@ [math ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number - ["f" frac]]]]] + ["f" frac]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]] ["[0]" // diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/scope.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/scope.lux index 5fb2ad044..bc2c63519 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/scope.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/scope.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -19,7 +18,9 @@ ["n" nat]]] [meta ["[0]" type - ["$[1]" \\test]]]]] + ["$[1]" \\test]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" // (.only) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/simple.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/simple.lux index b029f6add..a334cf0b0 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/simple.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/simple.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -12,7 +11,9 @@ [math ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number - ["f" frac]]]]] + ["f" frac]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/type.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/type.lux index 805939c68..8afc7c8fc 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/type.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/type.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -15,7 +14,9 @@ ["[0]" configuration ["$[1]" \\test]] ["[0]" type (.use "[1]#[0]" equivalence) - ["[0]" check]]]]] + ["[0]" check]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" // (.only) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis.lux index 579356065..7595b7a87 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -20,7 +19,9 @@ ["[0]" code] ["[0]" macro] ["[0]" type (.use "[1]#[0]" equivalence) - ["[0]" check]]]]] + ["[0]" check]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [// diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/case.lux index 5c1752fe3..16d10e01a 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/case.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/case.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -17,7 +16,9 @@ ["[0]" code] ["[0]" macro] ["[0]" type (.use "[1]#[0]" equivalence) - ["[0]" check]]]]] + ["[0]" check]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" // (.only) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/complex.lux index 9e9004371..294251023 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/complex.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/complex.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -31,7 +30,9 @@ ["[0]" configuration ["$[1]" \\test]] ["[0]" type (.use "[1]#[0]" equivalence) - ["[0]" check]]]]] + ["[0]" check]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" // (.only) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/function.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/function.lux index efd22de9a..41d0ff3f1 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/function.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/function.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -25,7 +24,9 @@ ["$[1]" \\test]] ["[0]" type (.use "[1]#[0]" equivalence) ["$[1]" \\test] - ["[0]" check]]]]] + ["[0]" check]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" // (.only) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/reference.lux index 6cc8db551..060f7cbd1 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/reference.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/reference.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -15,7 +14,9 @@ ["[0]" random]] [meta ["[0]" type (.use "[1]#[0]" equivalence) - ["$[1]" \\test]]]]] + ["$[1]" \\test]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" // diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/simple.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/simple.lux index bceb035c6..d4b76212d 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/simple.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/simple.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -14,7 +13,9 @@ [meta ["[0]" type (.use "[1]#[0]" equivalence)] ["[0]" configuration - ["$[1]" \\test]]]]] + ["$[1]" \\test]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [/// diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension.lux index 08e310f54..8daf0cd19 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract ["[0]" monad (.only do)] [\\specification @@ -22,7 +21,9 @@ ["[0]" random (.only Random)] [number ["n" nat] - ["i" int]]]]] + ["i" int]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [///// diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux index 5de7ad7d3..5eff1f2b9 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux @@ -1,23 +1,25 @@ (.require - [lux (.except i64 int primitive) - [abstract - ["[0]" monad (.only do)]] - [data - ["%" text/format (.only format)]] - ["r" math/random (.only Random)] - ["_" test (.only Test)] - [control - [io (.only IO)] - ["[0]" pipe] - ["[0]" try] - [concurrency - ["[0]" atom]]] - [data - ["[0]" product]] - [meta - ["[0]" code] - ["[0]" symbol] - ["[0]" type (.use "[1]#[0]" equivalence)]]] + [library + [lux (.except i64 int primitive) + [abstract + ["[0]" monad (.only do)]] + [data + ["%" text/format (.only format)]] + ["r" math/random (.only Random)] + [control + [io (.only IO)] + ["[0]" pipe] + ["[0]" try] + [concurrency + ["[0]" atom]]] + [data + ["[0]" product]] + [meta + ["[0]" code] + ["[0]" symbol] + ["[0]" type (.use "[1]#[0]" equivalence)]] + [test + ["_" property (.only Test)]]]] [//// [analysis ["_[0]" primitive]]] diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis.lux index e4a2814b4..1414fb23e 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis.lux @@ -1,6 +1,8 @@ (.require - [lux (.except) - ["_" test (.only Test)]] + [library + [lux (.except) + [test + ["_" property (.only Test)]]]] ["[0]" / ["[1][0]" primitive] ["[1][0]" structure] diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/case.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/case.lux index 7f348e194..8df7f087c 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/case.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/case.lux @@ -1,26 +1,28 @@ (.require - [lux (.except) - ["_" test (.only Test)] - [abstract - [hash (.only Hash)] - ["[0]" monad (.only do)]] - [control - ["[0]" pipe] - ["[0]" try (.use "[1]#[0]" functor)]] - [data - ["[0]" sum] - ["[0]" text (.only) - ["%" \\format (.only format)]] - [number - ["n" nat] - ["[0]" int] - ["[0]" rev] - ["[0]" frac]] - [collection - ["[0]" list (.use "[1]#[0]" functor mix monoid)] - ["[0]" set]]] - [math - ["[0]" random (.only Random)]]] + [library + [lux (.except) + [abstract + [hash (.only Hash)] + ["[0]" monad (.only do)]] + [control + ["[0]" pipe] + ["[0]" try (.use "[1]#[0]" functor)]] + [data + ["[0]" sum] + ["[0]" text (.only) + ["%" \\format (.only format)]] + [number + ["n" nat] + ["[0]" int] + ["[0]" rev] + ["[0]" frac]] + [collection + ["[0]" list (.use "[1]#[0]" functor mix monoid)] + ["[0]" set]]] + [math + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] ["[0]" // ["[1][0]" primitive]] [\\ diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/function.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/function.lux index 579f52354..35acd02b6 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/function.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/function.lux @@ -1,25 +1,27 @@ (.require - [lux (.except) - ["_" test (.only Test)] - [abstract - ["[0]" monad (.only do)]] - [control - ["[0]" try]] - [data - ["[0]" product] - ["[0]" text (.only) - ["%" \\format (.only format)]] - [number - ["n" nat]] - [collection - ["[0]" list (.use "[1]#[0]" functor mix monoid)] - ["[0]" dictionary (.only Dictionary)] - ["[0]" set]]] - [math - ["[0]" random (.only Random)]] - [meta - [macro - ["^" pattern]]]] + [library + [lux (.except) + [abstract + ["[0]" monad (.only do)]] + [control + ["[0]" try]] + [data + ["[0]" product] + ["[0]" text (.only) + ["%" \\format (.only format)]] + [number + ["n" nat]] + [collection + ["[0]" list (.use "[1]#[0]" functor mix monoid)] + ["[0]" dictionary (.only Dictionary)] + ["[0]" set]]] + [math + ["[0]" random (.only Random)]] + [meta + [macro + ["^" pattern]]] + [test + ["_" property (.only Test)]]]] ["[0]" // ["[1][0]" primitive]] [\\ diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/loop.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/loop.lux index 76df6ec77..d2fa415a0 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/loop.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/loop.lux @@ -1,18 +1,20 @@ (.require - [lux (.except structure loop function) - ["_" test (.only Test)] - [abstract - [monad (.only do)]] - [control - ["[0]" try] - ["[0]" exception]] - [data - [number - ["n" nat]] - [collection - ["[0]" list (.use "[1]#[0]" functor)]]] - [math - ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]] + [library + [lux (.except structure loop function) + [abstract + [monad (.only do)]] + [control + ["[0]" try] + ["[0]" exception]] + [data + [number + ["n" nat]] + [collection + ["[0]" list (.use "[1]#[0]" functor)]]] + [math + ["[0]" random (.only Random) (.use "[1]#[0]" monad)]] + [test + ["_" property (.only Test)]]]] [\\ ["[0]" / [//// diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/primitive.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/primitive.lux index 62d7d5db2..e9d5451ef 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/primitive.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/primitive.lux @@ -1,19 +1,21 @@ (.require - [lux (.except primitive) - [abstract ["[0]" monad (.only do)]] - [control - ["[0]" pipe] - ["[0]" try]] - [data - ["%" text/format (.only format)] - [number - ["n" nat]] - [collection - ["[0]" list]]] - ["r" math/random (.only Random) (.use "[1]#[0]" monad)] - ["_" test (.only Test)] - [meta - ["[0]" symbol]]] + [library + [lux (.except primitive) + [abstract ["[0]" monad (.only do)]] + [control + ["[0]" pipe] + ["[0]" try]] + [data + ["%" text/format (.only format)] + [number + ["n" nat]] + [collection + ["[0]" list]]] + ["r" math/random (.only Random) (.use "[1]#[0]" monad)] + [meta + ["[0]" symbol]] + [test + ["_" property (.only Test)]]]] [\\ ["[0]" / ["/[1]" // (.only) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/structure.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/structure.lux index 8da9fae17..904f98b43 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/structure.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/structure.lux @@ -1,23 +1,25 @@ (.require - [lux (.except) - [abstract - ["[0]" monad (.only do)]] - [data - ["%" text/format (.only format)]] - ["r" math/random (.only Random)] - ["_" test (.only Test)] - [control - ["[0]" pipe] - ["[0]" try]] - [data - ["[0]" bit (.use "[1]#[0]" equivalence)] - ["[0]" product] - [number - ["n" nat]] - [collection - ["[0]" list]]] - [meta - ["[0]" symbol]]] + [library + [lux (.except) + [abstract + ["[0]" monad (.only do)]] + [data + ["%" text/format (.only format)]] + ["r" math/random (.only Random)] + [control + ["[0]" pipe] + ["[0]" try]] + [data + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" product] + [number + ["n" nat]] + [collection + ["[0]" list]]] + [meta + ["[0]" symbol]] + [test + ["_" property (.only Test)]]]] ["[0]" // ["[1][0]" primitive]] [\\ diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/variable.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/variable.lux index 309ba20ff..fe6ec126b 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/variable.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/variable.lux @@ -1,24 +1,26 @@ (.require - [lux (.except) - ["_" test (.only Test)] - [abstract - ["[0]" monad (.only do)]] - [control - ["[0]" try]] - [data - ["[0]" product] - ["[0]" text - ["%" \\format (.only format)]] - [number - ["n" nat]] - [collection - ["[0]" list (.use "[1]#[0]" functor mix)] - ["[0]" dictionary (.only Dictionary)]]] - [math - ["[0]" random (.only Random)]] - [meta - [macro - ["^" pattern]]]] + [library + [lux (.except) + [abstract + ["[0]" monad (.only do)]] + [control + ["[0]" try]] + [data + ["[0]" product] + ["[0]" text + ["%" \\format (.only format)]] + [number + ["n" nat]] + [collection + ["[0]" list (.use "[1]#[0]" functor mix)] + ["[0]" dictionary (.only Dictionary)]]] + [math + ["[0]" random (.only Random)]] + [meta + [macro + ["^" pattern]]] + [test + ["_" property (.only Test)]]]] [\\ ["[0]" / [//// diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/syntax.lux b/stdlib/source/test/lux/meta/compiler/language/lux/syntax.lux index fa6f6fade..d2c6a2a1f 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/syntax.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/syntax.lux @@ -6,7 +6,6 @@ [number ["n" nat]]] ["r" math/random (.only Random) (.use "[1]#[0]" monad)] - ["_" test (.only Test)] [control ["[0]" try] [parser @@ -19,7 +18,9 @@ [meta ["[0]" code] ["[0]" location] - ["[0]" symbol]]] + ["[0]" symbol]] + [test + ["_" property (.only Test)]]] [\\ ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/synthesis.lux b/stdlib/source/test/lux/meta/compiler/language/lux/synthesis.lux index 4308c95bb..151567041 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/synthesis.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/synthesis.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract ["[0]" monad (.only do)]] [control @@ -29,7 +28,9 @@ [language [lux [analysis (.only Environment)] - ["[0]" synthesis (.only Synthesis)]]]]]]] + ["[0]" synthesis (.only Synthesis)]]]]] + [test + ["_" property (.only Test)]]]] ["[0]" \\parser] ["[0]" / ["[1][0]" simple] diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/access.lux b/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/access.lux index 67022657e..535fdc025 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/access.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/access.lux @@ -1,7 +1,8 @@ (.require [library [lux (.except) - ["_" test (.only Test)]]] + [test + ["_" property (.only Test)]]]] ["[0]" / ["[1][0]" side] ["[1][0]" member]]) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/access/member.lux b/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/access/member.lux index f9a892715..3008247b0 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/access/member.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/access/member.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -11,7 +10,9 @@ ["[0]" bit (.use "[1]#[0]" equivalence)] ["[0]" text (.use "[1]#[0]" equivalence)]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/access/side.lux b/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/access/side.lux index 236f373e1..d3c09db3d 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/access/side.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/access/side.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -11,7 +10,9 @@ ["[0]" bit (.use "[1]#[0]" equivalence)] ["[0]" text (.use "[1]#[0]" equivalence)]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/simple.lux b/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/simple.lux index 67cf4f719..726436046 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/simple.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/simple.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -13,7 +12,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/compiler/meta/archive.lux b/stdlib/source/test/lux/meta/compiler/meta/archive.lux index 2ada929d2..8195a009a 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/archive.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/archive.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -18,7 +17,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["[1][0]" key] diff --git a/stdlib/source/test/lux/meta/compiler/meta/archive/artifact.lux b/stdlib/source/test/lux/meta/compiler/meta/archive/artifact.lux index 4801f7569..bfd6c978e 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/archive/artifact.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/archive/artifact.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)]]]] ["[0]" / ["[1][0]" category]] [\\library diff --git a/stdlib/source/test/lux/meta/compiler/meta/archive/artifact/category.lux b/stdlib/source/test/lux/meta/compiler/meta/archive/artifact/category.lux index 5eb23ba3e..d88627520 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/archive/artifact/category.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/archive/artifact/category.lux @@ -1,12 +1,13 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [\\specification ["$[0]" equivalence]]] [math - ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]]] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/compiler/meta/archive/key.lux b/stdlib/source/test/lux/meta/compiler/meta/archive/key.lux index fe3230d7c..f363e573b 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/archive/key.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/archive/key.lux @@ -1,11 +1,12 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [math - ["[0]" random]]]] + ["[0]" random]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]] ["[0]" // diff --git a/stdlib/source/test/lux/meta/compiler/meta/archive/module.lux b/stdlib/source/test/lux/meta/compiler/meta/archive/module.lux index 33aed16e6..a8075cc24 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/archive/module.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/archive/module.lux @@ -1,13 +1,14 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["[0]" document] diff --git a/stdlib/source/test/lux/meta/compiler/meta/archive/module/descriptor.lux b/stdlib/source/test/lux/meta/compiler/meta/archive/module/descriptor.lux index fd3103d21..1f711dfd7 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/archive/module/descriptor.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/archive/module/descriptor.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -14,7 +13,9 @@ ["[1]" \\format] ["<[1]>" \\parser]]] [math - ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]]] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/compiler/meta/archive/module/document.lux b/stdlib/source/test/lux/meta/compiler/meta/archive/module/document.lux index b1ab4c5ec..4bd52fa23 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/archive/module/document.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/archive/module/document.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -15,7 +14,9 @@ [math ["[0]" random] [number - ["[0]" nat]]]]] + ["[0]" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [/// diff --git a/stdlib/source/test/lux/meta/compiler/meta/archive/registry.lux b/stdlib/source/test/lux/meta/compiler/meta/archive/registry.lux index ef21f8b7d..b7e4e73b3 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/archive/registry.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/archive/registry.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -20,7 +19,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [// diff --git a/stdlib/source/test/lux/meta/compiler/meta/archive/signature.lux b/stdlib/source/test/lux/meta/compiler/meta/archive/signature.lux index 2d75deca0..a44e21510 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/archive/signature.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/archive/signature.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -15,7 +14,9 @@ ["[1]F" \\format] ["<[1]>" \\parser]]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]] ["[0]" //// diff --git a/stdlib/source/test/lux/meta/compiler/meta/archive/unit.lux b/stdlib/source/test/lux/meta/compiler/meta/archive/unit.lux index 3bdef20a8..21e04fb85 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/archive/unit.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/archive/unit.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [\\specification ["$[0]" equivalence] @@ -10,7 +9,9 @@ [collection ["[0]" set]]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/compiler/meta/cache.lux b/stdlib/source/test/lux/meta/compiler/meta/cache.lux index e52d9f4c2..fbff46fd2 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/cache.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/cache.lux @@ -11,8 +11,9 @@ ["[0]" random]] [world ["[0]" file]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] [\\library ["[0]" /]] ["[0]" / diff --git a/stdlib/source/test/lux/meta/compiler/meta/cache/archive.lux b/stdlib/source/test/lux/meta/compiler/meta/cache/archive.lux index 09263a7d3..8779a86f0 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/cache/archive.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/cache/archive.lux @@ -17,8 +17,9 @@ ["n" nat]]] [world ["[0]" file]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" // (.only) diff --git a/stdlib/source/test/lux/meta/compiler/meta/cache/artifact.lux b/stdlib/source/test/lux/meta/compiler/meta/cache/artifact.lux index aff81fd7e..29a5f85b5 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/cache/artifact.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/cache/artifact.lux @@ -16,8 +16,9 @@ ["n" nat]]] [world ["[0]" file]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" // diff --git a/stdlib/source/test/lux/meta/compiler/meta/cache/module.lux b/stdlib/source/test/lux/meta/compiler/meta/cache/module.lux index bf12dcc3a..dbfb86c7f 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/cache/module.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/cache/module.lux @@ -12,8 +12,9 @@ ["[0]" random]] [world ["[0]" file]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] [\\library ["[0]" /]] ["$[0]" /// diff --git a/stdlib/source/test/lux/meta/compiler/meta/cache/purge.lux b/stdlib/source/test/lux/meta/compiler/meta/cache/purge.lux index cf0b520f2..25d61d664 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/cache/purge.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/cache/purge.lux @@ -23,8 +23,9 @@ ["n" nat]]] [world ["[0]" file]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" // diff --git a/stdlib/source/test/lux/meta/compiler/meta/cli.lux b/stdlib/source/test/lux/meta/compiler/meta/cli.lux index 156804e1a..b30db36b6 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/cli.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/cli.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -21,7 +20,9 @@ ["[0]" configuration (.use "[1]#[0]" equivalence) ["$[1]" \\test]]] ["[0]" program - ["<[1]>" \\parser]]]] + ["<[1]>" \\parser]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["[1][0]" compiler (.only Compiler)]]] diff --git a/stdlib/source/test/lux/meta/compiler/meta/cli/compiler.lux b/stdlib/source/test/lux/meta/compiler/meta/cli/compiler.lux index 66a7997d5..c1de82f58 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/cli/compiler.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/cli/compiler.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -17,7 +16,9 @@ ["n" nat]]] [meta ["[0]" symbol - ["$[1]" \\test]]]]] + ["$[1]" \\test]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/compiler/meta/context.lux b/stdlib/source/test/lux/meta/compiler/meta/context.lux index d6ecdceec..789fb1563 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/context.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/context.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)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/compiler/meta/export.lux b/stdlib/source/test/lux/meta/compiler/meta/export.lux index e1dd299b0..484a411b1 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/export.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/export.lux @@ -27,8 +27,9 @@ ["n" nat]]] [world ["[0]" file]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [// diff --git a/stdlib/source/test/lux/meta/compiler/meta/import.lux b/stdlib/source/test/lux/meta/compiler/meta/import.lux index 30ba445cd..f48053c98 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/import.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/import.lux @@ -30,8 +30,9 @@ ["n" nat]]] [world ["[0]" file]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [// diff --git a/stdlib/source/test/lux/meta/compiler/phase.lux b/stdlib/source/test/lux/meta/compiler/phase.lux index 39ee0604b..b4ace0f20 100644 --- a/stdlib/source/test/lux/meta/compiler/phase.lux +++ b/stdlib/source/test/lux/meta/compiler/phase.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -18,7 +17,9 @@ ["[0]" random] [number ["n" nat] - ["i" int]]]]] + ["i" int]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [// diff --git a/stdlib/source/test/lux/meta/compiler/reference.lux b/stdlib/source/test/lux/meta/compiler/reference.lux index 6f247179c..9cbd38424 100644 --- a/stdlib/source/test/lux/meta/compiler/reference.lux +++ b/stdlib/source/test/lux/meta/compiler/reference.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -15,7 +14,9 @@ [number ["n" nat]]] [meta - ["[0]" symbol (.use "[1]#[0]" equivalence)]]]] + ["[0]" symbol (.use "[1]#[0]" equivalence)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["[0]" variable (.only Register)]]] diff --git a/stdlib/source/test/lux/meta/compiler/reference/variable.lux b/stdlib/source/test/lux/meta/compiler/reference/variable.lux index f2b219b86..6cb7c7c10 100644 --- a/stdlib/source/test/lux/meta/compiler/reference/variable.lux +++ b/stdlib/source/test/lux/meta/compiler/reference/variable.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -10,7 +9,9 @@ [data ["[0]" text (.use "[1]#[0]" equivalence)]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/compiler/version.lux b/stdlib/source/test/lux/meta/compiler/version.lux index 24e40bd56..2129286ae 100644 --- a/stdlib/source/test/lux/meta/compiler/version.lux +++ b/stdlib/source/test/lux/meta/compiler/version.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [data @@ -11,7 +10,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/configuration.lux b/stdlib/source/test/lux/meta/configuration.lux index ed0998646..e8ebe4980 100644 --- a/stdlib/source/test/lux/meta/configuration.lux +++ b/stdlib/source/test/lux/meta/configuration.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -23,7 +22,9 @@ ["<[1]>" \\parser]] [macro [syntax (.only syntax)] - ["[0]" expansion]]]]] + ["[0]" expansion]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/extension.lux b/stdlib/source/test/lux/meta/extension.lux index bfe11a0e0..66bf59e0e 100644 --- a/stdlib/source/test/lux/meta/extension.lux +++ b/stdlib/source/test/lux/meta/extension.lux @@ -1,7 +1,6 @@ (.`` (.`` (.require [library [lux (.except) - ["_" test (.only Test)] ["[0]" debug] [abstract ["[0]" monad (.only do)]] @@ -58,7 +57,9 @@ [generation (.,, (.for "JVM" (.,, (.these ["[0]" jvm ["[1]/[0]" runtime]])) - (.,, (.these))))]]]]]]]] + (.,, (.these))))]]]]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only analysis synthesis generation declaration)]]))) diff --git a/stdlib/source/test/lux/meta/location.lux b/stdlib/source/test/lux/meta/location.lux index d87af185b..46b7138b9 100644 --- a/stdlib/source/test/lux/meta/location.lux +++ b/stdlib/source/test/lux/meta/location.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -9,7 +8,9 @@ [data ["[0]" text]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]] ["$[0]" // diff --git a/stdlib/source/test/lux/meta/macro.lux b/stdlib/source/test/lux/meta/macro.lux index 59dbf995f..792ed49eb 100644 --- a/stdlib/source/test/lux/meta/macro.lux +++ b/stdlib/source/test/lux/meta/macro.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -21,7 +20,9 @@ ["[0]" location] ["[0]" symbol] ["[0]" code (.use "[1]#[0]" equivalence) - ["<[1]>" \\parser]]]]] + ["<[1]>" \\parser]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["^" pattern] diff --git a/stdlib/source/test/lux/meta/macro/context.lux b/stdlib/source/test/lux/meta/macro/context.lux index 865d6abe8..18fdd1d9e 100644 --- a/stdlib/source/test/lux/meta/macro/context.lux +++ b/stdlib/source/test/lux/meta/macro/context.lux @@ -1,7 +1,8 @@ (.require [library [lux (.except) - ["_" test (.only Test)]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/macro/local.lux b/stdlib/source/test/lux/meta/macro/local.lux index 19398b395..eb58f416b 100644 --- a/stdlib/source/test/lux/meta/macro/local.lux +++ b/stdlib/source/test/lux/meta/macro/local.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except with) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -23,7 +22,9 @@ ["<[1]>" \\parser]] ["[0]" macro (.only) [syntax (.only syntax)] - ["[0]" expansion]]]]] + ["[0]" expansion]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/macro/pattern.lux b/stdlib/source/test/lux/meta/macro/pattern.lux index 6d5e3c559..0b443cfd6 100644 --- a/stdlib/source/test/lux/meta/macro/pattern.lux +++ b/stdlib/source/test/lux/meta/macro/pattern.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [data @@ -13,7 +12,9 @@ ["i" int] ["f" frac]]] [meta - ["[0]" code]]]] + ["[0]" code]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/macro/syntax.lux b/stdlib/source/test/lux/meta/macro/syntax.lux index 5c6b392f1..c9281691a 100644 --- a/stdlib/source/test/lux/meta/macro/syntax.lux +++ b/stdlib/source/test/lux/meta/macro/syntax.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [math @@ -10,7 +9,9 @@ ["n" nat]]] [meta ["[0]" code - ["<[1]>" \\parser]]]]] + ["<[1]>" \\parser]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]] ["[0]" / diff --git a/stdlib/source/test/lux/meta/macro/syntax/check.lux b/stdlib/source/test/lux/meta/macro/syntax/check.lux index 1820536b8..72a8753f1 100644 --- a/stdlib/source/test/lux/meta/macro/syntax/check.lux +++ b/stdlib/source/test/lux/meta/macro/syntax/check.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -13,7 +12,9 @@ ["[0]" random (.only Random)]] [meta ["[0]" code (.use "[1]#[0]" equivalence) - ["<[1]>" \\parser]]]]] + ["<[1]>" \\parser]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]] ["$[0]" //// diff --git a/stdlib/source/test/lux/meta/macro/syntax/declaration.lux b/stdlib/source/test/lux/meta/macro/syntax/declaration.lux index d81a44ac3..9a06513ed 100644 --- a/stdlib/source/test/lux/meta/macro/syntax/declaration.lux +++ b/stdlib/source/test/lux/meta/macro/syntax/declaration.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -11,7 +10,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [//// diff --git a/stdlib/source/test/lux/meta/macro/syntax/definition.lux b/stdlib/source/test/lux/meta/macro/syntax/definition.lux index 878cc8ee9..28aa3653d 100644 --- a/stdlib/source/test/lux/meta/macro/syntax/definition.lux +++ b/stdlib/source/test/lux/meta/macro/syntax/definition.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -15,7 +14,9 @@ [meta ["[0]" location] ["[0]" code (.use "[1]#[0]" equivalence) - ["<[1]>" \\parser]]]]] + ["<[1]>" \\parser]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]] ["$[0]"// diff --git a/stdlib/source/test/lux/meta/macro/syntax/export.lux b/stdlib/source/test/lux/meta/macro/syntax/export.lux index bace31485..b8109c5b6 100644 --- a/stdlib/source/test/lux/meta/macro/syntax/export.lux +++ b/stdlib/source/test/lux/meta/macro/syntax/export.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -13,7 +12,9 @@ ["n" nat]]] [meta ["[0]" code (.use "[1]#[0]" equivalence) - ["<[1]>" \\parser]]]]] + ["<[1]>" \\parser]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/macro/syntax/input.lux b/stdlib/source/test/lux/meta/macro/syntax/input.lux index 49ae69f1c..fffc345da 100644 --- a/stdlib/source/test/lux/meta/macro/syntax/input.lux +++ b/stdlib/source/test/lux/meta/macro/syntax/input.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -17,7 +16,9 @@ ["n" nat]]] [meta ["[0]" code - ["<[1]>" \\parser]]]]] + ["<[1]>" \\parser]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]] ["$[0]" //// diff --git a/stdlib/source/test/lux/meta/macro/syntax/type/variable.lux b/stdlib/source/test/lux/meta/macro/syntax/type/variable.lux index c0c2c146d..e7abf1416 100644 --- a/stdlib/source/test/lux/meta/macro/syntax/type/variable.lux +++ b/stdlib/source/test/lux/meta/macro/syntax/type/variable.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -9,7 +8,9 @@ [control ["[0]" try (.use "[1]#[0]" functor)]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [///// diff --git a/stdlib/source/test/lux/meta/macro/template.lux b/stdlib/source/test/lux/meta/macro/template.lux index c239d6821..c9edbd035 100644 --- a/stdlib/source/test/lux/meta/macro/template.lux +++ b/stdlib/source/test/lux/meta/macro/template.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -19,7 +18,9 @@ ["<[1]>" \\parser]] [macro [syntax (.only syntax)] - ["[0]" expansion]]]]] + ["[0]" expansion]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/static.lux b/stdlib/source/test/lux/meta/static.lux index 0a0d784a9..e030d74ac 100644 --- a/stdlib/source/test/lux/meta/static.lux +++ b/stdlib/source/test/lux/meta/static.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [data ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] @@ -16,7 +15,9 @@ ["f" frac]]] ["[0]" meta (.only) ["@" target] - ["[0]" code]]]] + ["[0]" code]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/symbol.lux b/stdlib/source/test/lux/meta/symbol.lux index 1c54441cc..fef843ede 100644 --- a/stdlib/source/test/lux/meta/symbol.lux +++ b/stdlib/source/test/lux/meta/symbol.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -17,7 +16,9 @@ ["n" nat]]] [meta [macro - ["^" pattern]]]]] + ["^" pattern]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/target.lux b/stdlib/source/test/lux/meta/target.lux index f0010eb83..322f270e9 100644 --- a/stdlib/source/test/lux/meta/target.lux +++ b/stdlib/source/test/lux/meta/target.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except all) - ["_" test (.only Test)] [data ["[0]" text] [collection @@ -9,7 +8,9 @@ ["[0]" set (.only Set)]]] [math [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/target/js.lux b/stdlib/source/test/lux/meta/target/js.lux index 94fc0c470..759e0af3c 100644 --- a/stdlib/source/test/lux/meta/target/js.lux +++ b/stdlib/source/test/lux/meta/target/js.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -26,7 +25,9 @@ [meta ["[0]" static] [macro - ["[0]" template]]]]] + ["[0]" template]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/target/jvm.lux b/stdlib/source/test/lux/meta/target/jvm.lux index b3758f810..0e0da91da 100644 --- a/stdlib/source/test/lux/meta/target/jvm.lux +++ b/stdlib/source/test/lux/meta/target/jvm.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except Type Primitive Label int) - ["_" test (.only Test)] ["[0]" ffi (.only import)] [abstract ["[0]" monad (.only do)]] @@ -33,7 +32,9 @@ ["[0]" i32 (.only I32)] ["[0]" i64]]] [meta - ["@" target]]]] + ["@" target]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / ["[1][0]" loader (.only Library)] diff --git a/stdlib/source/test/lux/meta/target/lua.lux b/stdlib/source/test/lux/meta/target/lua.lux index ad8ef35d6..9b2cd6642 100644 --- a/stdlib/source/test/lux/meta/target/lua.lux +++ b/stdlib/source/test/lux/meta/target/lua.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] ["[0]" ffi] [abstract [monad (.only do)] @@ -29,7 +28,9 @@ [meta ["[0]" static] [macro - ["[0]" template]]]]] + ["[0]" template]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/target/python.lux b/stdlib/source/test/lux/meta/target/python.lux index 4181f5f2e..fdc5ef219 100644 --- a/stdlib/source/test/lux/meta/target/python.lux +++ b/stdlib/source/test/lux/meta/target/python.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] ["[0]" ffi] [abstract [monad (.only do)] @@ -28,7 +27,9 @@ ["[0]" i64]]] [meta ["[0]" static] - ["[0]" code]]]] + ["[0]" code]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.use "[1]#[0]" equivalence)]]) diff --git a/stdlib/source/test/lux/meta/target/ruby.lux b/stdlib/source/test/lux/meta/target/ruby.lux index 627303a41..37395eeb2 100644 --- a/stdlib/source/test/lux/meta/target/ruby.lux +++ b/stdlib/source/test/lux/meta/target/ruby.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] ["[0]" ffi] ["[0]" debug] [abstract @@ -33,7 +32,9 @@ ["[0]" packager ["[1]" ruby]]]]] [world - ["[0]" file]]]] + ["[0]" file]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.use "[1]#[0]" equivalence)]]) diff --git a/stdlib/source/test/lux/meta/type.lux b/stdlib/source/test/lux/meta/type.lux index 79432b2bc..226533dd1 100644 --- a/stdlib/source/test/lux/meta/type.lux +++ b/stdlib/source/test/lux/meta/type.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except symbol) - ["_" test (.only Test)] [abstract ["[0]" monad (.only do)] [\\specification @@ -27,7 +26,9 @@ ["[0]" symbol (.use "[1]#[0]" equivalence)] ["[0]" code (.use "[1]#[0]" equivalence)] [macro - ["^" pattern]]]]] + ["^" pattern]]] + [test + ["_" property (.only Test)]]]] ["[0]" \\parser] [\\library ["[0]" / (.use "[1]#[0]" equivalence)]] diff --git a/stdlib/source/test/lux/meta/type/check.lux b/stdlib/source/test/lux/meta/type/check.lux index e1974368d..f6874ae5f 100644 --- a/stdlib/source/test/lux/meta/type/check.lux +++ b/stdlib/source/test/lux/meta/type/check.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except symbol type) - ["_" test (.only Test)] [abstract ["[0]" monad (.only do)] [\\specification @@ -27,7 +26,9 @@ ["n" nat]]] [meta [macro - ["^" pattern]]]]] + ["^" pattern]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" // (.use "[1]#[0]" equivalence)]]]) diff --git a/stdlib/source/test/lux/meta/type/dynamic.lux b/stdlib/source/test/lux/meta/type/dynamic.lux index 595a1da05..78382883f 100644 --- a/stdlib/source/test/lux/meta/type/dynamic.lux +++ b/stdlib/source/test/lux/meta/type/dynamic.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -13,7 +12,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/type/implicit.lux b/stdlib/source/test/lux/meta/type/implicit.lux index 299ae7464..66daa4a32 100644 --- a/stdlib/source/test/lux/meta/type/implicit.lux +++ b/stdlib/source/test/lux/meta/type/implicit.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [equivalence (.only)] [functor (.only)] @@ -15,7 +14,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/type/primitive.lux b/stdlib/source/test/lux/meta/type/primitive.lux index 899c0d75b..d87a17059 100644 --- a/stdlib/source/test/lux/meta/type/primitive.lux +++ b/stdlib/source/test/lux/meta/type/primitive.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -18,7 +17,9 @@ ["<[1]>" \\parser]] ["[0]" macro (.only) [syntax (.only syntax)] - ["[0]" template]]]]] + ["[0]" template]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/type/quotient.lux b/stdlib/source/test/lux/meta/type/quotient.lux index 72d39b19d..aac5e212e 100644 --- a/stdlib/source/test/lux/meta/type/quotient.lux +++ b/stdlib/source/test/lux/meta/type/quotient.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract ["[0]" monad (.only do)] [\\specification @@ -12,7 +11,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat (.use "[1]#[0]" equivalence)]]]]] + ["n" nat (.use "[1]#[0]" equivalence)]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/type/refinement.lux b/stdlib/source/test/lux/meta/type/refinement.lux index 711d0401f..845c878fd 100644 --- a/stdlib/source/test/lux/meta/type/refinement.lux +++ b/stdlib/source/test/lux/meta/type/refinement.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -14,7 +13,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/type/resource.lux b/stdlib/source/test/lux/meta/type/resource.lux index 0935d0c2e..25c44d81a 100644 --- a/stdlib/source/test/lux/meta/type/resource.lux +++ b/stdlib/source/test/lux/meta/type/resource.lux @@ -22,8 +22,9 @@ [macro [syntax (.only syntax)] ["[0]" expansion]]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Res)]]) diff --git a/stdlib/source/test/lux/meta/type/unit.lux b/stdlib/source/test/lux/meta/type/unit.lux index 8be5095df..c31abd6b0 100644 --- a/stdlib/source/test/lux/meta/type/unit.lux +++ b/stdlib/source/test/lux/meta/type/unit.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [equivalence (.only Equivalence)] @@ -12,7 +11,9 @@ [math ["[0]" random (.only Random)] [number - ["i" int]]]]] + ["i" int]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]] ["[0]" / diff --git a/stdlib/source/test/lux/meta/type/unit/scale.lux b/stdlib/source/test/lux/meta/type/unit/scale.lux index 6a4a8c625..82ac4fb05 100644 --- a/stdlib/source/test/lux/meta/type/unit/scale.lux +++ b/stdlib/source/test/lux/meta/type/unit/scale.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [equivalence (.only Equivalence)]] @@ -13,7 +12,9 @@ ["[0]" meta (.only) ["[0]" code] [macro - [syntax (.only syntax)]]]]] + [syntax (.only syntax)]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" //]]]) diff --git a/stdlib/source/test/lux/meta/type/variance.lux b/stdlib/source/test/lux/meta/type/variance.lux index 911c68067..494aa23f9 100644 --- a/stdlib/source/test/lux/meta/type/variance.lux +++ b/stdlib/source/test/lux/meta/type/variance.lux @@ -1,11 +1,12 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" // (.only) diff --git a/stdlib/source/test/lux/meta/version.lux b/stdlib/source/test/lux/meta/version.lux index 6df9bf4e5..999e2f2e1 100644 --- a/stdlib/source/test/lux/meta/version.lux +++ b/stdlib/source/test/lux/meta/version.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -19,7 +18,9 @@ ["<[1]>" \\parser]] [macro [syntax (.only syntax)] - ["[0]" expansion]]]]] + ["[0]" expansion]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/program.lux b/stdlib/source/test/lux/program.lux index c2e473f46..62ab2204e 100644 --- a/stdlib/source/test/lux/program.lux +++ b/stdlib/source/test/lux/program.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -21,7 +20,9 @@ ["<[1]>" \\parser]] [macro [syntax (.only syntax)] - ["^" pattern]]]]] + ["^" pattern]]] + [test + ["_" property (.only Test)]]]] ["[0]" \\parser] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/test.lux b/stdlib/source/test/lux/test.lux deleted file mode 100644 index 6d2939185..000000000 --- a/stdlib/source/test/lux/test.lux +++ /dev/null @@ -1,307 +0,0 @@ -(.require - [library - [lux (.except) - [abstract - [monad (.only do)]] - [control - ["[0]" io] - ["[0]" exception] - [concurrency - ["[0]" async] - ["[0]" atom (.only Atom)]]] - [data - ["[0]" text (.use "[1]#[0]" equivalence) - ["%" \\format]] - [collection - ["[0]" list] - ["[0]" set]]] - [math - ["[0]" random] - [number - ["n" nat]]]]] - [\\library - ["[0]" / (.only) - ["[0]" unit] - ["[0]" tally (.only Tally)]]]) - -(def (verify expected_message/0 expected_message/1 successes failures [tally message]) - (-> Text Text Nat Nat [Tally Text] Bit) - (and (text.contains? expected_message/0 message) - (text.contains? expected_message/1 message) - (n.= successes (the tally.#successes tally)) - (n.= failures (the tally.#failures tally)))) - -(def unit_test - /.Test - (do [! random.monad] - [expected_message/0 (random.lower_case 5) - expected_message/1 (random.only (|>> (text#= expected_message/0) not) - (random.lower_case 5))] - (all /.and - (in (do async.monad - [[success_tally success_message] (unit.test expected_message/0 true) - [failure_tally failure_message] (unit.test expected_message/0 false)] - (unit.coverage [unit.test tally.Tally] - (and (text.ends_with? expected_message/0 success_message) - (text.ends_with? expected_message/0 failure_message) - (and (n.= 1 (the tally.#successes success_tally)) - (n.= 0 (the tally.#failures success_tally))) - (and (n.= 0 (the tally.#successes failure_tally)) - (n.= 1 (the tally.#failures failure_tally))))))) - (in (do async.monad - [tt (unit.and (unit.test expected_message/0 true) - (unit.test expected_message/1 true)) - ff (unit.and (unit.test expected_message/0 false) - (unit.test expected_message/1 false)) - tf (unit.and (unit.test expected_message/0 true) - (unit.test expected_message/1 false)) - ft (unit.and (unit.test expected_message/0 false) - (unit.test expected_message/1 true))] - (unit.coverage [unit.and] - (and (..verify expected_message/0 expected_message/1 2 0 tt) - (..verify expected_message/0 expected_message/1 0 2 ff) - (..verify expected_message/0 expected_message/1 1 1 tf) - (..verify expected_message/0 expected_message/1 1 1 ft))))) - ))) - -(def seed - /.Test - (do [! random.monad] - [seed random.nat - .let [[read write] (is [(async.Async Nat) (async.Resolver Nat)] - (async.async []))] - pre (<| (/.seed seed) - (do ! - [sample random.nat - .let [wrote? (io.run! (write sample))]] - (/.test "" wrote?))) - post (<| (/.seed seed) - (do ! - [actual random.nat] - (in (do async.monad - [expected read] - (unit.test "" (n.= expected actual))))))] - (in (do async.monad - [[pre_tally pre_message] pre - [post_tally post_message] post] - (unit.coverage [/.seed] - (and (and (n.= 1 (the tally.#successes pre_tally)) - (n.= 0 (the tally.#failures pre_tally))) - (and (n.= 1 (the tally.#successes post_tally)) - (n.= 0 (the tally.#failures post_tally))))))))) - -(def times - /.Test - (all /.and - (do [! random.monad] - [times_unit_test (/.times 0 (/.test "" true))] - (in (do async.monad - [[tally error] times_unit_test] - (unit.coverage [/.must_try_test_at_least_once] - (and (text.contains? (the exception.#label /.must_try_test_at_least_once) error) - (n.= 0 (the tally.#successes tally)) - (n.= 1 (the tally.#failures tally))))))) - (do [! random.monad] - [expected (at ! each (|>> (n.% 10) ++) random.nat) - .let [counter (is (Atom Nat) - (atom.atom 0))] - times_unit_test (<| (/.times expected) - (do ! - [_ (in []) - .let [_ (io.run! (atom.update! ++ counter))]] - (/.test "" true)))] - (in (do async.monad - [[tally error] times_unit_test - actual (async.future (atom.read! counter))] - (unit.coverage [/.times] - (and (n.= expected actual) - (n.= 1 (the tally.#successes tally)) - (n.= 0 (the tally.#failures tally))))))) - )) - -(def in_parallel - /.Test - (all /.and - (do [! random.monad] - [expected (at ! each (|>> (n.% 10) ++) random.nat) - .let [counter (is (Atom Nat) - (atom.atom 0))] - unit_test (<| /.in_parallel - (list.repeated expected) - (is /.Test) - (do ! - [_ (in []) - .let [_ (io.run! (atom.update! ++ counter))]] - (/.test "" true)))] - (in (do async.monad - [[tally error] unit_test - actual (async.future (atom.read! counter))] - (unit.coverage [/.in_parallel] - (and (n.= expected actual) - (n.= expected (the tally.#successes tally)) - (n.= 0 (the tally.#failures tally))))))) - (do [! random.monad] - [expected (at ! each (|>> (n.% 10) ++) random.nat) - .let [counter (is (Atom Nat) - (atom.atom 0))] - unit_test (<| /.in_parallel - (list.repeated expected) - (is /.Test) - (do ! - [_ (in []) - .let [_ (undefined) - _ (io.run! (atom.update! ++ counter))]] - (/.test "" true)))] - (in (do async.monad - [[tally error] unit_test - actual (async.future (atom.read! counter))] - (unit.coverage [/.error_during_execution] - (let [correct_error! (text.contains? (the exception.#label /.error_during_execution) error) - no_complete_run! (n.= 0 actual) - no_successes! (n.= 0 (the tally.#successes tally)) - ran_all_tests! (n.= expected (the tally.#failures tally))] - (and correct_error! - no_complete_run! - no_successes! - ran_all_tests!)))))) - )) - -(def .public dummy_target - "YOLO") - -(def coverage - /.Test - (all /.and - (do random.monad - [not_covering (/.test "" true) - covering (/.covering .._ (/.test "" true))] - (in (do async.monad - [[not_covering _] not_covering - [covering _] covering] - (unit.coverage [/.covering] - (and (and (set.empty? (the tally.#expected not_covering)) - (set.empty? (the tally.#actual not_covering))) - (and (not (set.empty? (the tally.#expected covering))) - (set.empty? (the tally.#actual covering)))))))) - (do random.monad - [not_covering (/.covering .._ (/.test "" true)) - covering (/.covering .._ (/.coverage [..dummy_target] true))] - (in (do async.monad - [[not_covering _] not_covering - [covering _] covering] - (unit.coverage [/.coverage] - (and (and (not (set.empty? (the tally.#expected not_covering))) - (not (set.member? (the tally.#actual not_covering) (symbol ..dummy_target)))) - (and (not (set.empty? (the tally.#expected covering))) - (set.member? (the tally.#actual covering) (symbol ..dummy_target)))))))) - (do random.monad - [not_covering (/.covering .._ (/.test "" true)) - covering (/.covering .._ (in (unit.coverage [..dummy_target] true)))] - (in (do async.monad - [[not_covering _] not_covering - [covering _] covering] - (unit.coverage [unit.coverage] - (and (and (not (set.empty? (the tally.#expected not_covering))) - (not (set.member? (the tally.#actual not_covering) (symbol ..dummy_target)))) - (and (not (set.empty? (the tally.#expected covering))) - (set.member? (the tally.#actual covering) (symbol ..dummy_target)))))))) - (do random.monad - [not_covering (/.covering .._ (/.test "" true)) - covering (/.covering .._ (/.for [..dummy_target] (/.test "" true)))] - (in (do async.monad - [[not_covering _] not_covering - [covering _] covering] - (unit.coverage [/.for] - (and (and (not (set.empty? (the tally.#expected not_covering))) - (not (set.member? (the tally.#actual not_covering) (symbol ..dummy_target)))) - (and (not (set.empty? (the tally.#expected covering))) - (set.member? (the tally.#actual covering) (symbol ..dummy_target)))))))) - )) - -(def .public test - /.Test - (<| (/.covering /._) - (/.for [/.Test]) - (do [! random.monad] - [expected_context (random.lower_case 5) - expected_message/0 (random.only (|>> (text#= expected_context) not) - (random.lower_case 5)) - expected_message/1 (random.only (|>> (text#= expected_message/0) not) - (random.lower_case 5))] - (all /.and - (/.for [unit.Test] - ..unit_test) - (/.for [/.Seed] - seed) - (do ! - [success_unit_test (/.test expected_message/0 true) - failure_unit_test (/.test expected_message/0 false)] - (in (do async.monad - [[success_tally success_message] success_unit_test - [failure_tally failure_message] failure_unit_test] - (unit.coverage [/.test] - (and (text.ends_with? (%.text expected_message/0) success_message) - (text.ends_with? (%.text expected_message/0) failure_message) - (and (n.= 1 (the tally.#successes success_tally)) - (n.= 0 (the tally.#failures success_tally))) - (and (n.= 0 (the tally.#successes failure_tally)) - (n.= 1 (the tally.#failures failure_tally)))))))) - (do ! - [tt (/.and (/.test expected_message/0 true) - (/.test expected_message/1 true)) - ff (/.and (/.test expected_message/0 false) - (/.test expected_message/1 false)) - tf (/.and (/.test expected_message/0 true) - (/.test expected_message/1 false)) - ft (/.and (/.test expected_message/0 false) - (/.test expected_message/1 true))] - (in (do async.monad - [tt tt - ff ff - tf tf - ft ft] - (unit.coverage [/.and] - (and (..verify expected_message/0 expected_message/1 2 0 tt) - (..verify expected_message/0 expected_message/1 0 2 ff) - (..verify expected_message/0 expected_message/1 1 1 tf) - (..verify expected_message/0 expected_message/1 1 1 ft)))))) - (do ! - [success_unit_test (/.context expected_context (/.test expected_message/0 true)) - failure_unit_test (/.context expected_context (/.test expected_message/0 false))] - (in (do async.monad - [[success_tally success_message] success_unit_test - [failure_tally failure_message] failure_unit_test] - (unit.coverage [/.context] - (and (and (text.contains? expected_context success_message) - (text.contains? expected_message/0 success_message)) - (and (text.contains? expected_context failure_message) - (text.contains? expected_message/0 failure_message)) - (and (n.= 1 (the tally.#successes success_tally)) - (n.= 0 (the tally.#failures success_tally))) - (and (n.= 0 (the tally.#successes failure_tally)) - (n.= 1 (the tally.#failures failure_tally)))))))) - (do ! - [failure_unit_test (/.failure expected_message/0)] - (in (do async.monad - [[failure_tally failure_message] failure_unit_test] - (unit.coverage [/.failure] - (and (text.contains? expected_message/0 failure_message) - (and (n.= 0 (the tally.#successes failure_tally)) - (n.= 1 (the tally.#failures failure_tally)))))))) - (do ! - [success_unit_test (/.lifted expected_message/0 (in true)) - failure_unit_test (/.lifted expected_message/0 (in false))] - (in (do async.monad - [[success_tally success_message] success_unit_test - [failure_tally failure_message] failure_unit_test] - (unit.coverage [/.lifted] - (and (text.contains? expected_message/0 success_message) - (text.contains? expected_message/0 failure_message) - (and (n.= 1 (the tally.#successes success_tally)) - (n.= 0 (the tally.#failures success_tally))) - (and (n.= 0 (the tally.#successes failure_tally)) - (n.= 1 (the tally.#failures failure_tally)))))))) - ..times - ..in_parallel - ..coverage - )))) diff --git a/stdlib/source/test/lux/test/property.lux b/stdlib/source/test/lux/test/property.lux new file mode 100644 index 000000000..87b5aee56 --- /dev/null +++ b/stdlib/source/test/lux/test/property.lux @@ -0,0 +1,308 @@ +(.require + [library + [lux (.except) + [abstract + [monad (.only do)]] + [control + ["[0]" io] + ["[0]" exception] + [concurrency + ["[0]" async] + ["[0]" atom (.only Atom)]]] + [data + ["[0]" text (.use "[1]#[0]" equivalence) + ["%" \\format]] + [collection + ["[0]" list] + ["[0]" set]]] + [math + ["[0]" random] + [number + ["n" nat]]]]] + [\\library + ["[0]" / (.only) + [// + ["[0]" unit] + ["[0]" tally (.only Tally)]]]]) + +(def (verify expected_message/0 expected_message/1 successes failures [tally message]) + (-> Text Text Nat Nat [Tally Text] Bit) + (and (text.contains? expected_message/0 message) + (text.contains? expected_message/1 message) + (n.= successes (the tally.#successes tally)) + (n.= failures (the tally.#failures tally)))) + +(def unit_test + /.Test + (do [! random.monad] + [expected_message/0 (random.lower_case 5) + expected_message/1 (random.only (|>> (text#= expected_message/0) not) + (random.lower_case 5))] + (all /.and + (in (do async.monad + [[success_tally success_message] (unit.test expected_message/0 true) + [failure_tally failure_message] (unit.test expected_message/0 false)] + (unit.coverage [unit.test tally.Tally] + (and (text.ends_with? expected_message/0 success_message) + (text.ends_with? expected_message/0 failure_message) + (and (n.= 1 (the tally.#successes success_tally)) + (n.= 0 (the tally.#failures success_tally))) + (and (n.= 0 (the tally.#successes failure_tally)) + (n.= 1 (the tally.#failures failure_tally))))))) + (in (do async.monad + [tt (unit.and (unit.test expected_message/0 true) + (unit.test expected_message/1 true)) + ff (unit.and (unit.test expected_message/0 false) + (unit.test expected_message/1 false)) + tf (unit.and (unit.test expected_message/0 true) + (unit.test expected_message/1 false)) + ft (unit.and (unit.test expected_message/0 false) + (unit.test expected_message/1 true))] + (unit.coverage [unit.and] + (and (..verify expected_message/0 expected_message/1 2 0 tt) + (..verify expected_message/0 expected_message/1 0 2 ff) + (..verify expected_message/0 expected_message/1 1 1 tf) + (..verify expected_message/0 expected_message/1 1 1 ft))))) + ))) + +(def seed + /.Test + (do [! random.monad] + [seed random.nat + .let [[read write] (is [(async.Async Nat) (async.Resolver Nat)] + (async.async []))] + pre (<| (/.seed seed) + (do ! + [sample random.nat + .let [wrote? (io.run! (write sample))]] + (/.test "" wrote?))) + post (<| (/.seed seed) + (do ! + [actual random.nat] + (in (do async.monad + [expected read] + (unit.test "" (n.= expected actual))))))] + (in (do async.monad + [[pre_tally pre_message] pre + [post_tally post_message] post] + (unit.coverage [/.seed] + (and (and (n.= 1 (the tally.#successes pre_tally)) + (n.= 0 (the tally.#failures pre_tally))) + (and (n.= 1 (the tally.#successes post_tally)) + (n.= 0 (the tally.#failures post_tally))))))))) + +(def times + /.Test + (all /.and + (do [! random.monad] + [times_unit_test (/.times 0 (/.test "" true))] + (in (do async.monad + [[tally error] times_unit_test] + (unit.coverage [/.must_try_test_at_least_once] + (and (text.contains? (the exception.#label /.must_try_test_at_least_once) error) + (n.= 0 (the tally.#successes tally)) + (n.= 1 (the tally.#failures tally))))))) + (do [! random.monad] + [expected (at ! each (|>> (n.% 10) ++) random.nat) + .let [counter (is (Atom Nat) + (atom.atom 0))] + times_unit_test (<| (/.times expected) + (do ! + [_ (in []) + .let [_ (io.run! (atom.update! ++ counter))]] + (/.test "" true)))] + (in (do async.monad + [[tally error] times_unit_test + actual (async.future (atom.read! counter))] + (unit.coverage [/.times] + (and (n.= expected actual) + (n.= 1 (the tally.#successes tally)) + (n.= 0 (the tally.#failures tally))))))) + )) + +(def in_parallel + /.Test + (all /.and + (do [! random.monad] + [expected (at ! each (|>> (n.% 10) ++) random.nat) + .let [counter (is (Atom Nat) + (atom.atom 0))] + unit_test (<| /.in_parallel + (list.repeated expected) + (is /.Test) + (do ! + [_ (in []) + .let [_ (io.run! (atom.update! ++ counter))]] + (/.test "" true)))] + (in (do async.monad + [[tally error] unit_test + actual (async.future (atom.read! counter))] + (unit.coverage [/.in_parallel] + (and (n.= expected actual) + (n.= expected (the tally.#successes tally)) + (n.= 0 (the tally.#failures tally))))))) + (do [! random.monad] + [expected (at ! each (|>> (n.% 10) ++) random.nat) + .let [counter (is (Atom Nat) + (atom.atom 0))] + unit_test (<| /.in_parallel + (list.repeated expected) + (is /.Test) + (do ! + [_ (in []) + .let [_ (undefined) + _ (io.run! (atom.update! ++ counter))]] + (/.test "" true)))] + (in (do async.monad + [[tally error] unit_test + actual (async.future (atom.read! counter))] + (unit.coverage [/.error_during_execution] + (let [correct_error! (text.contains? (the exception.#label /.error_during_execution) error) + no_complete_run! (n.= 0 actual) + no_successes! (n.= 0 (the tally.#successes tally)) + ran_all_tests! (n.= expected (the tally.#failures tally))] + (and correct_error! + no_complete_run! + no_successes! + ran_all_tests!)))))) + )) + +(def .public dummy_target + "YOLO") + +(def coverage + /.Test + (all /.and + (do random.monad + [not_covering (/.test "" true) + covering (/.covering .._ (/.test "" true))] + (in (do async.monad + [[not_covering _] not_covering + [covering _] covering] + (unit.coverage [/.covering] + (and (and (set.empty? (the tally.#expected not_covering)) + (set.empty? (the tally.#actual not_covering))) + (and (not (set.empty? (the tally.#expected covering))) + (set.empty? (the tally.#actual covering)))))))) + (do random.monad + [not_covering (/.covering .._ (/.test "" true)) + covering (/.covering .._ (/.coverage [..dummy_target] true))] + (in (do async.monad + [[not_covering _] not_covering + [covering _] covering] + (unit.coverage [/.coverage] + (and (and (not (set.empty? (the tally.#expected not_covering))) + (not (set.member? (the tally.#actual not_covering) (symbol ..dummy_target)))) + (and (not (set.empty? (the tally.#expected covering))) + (set.member? (the tally.#actual covering) (symbol ..dummy_target)))))))) + (do random.monad + [not_covering (/.covering .._ (/.test "" true)) + covering (/.covering .._ (in (unit.coverage [..dummy_target] true)))] + (in (do async.monad + [[not_covering _] not_covering + [covering _] covering] + (unit.coverage [unit.coverage] + (and (and (not (set.empty? (the tally.#expected not_covering))) + (not (set.member? (the tally.#actual not_covering) (symbol ..dummy_target)))) + (and (not (set.empty? (the tally.#expected covering))) + (set.member? (the tally.#actual covering) (symbol ..dummy_target)))))))) + (do random.monad + [not_covering (/.covering .._ (/.test "" true)) + covering (/.covering .._ (/.for [..dummy_target] (/.test "" true)))] + (in (do async.monad + [[not_covering _] not_covering + [covering _] covering] + (unit.coverage [/.for] + (and (and (not (set.empty? (the tally.#expected not_covering))) + (not (set.member? (the tally.#actual not_covering) (symbol ..dummy_target)))) + (and (not (set.empty? (the tally.#expected covering))) + (set.member? (the tally.#actual covering) (symbol ..dummy_target)))))))) + )) + +(def .public test + /.Test + (<| (/.covering /._) + (/.for [/.Test]) + (do [! random.monad] + [expected_context (random.lower_case 5) + expected_message/0 (random.only (|>> (text#= expected_context) not) + (random.lower_case 5)) + expected_message/1 (random.only (|>> (text#= expected_message/0) not) + (random.lower_case 5))] + (all /.and + (/.for [unit.Test] + ..unit_test) + (/.for [/.Seed] + seed) + (do ! + [success_unit_test (/.test expected_message/0 true) + failure_unit_test (/.test expected_message/0 false)] + (in (do async.monad + [[success_tally success_message] success_unit_test + [failure_tally failure_message] failure_unit_test] + (unit.coverage [/.test] + (and (text.ends_with? (%.text expected_message/0) success_message) + (text.ends_with? (%.text expected_message/0) failure_message) + (and (n.= 1 (the tally.#successes success_tally)) + (n.= 0 (the tally.#failures success_tally))) + (and (n.= 0 (the tally.#successes failure_tally)) + (n.= 1 (the tally.#failures failure_tally)))))))) + (do ! + [tt (/.and (/.test expected_message/0 true) + (/.test expected_message/1 true)) + ff (/.and (/.test expected_message/0 false) + (/.test expected_message/1 false)) + tf (/.and (/.test expected_message/0 true) + (/.test expected_message/1 false)) + ft (/.and (/.test expected_message/0 false) + (/.test expected_message/1 true))] + (in (do async.monad + [tt tt + ff ff + tf tf + ft ft] + (unit.coverage [/.and] + (and (..verify expected_message/0 expected_message/1 2 0 tt) + (..verify expected_message/0 expected_message/1 0 2 ff) + (..verify expected_message/0 expected_message/1 1 1 tf) + (..verify expected_message/0 expected_message/1 1 1 ft)))))) + (do ! + [success_unit_test (/.context expected_context (/.test expected_message/0 true)) + failure_unit_test (/.context expected_context (/.test expected_message/0 false))] + (in (do async.monad + [[success_tally success_message] success_unit_test + [failure_tally failure_message] failure_unit_test] + (unit.coverage [/.context] + (and (and (text.contains? expected_context success_message) + (text.contains? expected_message/0 success_message)) + (and (text.contains? expected_context failure_message) + (text.contains? expected_message/0 failure_message)) + (and (n.= 1 (the tally.#successes success_tally)) + (n.= 0 (the tally.#failures success_tally))) + (and (n.= 0 (the tally.#successes failure_tally)) + (n.= 1 (the tally.#failures failure_tally)))))))) + (do ! + [failure_unit_test (/.failure expected_message/0)] + (in (do async.monad + [[failure_tally failure_message] failure_unit_test] + (unit.coverage [/.failure] + (and (text.contains? expected_message/0 failure_message) + (and (n.= 0 (the tally.#successes failure_tally)) + (n.= 1 (the tally.#failures failure_tally)))))))) + (do ! + [success_unit_test (/.lifted expected_message/0 (in true)) + failure_unit_test (/.lifted expected_message/0 (in false))] + (in (do async.monad + [[success_tally success_message] success_unit_test + [failure_tally failure_message] failure_unit_test] + (unit.coverage [/.lifted] + (and (text.contains? expected_message/0 success_message) + (text.contains? expected_message/0 failure_message) + (and (n.= 1 (the tally.#successes success_tally)) + (n.= 0 (the tally.#failures success_tally))) + (and (n.= 0 (the tally.#successes failure_tally)) + (n.= 1 (the tally.#failures failure_tally)))))))) + ..times + ..in_parallel + ..coverage + )))) diff --git a/stdlib/source/test/lux/world.lux b/stdlib/source/test/lux/world.lux index 0f8c65711..0694d559c 100644 --- a/stdlib/source/test/lux/world.lux +++ b/stdlib/source/test/lux/world.lux @@ -1,7 +1,8 @@ (.require [library [lux (.except) - ["_" test (.only Test)]]] + [test + ["_" property (.only Test)]]]] ["[0]" / ["[1][0]" file] ["[1][0]" shell] diff --git a/stdlib/source/test/lux/world/console.lux b/stdlib/source/test/lux/world/console.lux index 9dd7975c7..1cac08a06 100644 --- a/stdlib/source/test/lux/world/console.lux +++ b/stdlib/source/test/lux/world/console.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -12,7 +11,9 @@ ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]]] [math - ["[0]" random]]]] + ["[0]" random]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]] [\\specification diff --git a/stdlib/source/test/lux/world/environment.lux b/stdlib/source/test/lux/world/environment.lux index ee9879d21..c2a9ac384 100644 --- a/stdlib/source/test/lux/world/environment.lux +++ b/stdlib/source/test/lux/world/environment.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -19,7 +18,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] ["[0]" \\parser (.only Environment)] [\\library ["[0]" / (.only) diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux index ff12cb791..3eec4fa19 100644 --- a/stdlib/source/test/lux/world/file.lux +++ b/stdlib/source/test/lux/world/file.lux @@ -24,8 +24,9 @@ [world [time ["[0]" instant (.only Instant)]]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] ["[0]" / ["[1][0]" watch]] [\\library diff --git a/stdlib/source/test/lux/world/file/watch.lux b/stdlib/source/test/lux/world/file/watch.lux index a56fce833..73f7755ca 100644 --- a/stdlib/source/test/lux/world/file/watch.lux +++ b/stdlib/source/test/lux/world/file/watch.lux @@ -18,8 +18,9 @@ ["[0]" list]]] [math ["[0]" random (.only Random) (.use "[1]#[0]" monad)]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" //]]] diff --git a/stdlib/source/test/lux/world/input/keyboard.lux b/stdlib/source/test/lux/world/input/keyboard.lux index ef44188ba..408e3f92c 100644 --- a/stdlib/source/test/lux/world/input/keyboard.lux +++ b/stdlib/source/test/lux/world/input/keyboard.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -17,7 +16,9 @@ ["n" nat]]] [meta [macro - ["[0]" template]]]]] + ["[0]" template]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/world/locale.lux b/stdlib/source/test/lux/world/locale.lux index b7c99d34a..f4e8f7919 100644 --- a/stdlib/source/test/lux/world/locale.lux +++ b/stdlib/source/test/lux/world/locale.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -13,7 +12,9 @@ ["[0]" text (.use "[1]#[0]" equivalence) ["[0]" encoding (.only Encoding)]] [collection - ["[0]" list]]]]] + ["[0]" list]]] + [test + ["_" property (.only Test)]]]] ["[0]" / ["[1][0]" language] ["[1][0]" territory]] diff --git a/stdlib/source/test/lux/world/locale/language.lux b/stdlib/source/test/lux/world/locale/language.lux index edabb90d2..8e203a4d9 100644 --- a/stdlib/source/test/lux/world/locale/language.lux +++ b/stdlib/source/test/lux/world/locale/language.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 [macro - ["[0]" template]]]]] + ["[0]" template]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/world/locale/territory.lux b/stdlib/source/test/lux/world/locale/territory.lux index 969fe32a1..06ab0b2d5 100644 --- a/stdlib/source/test/lux/world/locale/territory.lux +++ b/stdlib/source/test/lux/world/locale/territory.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 [macro - ["[0]" template]]]]] + ["[0]" template]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/world/net/http/client.lux b/stdlib/source/test/lux/world/net/http/client.lux index fcba904f9..01bd03616 100644 --- a/stdlib/source/test/lux/world/net/http/client.lux +++ b/stdlib/source/test/lux/world/net/http/client.lux @@ -23,8 +23,9 @@ ["[0]" random (.only Random)] [number ["[0]" nat]]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" // (.only) diff --git a/stdlib/source/test/lux/world/net/http/status.lux b/stdlib/source/test/lux/world/net/http/status.lux index 370c1e6bd..e155c44a0 100644 --- a/stdlib/source/test/lux/world/net/http/status.lux +++ b/stdlib/source/test/lux/world/net/http/status.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except all) - ["_" test (.only Test)] [data [collection ["[0]" list] @@ -11,7 +10,9 @@ ["n" nat]]] [meta [macro - ["[0]" template]]]]] + ["[0]" template]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" //]]]) diff --git a/stdlib/source/test/lux/world/output/video/resolution.lux b/stdlib/source/test/lux/world/output/video/resolution.lux index 1135566e6..80add1ed7 100644 --- a/stdlib/source/test/lux/world/output/video/resolution.lux +++ b/stdlib/source/test/lux/world/output/video/resolution.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)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/world/shell.lux b/stdlib/source/test/lux/world/shell.lux index 0e3b16ce9..8b3da3a10 100644 --- a/stdlib/source/test/lux/world/shell.lux +++ b/stdlib/source/test/lux/world/shell.lux @@ -18,8 +18,9 @@ [number ["n" nat] ["i" int]]] - ["_" test (.only Test) - ["[0]" unit]]]] + [test + ["[0]" unit] + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [// diff --git a/stdlib/source/test/lux/world/time.lux b/stdlib/source/test/lux/world/time.lux index 62c3ec43c..6e3bbff5b 100644 --- a/stdlib/source/test/lux/world/time.lux +++ b/stdlib/source/test/lux/world/time.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -20,7 +19,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] ["[0]" / ["[1][0]" date] ["[1][0]" day] diff --git a/stdlib/source/test/lux/world/time/date.lux b/stdlib/source/test/lux/world/time/date.lux index c97fd626e..e6887f9e0 100644 --- a/stdlib/source/test/lux/world/time/date.lux +++ b/stdlib/source/test/lux/world/time/date.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -20,7 +19,9 @@ ["[0]" random (.only Random)] [number ["n" nat] - ["i" int]]]]] + ["i" int]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/world/time/day.lux b/stdlib/source/test/lux/world/time/day.lux index eecc8a0fb..f69727234 100644 --- a/stdlib/source/test/lux/world/time/day.lux +++ b/stdlib/source/test/lux/world/time/day.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -22,7 +21,9 @@ [math ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/world/time/duration.lux b/stdlib/source/test/lux/world/time/duration.lux index e73108548..093f98f0d 100644 --- a/stdlib/source/test/lux/world/time/duration.lux +++ b/stdlib/source/test/lux/world/time/duration.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)] [number ["n" nat] - ["i" int]]]]] + ["i" int]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/world/time/instant.lux b/stdlib/source/test/lux/world/time/instant.lux index 56a4749ec..cebba07ff 100644 --- a/stdlib/source/test/lux/world/time/instant.lux +++ b/stdlib/source/test/lux/world/time/instant.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -17,7 +16,9 @@ [collection ["[0]" list (.use "[1]#[0]" mix)]]] [math - ["[0]" random]]]] + ["[0]" random]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [// diff --git a/stdlib/source/test/lux/world/time/month.lux b/stdlib/source/test/lux/world/time/month.lux index c87a956cd..e7b5f09a2 100644 --- a/stdlib/source/test/lux/world/time/month.lux +++ b/stdlib/source/test/lux/world/time/month.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -22,7 +21,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [// diff --git a/stdlib/source/test/lux/world/time/year.lux b/stdlib/source/test/lux/world/time/year.lux index 0e0dee518..32c19dccf 100644 --- a/stdlib/source/test/lux/world/time/year.lux +++ b/stdlib/source/test/lux/world/time/year.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -19,7 +18,9 @@ ["[0]" random (.only Random)] [number ["n" nat] - ["i" int]]]]] + ["i" int]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" // (.only) -- cgit v1.2.3