diff options
| author | Eduardo Julian | 2022-07-06 17:11:35 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-07-06 17:11:35 -0400 |
| commit | f7880ce83ba82ada2d04a0c587448446e677d458 (patch) | |
| tree | 0cdd43e40933906bae8c87681095284e4274d3c6 /stdlib/source/test/aedifex | |
| parent | 5270f301eba5237feebc8eca14aee6b7a992a819 (diff) | |
Moved "lux/time" to "lux/world/time".
Diffstat (limited to 'stdlib/source/test/aedifex')
| -rw-r--r-- | stdlib/source/test/aedifex/artifact/snapshot/stamp.lux | 5 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/artifact/time.lux | 5 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/command/auto.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/metadata/artifact.lux | 14 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/metadata/snapshot.lux | 14 |
5 files changed, 23 insertions, 21 deletions
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] |