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/polytypic/lux/abstract/equivalence.lux | 13 +++++++------
 stdlib/source/polytypic/lux/data/format/json.lux     | 13 +++++++------
 2 files changed, 14 insertions(+), 12 deletions(-)

(limited to 'stdlib/source/polytypic')

diff --git a/stdlib/source/polytypic/lux/abstract/equivalence.lux b/stdlib/source/polytypic/lux/abstract/equivalence.lux
index 50d04c8e0..64c684936 100644
--- a/stdlib/source/polytypic/lux/abstract/equivalence.lux
+++ b/stdlib/source/polytypic/lux/abstract/equivalence.lux
@@ -31,12 +31,13 @@
      ["<[1]>" \\parser]
      ["[0]" poly (.only polytypic)]
      ["[0]" unit]]]
-   [time
-    ["[0]" duration]
-    ["[0]" date]
-    ["[0]" instant]
-    ["[0]" day]
-    ["[0]" month]]]]
+   [world
+    [time
+     ["[0]" duration]
+     ["[0]" date]
+     ["[0]" instant]
+     ["[0]" day]
+     ["[0]" month]]]]]
  [\\library
   ["[0]" /]])
 
diff --git a/stdlib/source/polytypic/lux/data/format/json.lux b/stdlib/source/polytypic/lux/data/format/json.lux
index cae0194d4..c68d521ce 100644
--- a/stdlib/source/polytypic/lux/data/format/json.lux
+++ b/stdlib/source/polytypic/lux/data/format/json.lux
@@ -32,12 +32,13 @@
      ["<[1]>" \\parser]
      ["[0]" unit]
      ["[0]" poly (.only polytypic)]]]
-   [time
-    ... ["[0]" instant]
-    ... ["[0]" duration]
-    ["[0]" date]
-    ["[0]" day]
-    ["[0]" month]]]]
+   [world
+    [time
+     ... ["[0]" instant]
+     ... ["[0]" duration]
+     ["[0]" date]
+     ["[0]" day]
+     ["[0]" month]]]]]
  [\\library
   ["[0]" / (.only JSON)]])
 
-- 
cgit v1.2.3