aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
authorEduardo Julian2022-08-10 19:38:43 -0400
committerEduardo Julian2022-08-10 19:38:43 -0400
commit68d78235694c633c956bb9e8a007cad7d65370bc (patch)
treef84fcb298d29d3c85d149fd2f3c94f31b59305d4 /stdlib/source/test
parent6ec8f5d2f6cbf8db45f91e5c4b48c6ec17659f72 (diff)
Extracted property-based testing machinery into its own module.
Diffstat (limited to 'stdlib/source/test')
-rw-r--r--stdlib/source/test/aedifex.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/extension.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/build.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/stamp.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/time.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/time.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/time/date.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/time/time.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/type.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/versioning.lux5
-rw-r--r--stdlib/source/test/aedifex/cache.lux5
-rw-r--r--stdlib/source/test/aedifex/cli.lux5
-rw-r--r--stdlib/source/test/aedifex/command.lux3
-rw-r--r--stdlib/source/test/aedifex/command/auto.lux5
-rw-r--r--stdlib/source/test/aedifex/command/build.lux5
-rw-r--r--stdlib/source/test/aedifex/command/clean.lux5
-rw-r--r--stdlib/source/test/aedifex/command/deploy.lux5
-rw-r--r--stdlib/source/test/aedifex/command/deps.lux5
-rw-r--r--stdlib/source/test/aedifex/command/install.lux5
-rw-r--r--stdlib/source/test/aedifex/command/pom.lux5
-rw-r--r--stdlib/source/test/aedifex/command/test.lux5
-rw-r--r--stdlib/source/test/aedifex/command/version.lux5
-rw-r--r--stdlib/source/test/aedifex/dependency.lux5
-rw-r--r--stdlib/source/test/aedifex/dependency/deployment.lux5
-rw-r--r--stdlib/source/test/aedifex/dependency/resolution.lux5
-rw-r--r--stdlib/source/test/aedifex/dependency/status.lux5
-rw-r--r--stdlib/source/test/aedifex/hash.lux5
-rw-r--r--stdlib/source/test/aedifex/input.lux5
-rw-r--r--stdlib/source/test/aedifex/local.lux5
-rw-r--r--stdlib/source/test/aedifex/metadata.lux5
-rw-r--r--stdlib/source/test/aedifex/metadata/artifact.lux5
-rw-r--r--stdlib/source/test/aedifex/metadata/snapshot.lux5
-rw-r--r--stdlib/source/test/aedifex/package.lux5
-rw-r--r--stdlib/source/test/aedifex/parser.lux5
-rw-r--r--stdlib/source/test/aedifex/pom.lux5
-rw-r--r--stdlib/source/test/aedifex/profile.lux5
-rw-r--r--stdlib/source/test/aedifex/project.lux5
-rw-r--r--stdlib/source/test/aedifex/repository.lux5
-rw-r--r--stdlib/source/test/aedifex/repository/identity.lux5
-rw-r--r--stdlib/source/test/aedifex/repository/local.lux5
-rw-r--r--stdlib/source/test/aedifex/repository/origin.lux5
-rw-r--r--stdlib/source/test/aedifex/repository/remote.lux5
-rw-r--r--stdlib/source/test/aedifex/runtime.lux5
-rw-r--r--stdlib/source/test/lux.lux29
-rw-r--r--stdlib/source/test/lux/abstract.lux3
-rw-r--r--stdlib/source/test/lux/abstract/apply.lux5
-rw-r--r--stdlib/source/test/lux/abstract/codec.lux5
-rw-r--r--stdlib/source/test/lux/abstract/comonad.lux5
-rw-r--r--stdlib/source/test/lux/abstract/comonad/free.lux5
-rw-r--r--stdlib/source/test/lux/abstract/enum.lux5
-rw-r--r--stdlib/source/test/lux/abstract/equivalence.lux5
-rw-r--r--stdlib/source/test/lux/abstract/functor.lux5
-rw-r--r--stdlib/source/test/lux/abstract/functor/contravariant.lux3
-rw-r--r--stdlib/source/test/lux/abstract/hash.lux5
-rw-r--r--stdlib/source/test/lux/abstract/interval.lux5
-rw-r--r--stdlib/source/test/lux/abstract/mix.lux5
-rw-r--r--stdlib/source/test/lux/abstract/monad.lux5
-rw-r--r--stdlib/source/test/lux/abstract/monad/free.lux5
-rw-r--r--stdlib/source/test/lux/abstract/monoid.lux5
-rw-r--r--stdlib/source/test/lux/abstract/order.lux5
-rw-r--r--stdlib/source/test/lux/control.lux3
-rw-r--r--stdlib/source/test/lux/control/concatenative.lux5
-rw-r--r--stdlib/source/test/lux/control/concurrency/actor.lux3
-rw-r--r--stdlib/source/test/lux/control/concurrency/async.lux3
-rw-r--r--stdlib/source/test/lux/control/concurrency/atom.lux5
-rw-r--r--stdlib/source/test/lux/control/concurrency/frp.lux3
-rw-r--r--stdlib/source/test/lux/control/concurrency/semaphore.lux3
-rw-r--r--stdlib/source/test/lux/control/concurrency/stm.lux3
-rw-r--r--stdlib/source/test/lux/control/concurrency/thread.lux3
-rw-r--r--stdlib/source/test/lux/control/continuation.lux5
-rw-r--r--stdlib/source/test/lux/control/exception.lux5
-rw-r--r--stdlib/source/test/lux/control/function.lux5
-rw-r--r--stdlib/source/test/lux/control/function/contract.lux5
-rw-r--r--stdlib/source/test/lux/control/function/inline.lux5
-rw-r--r--stdlib/source/test/lux/control/function/memo.lux5
-rw-r--r--stdlib/source/test/lux/control/function/mixin.lux5
-rw-r--r--stdlib/source/test/lux/control/function/mutual.lux5
-rw-r--r--stdlib/source/test/lux/control/function/predicate.lux5
-rw-r--r--stdlib/source/test/lux/control/io.lux5
-rw-r--r--stdlib/source/test/lux/control/lazy.lux5
-rw-r--r--stdlib/source/test/lux/control/maybe.lux5
-rw-r--r--stdlib/source/test/lux/control/parser.lux5
-rw-r--r--stdlib/source/test/lux/control/pipe.lux5
-rw-r--r--stdlib/source/test/lux/control/reader.lux5
-rw-r--r--stdlib/source/test/lux/control/region.lux5
-rw-r--r--stdlib/source/test/lux/control/remember.lux5
-rw-r--r--stdlib/source/test/lux/control/security/capability.lux3
-rw-r--r--stdlib/source/test/lux/control/security/policy.lux5
-rw-r--r--stdlib/source/test/lux/control/state.lux5
-rw-r--r--stdlib/source/test/lux/control/thread.lux5
-rw-r--r--stdlib/source/test/lux/control/try.lux5
-rw-r--r--stdlib/source/test/lux/control/writer.lux5
-rw-r--r--stdlib/source/test/lux/data.lux5
-rw-r--r--stdlib/source/test/lux/data/binary.lux5
-rw-r--r--stdlib/source/test/lux/data/bit.lux5
-rw-r--r--stdlib/source/test/lux/data/collection.lux3
-rw-r--r--stdlib/source/test/lux/data/collection/array.lux5
-rw-r--r--stdlib/source/test/lux/data/collection/bits.lux5
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary.lux5
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary/ordered.lux5
-rw-r--r--stdlib/source/test/lux/data/collection/list.lux5
-rw-r--r--stdlib/source/test/lux/data/collection/list/property.lux5
-rw-r--r--stdlib/source/test/lux/data/collection/queue.lux5
-rw-r--r--stdlib/source/test/lux/data/collection/queue/priority.lux5
-rw-r--r--stdlib/source/test/lux/data/collection/sequence.lux5
-rw-r--r--stdlib/source/test/lux/data/collection/set.lux5
-rw-r--r--stdlib/source/test/lux/data/collection/set/multi.lux5
-rw-r--r--stdlib/source/test/lux/data/collection/set/ordered.lux5
-rw-r--r--stdlib/source/test/lux/data/collection/stack.lux5
-rw-r--r--stdlib/source/test/lux/data/collection/stream.lux5
-rw-r--r--stdlib/source/test/lux/data/collection/tree.lux5
-rw-r--r--stdlib/source/test/lux/data/collection/tree/finger.lux5
-rw-r--r--stdlib/source/test/lux/data/collection/tree/zipper.lux5
-rw-r--r--stdlib/source/test/lux/data/color.lux5
-rw-r--r--stdlib/source/test/lux/data/color/named.lux5
-rw-r--r--stdlib/source/test/lux/data/format/json.lux5
-rw-r--r--stdlib/source/test/lux/data/format/tar.lux5
-rw-r--r--stdlib/source/test/lux/data/format/xml.lux5
-rw-r--r--stdlib/source/test/lux/data/identity.lux5
-rw-r--r--stdlib/source/test/lux/data/product.lux5
-rw-r--r--stdlib/source/test/lux/data/sum.lux5
-rw-r--r--stdlib/source/test/lux/data/text.lux5
-rw-r--r--stdlib/source/test/lux/data/text/buffer.lux5
-rw-r--r--stdlib/source/test/lux/data/text/encoding.lux5
-rw-r--r--stdlib/source/test/lux/data/text/encoding/utf8.lux5
-rw-r--r--stdlib/source/test/lux/data/text/escape.lux5
-rw-r--r--stdlib/source/test/lux/data/text/regex.lux5
-rw-r--r--stdlib/source/test/lux/data/text/unicode/block.lux5
-rw-r--r--stdlib/source/test/lux/data/text/unicode/set.lux5
-rw-r--r--stdlib/source/test/lux/debug.lux5
-rw-r--r--stdlib/source/test/lux/documentation.lux5
-rw-r--r--stdlib/source/test/lux/ffi.js.lux5
-rw-r--r--stdlib/source/test/lux/ffi.jvm.lux5
-rw-r--r--stdlib/source/test/lux/ffi.lua.lux5
-rw-r--r--stdlib/source/test/lux/ffi.old.lux5
-rw-r--r--stdlib/source/test/lux/ffi.php.lux5
-rw-r--r--stdlib/source/test/lux/ffi.py.lux5
-rw-r--r--stdlib/source/test/lux/ffi.rb.lux5
-rw-r--r--stdlib/source/test/lux/ffi.scm.lux5
-rw-r--r--stdlib/source/test/lux/ffi/export.js.lux5
-rw-r--r--stdlib/source/test/lux/ffi/export.jvm.lux5
-rw-r--r--stdlib/source/test/lux/ffi/export.lua.lux5
-rw-r--r--stdlib/source/test/lux/ffi/export.py.lux5
-rw-r--r--stdlib/source/test/lux/ffi/export.rb.lux5
-rw-r--r--stdlib/source/test/lux/math.lux5
-rw-r--r--stdlib/source/test/lux/math/infix.lux5
-rw-r--r--stdlib/source/test/lux/math/logic/continuous.lux5
-rw-r--r--stdlib/source/test/lux/math/logic/fuzzy.lux5
-rw-r--r--stdlib/source/test/lux/math/modular.lux5
-rw-r--r--stdlib/source/test/lux/math/modulus.lux5
-rw-r--r--stdlib/source/test/lux/math/number.lux5
-rw-r--r--stdlib/source/test/lux/math/number/complex.lux5
-rw-r--r--stdlib/source/test/lux/math/number/frac.lux5
-rw-r--r--stdlib/source/test/lux/math/number/i16.lux5
-rw-r--r--stdlib/source/test/lux/math/number/i32.lux5
-rw-r--r--stdlib/source/test/lux/math/number/i64.lux5
-rw-r--r--stdlib/source/test/lux/math/number/i8.lux5
-rw-r--r--stdlib/source/test/lux/math/number/int.lux5
-rw-r--r--stdlib/source/test/lux/math/number/nat.lux5
-rw-r--r--stdlib/source/test/lux/math/number/ratio.lux5
-rw-r--r--stdlib/source/test/lux/math/number/rev.lux5
-rw-r--r--stdlib/source/test/lux/meta.lux5
-rw-r--r--stdlib/source/test/lux/meta/code.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/arity.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/analysis.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/analysis/complex.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/analysis/coverage.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/analysis/inference.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/analysis/macro.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/analysis/module.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/analysis/pattern.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/analysis/scope.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/analysis/simple.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/analysis/type.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/case.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/complex.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/function.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/reference.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/analysis/simple.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/extension.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/extension/analysis/lux.lux40
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis.lux6
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/case.lux46
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/function.lux44
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/loop.lux30
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/primitive.lux32
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/structure.lux40
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/synthesis/variable.lux42
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/syntax.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/synthesis.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/synthesis/access.lux3
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/synthesis/access/member.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/synthesis/access/side.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/synthesis/simple.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/archive.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/archive/artifact.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/archive/artifact/category.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/archive/key.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/archive/module.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/archive/module/descriptor.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/archive/module/document.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/archive/registry.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/archive/signature.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/archive/unit.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/cache.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/cache/archive.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/cache/artifact.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/cache/module.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/cache/purge.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/cli.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/cli/compiler.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/context.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/export.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/import.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/phase.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/reference.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/reference/variable.lux5
-rw-r--r--stdlib/source/test/lux/meta/compiler/version.lux5
-rw-r--r--stdlib/source/test/lux/meta/configuration.lux5
-rw-r--r--stdlib/source/test/lux/meta/extension.lux5
-rw-r--r--stdlib/source/test/lux/meta/location.lux5
-rw-r--r--stdlib/source/test/lux/meta/macro.lux5
-rw-r--r--stdlib/source/test/lux/meta/macro/context.lux3
-rw-r--r--stdlib/source/test/lux/meta/macro/local.lux5
-rw-r--r--stdlib/source/test/lux/meta/macro/pattern.lux5
-rw-r--r--stdlib/source/test/lux/meta/macro/syntax.lux5
-rw-r--r--stdlib/source/test/lux/meta/macro/syntax/check.lux5
-rw-r--r--stdlib/source/test/lux/meta/macro/syntax/declaration.lux5
-rw-r--r--stdlib/source/test/lux/meta/macro/syntax/definition.lux5
-rw-r--r--stdlib/source/test/lux/meta/macro/syntax/export.lux5
-rw-r--r--stdlib/source/test/lux/meta/macro/syntax/input.lux5
-rw-r--r--stdlib/source/test/lux/meta/macro/syntax/type/variable.lux5
-rw-r--r--stdlib/source/test/lux/meta/macro/template.lux5
-rw-r--r--stdlib/source/test/lux/meta/static.lux5
-rw-r--r--stdlib/source/test/lux/meta/symbol.lux5
-rw-r--r--stdlib/source/test/lux/meta/target.lux5
-rw-r--r--stdlib/source/test/lux/meta/target/js.lux5
-rw-r--r--stdlib/source/test/lux/meta/target/jvm.lux5
-rw-r--r--stdlib/source/test/lux/meta/target/lua.lux5
-rw-r--r--stdlib/source/test/lux/meta/target/python.lux5
-rw-r--r--stdlib/source/test/lux/meta/target/ruby.lux5
-rw-r--r--stdlib/source/test/lux/meta/type.lux5
-rw-r--r--stdlib/source/test/lux/meta/type/check.lux5
-rw-r--r--stdlib/source/test/lux/meta/type/dynamic.lux5
-rw-r--r--stdlib/source/test/lux/meta/type/implicit.lux5
-rw-r--r--stdlib/source/test/lux/meta/type/primitive.lux5
-rw-r--r--stdlib/source/test/lux/meta/type/quotient.lux5
-rw-r--r--stdlib/source/test/lux/meta/type/refinement.lux5
-rw-r--r--stdlib/source/test/lux/meta/type/resource.lux5
-rw-r--r--stdlib/source/test/lux/meta/type/unit.lux5
-rw-r--r--stdlib/source/test/lux/meta/type/unit/scale.lux5
-rw-r--r--stdlib/source/test/lux/meta/type/variance.lux5
-rw-r--r--stdlib/source/test/lux/meta/version.lux5
-rw-r--r--stdlib/source/test/lux/program.lux5
-rw-r--r--stdlib/source/test/lux/test/property.lux (renamed from stdlib/source/test/lux/test.lux)5
-rw-r--r--stdlib/source/test/lux/world.lux3
-rw-r--r--stdlib/source/test/lux/world/console.lux5
-rw-r--r--stdlib/source/test/lux/world/environment.lux5
-rw-r--r--stdlib/source/test/lux/world/file.lux5
-rw-r--r--stdlib/source/test/lux/world/file/watch.lux5
-rw-r--r--stdlib/source/test/lux/world/input/keyboard.lux5
-rw-r--r--stdlib/source/test/lux/world/locale.lux5
-rw-r--r--stdlib/source/test/lux/world/locale/language.lux5
-rw-r--r--stdlib/source/test/lux/world/locale/territory.lux5
-rw-r--r--stdlib/source/test/lux/world/net/http/client.lux5
-rw-r--r--stdlib/source/test/lux/world/net/http/status.lux5
-rw-r--r--stdlib/source/test/lux/world/output/video/resolution.lux5
-rw-r--r--stdlib/source/test/lux/world/shell.lux5
-rw-r--r--stdlib/source/test/lux/world/time.lux5
-rw-r--r--stdlib/source/test/lux/world/time/date.lux5
-rw-r--r--stdlib/source/test/lux/world/time/day.lux5
-rw-r--r--stdlib/source/test/lux/world/time/duration.lux5
-rw-r--r--stdlib/source/test/lux/world/time/instant.lux5
-rw-r--r--stdlib/source/test/lux/world/time/month.lux5
-rw-r--r--stdlib/source/test/lux/world/time/year.lux5
280 files changed, 961 insertions, 673 deletions
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 [<module/0>'])
... ("lux def module" [])
... []]
-
+
... [(.require [<alias> <module/0>' (.except)])
... ("lux def module" [[<module/0> <alias>]])
... [(<referral> <module/0> (.except))]]
-
+
... [(.require [<alias> <module/0>' (.only <definition>)])
... ("lux def module" [[<module/0> <alias>]])
... [(<referral> <module/0> (.only <definition>))]]
-
+
... [(.require [<alias> <module/0>' (.except <definition>)])
... ("lux def module" [[<module/0> <alias>]])
... [(<referral> <module/0> (.except <definition>))]]
-
+
... [(.require [<alias> <module/0>'])
... ("lux def module" [])
... []]
-
+
... [(.require [<module/0>'
... [<alias> <module/1>']])
... ("lux def module" [[<m0/1> <alias>]])
... [(<referral> <m0/1>)]]
-
+
... [(.require ["[0]" <module/0>'
... ["[0]" <module/1>']])
... ("lux def module" [[<module/0> <module/0>]
... [<m0/1> <module/1>]])
... [(<referral> <module/0>)
... (<referral> <m0/1>)]]
-
+
... [(.require ["[0]" <module/0>'
... ["[1]" <module/1>']])
... ("lux def module" [[<m0/1> <module/0>]])
@@ -468,7 +469,7 @@
... ["[2]" <module/2>']]])
... ("lux def module" [[<m0/1/2> <module/0>]])
... [(<referral> <m0/1/2>)]]
-
+
... [(.require [<module/0>'
... ["[0]" <module/1>'
... ["[0]" <//>']]])
@@ -476,7 +477,7 @@
... [<m0/2> <//>]])
... [(<referral> <m0/1>)
... (<referral> <m0/2>)]]
-
+
... [(.require ["[0]" <module/0>'
... [<module/1>'
... ["[0]" <\\>']]])
@@ -484,7 +485,7 @@
... [<m2/1> <\\>]])
... [(<referral> <module/0>)
... (<referral> <m2/1>)]]
-
+
... [(.require ["[0]" <module/0>' (.use "[1]#[0]" <definition>)])
... ("lux def module" [[<module/0> <module/0>]])
... [(<referral> <module/0> (<open/0> <definition>))]]
@@ -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/property.lux
index 6d2939185..87b5aee56 100644
--- a/stdlib/source/test/lux/test.lux
+++ b/stdlib/source/test/lux/test/property.lux
@@ -21,8 +21,9 @@
["n" nat]]]]]
[\\library
["[0]" / (.only)
- ["[0]" unit]
- ["[0]" tally (.only Tally)]]])
+ [//
+ ["[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)
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)