diff options
Diffstat (limited to '')
4 files changed, 8 insertions, 4 deletions
diff --git a/stdlib/source/specification/lux/world/console.lux b/stdlib/source/specification/lux/world/console.lux index cb17b4338..9fc830fd2 100644 --- a/stdlib/source/specification/lux/world/console.lux +++ b/stdlib/source/specification/lux/world/console.lux @@ -13,7 +13,8 @@ ["%" \\format (.only format)]]] [math ["[0]" random]] - ["_" test (.only Test) + [test + ["_" property (.only Test)] ["[0]" unit]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/specification/lux/world/environment.lux b/stdlib/source/specification/lux/world/environment.lux index fb6600bfe..066ad2783 100644 --- a/stdlib/source/specification/lux/world/environment.lux +++ b/stdlib/source/specification/lux/world/environment.lux @@ -14,7 +14,8 @@ ["[0]" list]]] [math ["[0]" random]] - ["_" test (.only Test) + [test + ["_" property (.only Test)] ["[0]" unit]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux index 0f642d2aa..b70555b6f 100644 --- a/stdlib/source/specification/lux/world/file.lux +++ b/stdlib/source/specification/lux/world/file.lux @@ -28,7 +28,8 @@ [world [time ["[0]" instant (.only Instant) (.use "[1]#[0]" equivalence)]]] - ["_" test (.only Test) + [test + ["_" property (.only Test)] ["[0]" unit]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/specification/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux index bf507b536..be41059a0 100644 --- a/stdlib/source/specification/lux/world/shell.lux +++ b/stdlib/source/specification/lux/world/shell.lux @@ -16,7 +16,8 @@ [number ["n" nat] ["i" int]]] - ["_" test (.only Test) + [test + ["_" property (.only Test)] ["[0]" unit]]]] [\\library ["[0]" / (.only) |