diff options
Diffstat (limited to 'stdlib/source/test/aedifex/artifact')
| -rw-r--r-- | stdlib/source/test/aedifex/artifact/snapshot/version/value.lux | 5 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/artifact/time/date.lux | 7 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/artifact/time/time.lux | 3 |
3 files changed, 9 insertions, 6 deletions
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index 470cd66c7..f116a0a78 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -16,8 +16,9 @@ [number ["n" nat] ["i" int]]] - [time - ["[0]" instant]] + [world + [time + ["[0]" instant]]] [test ["_" property (.only Test)]]]] ["$[0]" /// diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux index 5efc00d4e..23f0a69f8 100644 --- a/stdlib/source/test/aedifex/artifact/time/date.lux +++ b/stdlib/source/test/aedifex/artifact/time/date.lux @@ -16,9 +16,10 @@ [number ["n" nat] ["i" int]]] - [time - ["[0]" date (.use "[1]#[0]" equivalence)] - ["[0]" year]] + [world + [time + ["[0]" date (.use "[1]#[0]" equivalence)] + ["[0]" year]]] [test ["_" property (.only Test)]]]] [\\program diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux index d4bc90f4e..90ac9819b 100644 --- a/stdlib/source/test/aedifex/artifact/time/time.lux +++ b/stdlib/source/test/aedifex/artifact/time/time.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["[0]" time] [abstract [monad (.only do)]] [control @@ -14,6 +13,8 @@ [number ["n" nat] ["i" int]]] + [world + ["[0]" time]] [test ["_" property (.only Test)]]]] [\\program |