From 772f621c19408c711c1e587668a52a8cfeeea418 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 12 Aug 2022 22:26:57 -0400 Subject: Fixes for Aedifex tests. --- stdlib/source/test/aedifex/artifact/snapshot/version/value.lux | 5 +++-- stdlib/source/test/aedifex/artifact/time/date.lux | 7 ++++--- stdlib/source/test/aedifex/artifact/time/time.lux | 3 ++- 3 files changed, 9 insertions(+), 6 deletions(-) (limited to 'stdlib/source/test/aedifex/artifact') 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 -- cgit v1.2.3