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/control/concurrency | |
parent | 9e7ddacf853efd7a18c1911d2f287d483b083229 (diff) |
Moved "lux/target" to "lux/meta/target".
Diffstat (limited to 'stdlib/source/test/lux/control/concurrency')
-rw-r--r-- | stdlib/source/test/lux/control/concurrency/async.lux | 11 | ||||
-rw-r--r-- | stdlib/source/test/lux/control/concurrency/semaphore.lux | 2 |
2 files changed, 7 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/control/concurrency/async.lux b/stdlib/source/test/lux/control/concurrency/async.lux index c6b1eb864..e5d175486 100644 --- a/stdlib/source/test/lux/control/concurrency/async.lux +++ b/stdlib/source/test/lux/control/concurrency/async.lux @@ -2,7 +2,6 @@ [library [lux (.except) ["_" test (.only Test)] - ["@" target] [abstract [monad (.only do)] [\\specification @@ -11,15 +10,17 @@ ["$[0]" monad]]] [control ["[0]" io]] - [time - ["[0]" instant] - ["[0]" duration]] [math ["[0]" random] [number ["n" nat] ["i" int] - ["[0]" i64]]]]] + ["[0]" i64]]] + [meta + ["@" target]] + [time + ["[0]" instant] + ["[0]" duration]]]] [\\library ["[0]" / (.only) [// diff --git a/stdlib/source/test/lux/control/concurrency/semaphore.lux b/stdlib/source/test/lux/control/concurrency/semaphore.lux index 4bae6dd3f..ac4bd63b3 100644 --- a/stdlib/source/test/lux/control/concurrency/semaphore.lux +++ b/stdlib/source/test/lux/control/concurrency/semaphore.lux @@ -2,7 +2,6 @@ [library [lux (.except) ["_" test (.only Test)] - ["@" target] [abstract ["[0]" monad (.only do)] ["[0]" enum]] @@ -25,6 +24,7 @@ ["n" nat] ["[0]" i64]]] [meta + ["@" target] [type ["[0]" refinement]]]]] [\\library |