From f7880ce83ba82ada2d04a0c587448446e677d458 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 6 Jul 2022 17:11:35 -0400 Subject: Moved "lux/time" to "lux/world/time". --- stdlib/source/test/aedifex/artifact/snapshot/stamp.lux | 5 +++-- stdlib/source/test/aedifex/artifact/time.lux | 5 +++-- stdlib/source/test/aedifex/command/auto.lux | 6 +++--- stdlib/source/test/aedifex/metadata/artifact.lux | 14 +++++++------- stdlib/source/test/aedifex/metadata/snapshot.lux | 14 +++++++------- 5 files changed, 23 insertions(+), 21 deletions(-) (limited to 'stdlib/source/test/aedifex') diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux index da8755d6f..2b4265932 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux @@ -14,8 +14,9 @@ ["<[1]>" \\parser]]]] [math ["[0]" random (.only Random)]] - [time - ["[0]" instant]]]] + [world + [time + ["[0]" instant]]]]] [\\program ["[0]" /]] ["$[0]" // diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux index c81dffa89..2c7d29269 100644 --- a/stdlib/source/test/aedifex/artifact/time.lux +++ b/stdlib/source/test/aedifex/artifact/time.lux @@ -15,8 +15,9 @@ ["[0]" random (.only Random)] [number ["i" int]]] - [time - ["[0]" instant (.use "[1]#[0]" equivalence)]]]] + [world + [time + ["[0]" instant (.use "[1]#[0]" equivalence)]]]]] [\\program ["[0]" /]] ["[0]" / diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux index 564cf6ab0..8cc8177a1 100644 --- a/stdlib/source/test/aedifex/command/auto.lux +++ b/stdlib/source/test/aedifex/command/auto.lux @@ -24,14 +24,14 @@ ["[0]" random] [number ["n" nat]]] - [time - ["[0]" instant]] [world [console (.only Console)] ["[0]" shell (.only Exit Shell)] ["[0]" program (.only Program)] ["[0]" file - ["[0]" watch]]]]] + ["[0]" watch]] + [time + ["[0]" instant]]]]] ["[0]" // ["$[0]" version] ["$[0]" build]] diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux index 17770c575..ed5b95b3b 100644 --- a/stdlib/source/test/aedifex/metadata/artifact.lux +++ b/stdlib/source/test/aedifex/metadata/artifact.lux @@ -26,15 +26,15 @@ ["n" nat]]] [meta ["[0]" code]] - ["[0]" time (.only) - ["[0]" date] - ["[0]" year] - ["[0]" month] - ["[0]" instant] - ["[0]" duration]] [world ["[0]" file] - ["[0]" program]]]] + ["[0]" program] + ["[0]" time (.only) + ["[0]" date] + ["[0]" year] + ["[0]" month] + ["[0]" instant] + ["[0]" duration]]]]] [\\program ["[0]" / (.only) ["/[1]" // (.only) diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux index 46e368dbf..773dd262b 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -26,15 +26,15 @@ ["n" nat]]] [meta ["[0]" code]] - ["[0]" time (.only) - ["[0]" date] - ["[0]" year] - ["[0]" month] - ["[0]" instant (.only Instant)] - ["[0]" duration]] [world ["[0]" file] - ["[0]" program]]]] + ["[0]" program] + ["[0]" time (.only) + ["[0]" date] + ["[0]" year] + ["[0]" month] + ["[0]" instant (.only Instant)] + ["[0]" duration]]]]] ["$[0]" /// ["[1][0]" artifact ["[1]/[0]" type] -- cgit v1.2.3