diff options
author | Eduardo Julian | 2022-08-10 19:38:43 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-08-10 19:38:43 -0400 |
commit | 68d78235694c633c956bb9e8a007cad7d65370bc (patch) | |
tree | f84fcb298d29d3c85d149fd2f3c94f31b59305d4 /stdlib/source/specification/compositor.lux | |
parent | 6ec8f5d2f6cbf8db45f91e5c4b48c6ec17659f72 (diff) |
Extracted property-based testing machinery into its own module.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/specification/compositor.lux | 42 |
1 files changed, 22 insertions, 20 deletions
diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux index 6a6ff9cfb..1caf89d56 100644 --- a/stdlib/source/specification/compositor.lux +++ b/stdlib/source/specification/compositor.lux @@ -1,22 +1,24 @@ (.require - [lux (.except) - ["_" test (.only Test)] - [abstract - [monad (.only do)]] - [control - ["[0]" io (.only IO)] - ["[0]" try]] - [math - ["r" random]] - [meta - [compiler - ["[0]" analysis] - ["[0]" declaration] - [phase - [macro (.only Expander)] - [generation (.only Bundle)]] - [default - [platform (.only Platform)]]]]] + [library + [lux (.except) + [abstract + [monad (.only do)]] + [control + ["[0]" io (.only IO)] + ["[0]" try]] + [math + ["r" random]] + [meta + [compiler + ["[0]" analysis] + ["[0]" declaration] + [phase + [macro (.only Expander)] + [generation (.only Bundle)]] + [default + [platform (.only Platform)]]]] + [test + ["_" property (.only Test)]]]] ["[0]" / ["[1][0]" common (.only Runner Definer)] ["[1]./" analysis @@ -60,8 +62,8 @@ (case ?state,runner,definer {try.#Success [[declaration_bundle declaration_state] runner definer]} (..test runner definer - (the [declaration.#analysis declaration.#state] declaration_state) - expander) + (the [declaration.#analysis declaration.#state] declaration_state) + expander) {try.#Failure error} (_.failure error)))) |