diff options
| author | Eduardo Julian | 2022-08-12 22:26:57 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-08-12 22:26:57 -0400 |
| commit | 772f621c19408c711c1e587668a52a8cfeeea418 (patch) | |
| tree | 94a53cae11dc6fe5d46f993fc30364490e668d16 /stdlib/source/test/aedifex/artifact/time | |
| parent | 29922d1411a75f9fb4259d66e427070aae72b3d3 (diff) | |
Fixes for Aedifex tests.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/aedifex/artifact/time/date.lux | 7 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/artifact/time/time.lux | 3 |
2 files changed, 6 insertions, 4 deletions
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 |