diff options
| author | Eduardo Julian | 2022-07-03 03:12:11 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-07-03 03:12:11 -0400 |
| commit | 700628f36e1ac846f007cec855b0f9ecdbb66c80 (patch) | |
| tree | 6a8a259c854c429d650fe8b7c4bf2b224c47be97 /stdlib/source/test/lux/abstract | |
| parent | 9e7ddacf853efd7a18c1911d2f287d483b083229 (diff) | |
Moved "lux/target" to "lux/meta/target".
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/abstract/apply.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/test/lux/abstract/comonad.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/test/lux/abstract/equivalence.lux | 5 | ||||
| -rw-r--r-- | stdlib/source/test/lux/abstract/functor.lux | 5 |
4 files changed, 10 insertions, 8 deletions
diff --git a/stdlib/source/test/lux/abstract/apply.lux b/stdlib/source/test/lux/abstract/apply.lux index b120b3484..416285780 100644 --- a/stdlib/source/test/lux/abstract/apply.lux +++ b/stdlib/source/test/lux/abstract/apply.lux @@ -1,6 +1,7 @@ (.require [library [lux (.except) + ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -11,8 +12,7 @@ [math ["[0]" random] [number - ["n" nat]]] - ["_" test (.only Test)]]] + ["n" nat]]]]] [\\library ["[0]" / (.only Apply)]]) diff --git a/stdlib/source/test/lux/abstract/comonad.lux b/stdlib/source/test/lux/abstract/comonad.lux index 701ec93db..2d23f8d2c 100644 --- a/stdlib/source/test/lux/abstract/comonad.lux +++ b/stdlib/source/test/lux/abstract/comonad.lux @@ -1,6 +1,7 @@ (.require [library [lux (.except) + ["_" test (.only Test)] [abstract [monad (.only do)]] [data @@ -8,8 +9,7 @@ [math ["[0]" random] [number - ["n" nat]]] - ["_" test (.only Test)]]] + ["n" nat]]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/abstract/equivalence.lux b/stdlib/source/test/lux/abstract/equivalence.lux index 96a7b3863..0ea65a1ca 100644 --- a/stdlib/source/test/lux/abstract/equivalence.lux +++ b/stdlib/source/test/lux/abstract/equivalence.lux @@ -2,7 +2,6 @@ [library [lux (.except Variant Record) ["_" test (.only Test)] - ["@" target] [abstract [monad (.only do)] [\\specification @@ -19,7 +18,9 @@ ["[0]" random (.only Random)] [number ["n" nat] - ["i" int]]]]] + ["i" int]]] + [meta + ["@" target]]]] ["[0]" \\polytypic] ["[0]" \\specification] [\\library diff --git a/stdlib/source/test/lux/abstract/functor.lux b/stdlib/source/test/lux/abstract/functor.lux index 548acee7a..4811f0f61 100644 --- a/stdlib/source/test/lux/abstract/functor.lux +++ b/stdlib/source/test/lux/abstract/functor.lux @@ -2,7 +2,6 @@ [library [lux (.except) ["_" test (.only Test)] - ["@" target] [abstract [monad (.only do)]] [control @@ -15,7 +14,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [meta + ["@" target]]]] ["[0]" \\polytypic] [\\library ["[0]" / (.only Functor)]]) |