diff options
| author | Eduardo Julian | 2022-07-28 18:58:20 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-07-28 18:58:20 -0400 |
| commit | 2d125c27e1ceb0adc14fd82f6984b70a12eda650 (patch) | |
| tree | fcefab088b8346ba009ec4069d3b392486bcad98 /stdlib/source/test/lux/meta/target/python.lux | |
| parent | a4b64bf1cdf47160b6b615d2c6493039abfd7a94 (diff) | |
Extracted test-coverage machinery into its own module.
Diffstat (limited to 'stdlib/source/test/lux/meta/target/python.lux')
| -rw-r--r-- | stdlib/source/test/lux/meta/target/python.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/meta/target/python.lux b/stdlib/source/test/lux/meta/target/python.lux index 8c553dc2d..4181f5f2e 100644 --- a/stdlib/source/test/lux/meta/target/python.lux +++ b/stdlib/source/test/lux/meta/target/python.lux @@ -5,14 +5,14 @@ ["[0]" ffi] [abstract [monad (.only do)] - ["[0]" predicate] [\\specification ["$[0]" equivalence] ["$[0]" hash]]] [control - ["[0]" function] ["[0]" maybe (.use "[1]#[0]" functor)] - ["[0]" try (.only Try) (.use "[1]#[0]" functor)]] + ["[0]" try (.only Try) (.use "[1]#[0]" functor)] + ["[0]" function (.only) + ["[0]" predicate]]] [data ["[0]" bit (.use "[1]#[0]" equivalence)] ["[0]" text (.use "[1]#[0]" equivalence) |