From 14a5d4377431c7fc7a13b71cfbbaeb7baa116d29 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 8 Jul 2022 18:04:30 -0400
Subject: Moved "lux/extension" to "lux/meta/extension".

---
 stdlib/source/documentation/lux/extension.lux      | 50 ----------------------
 stdlib/source/documentation/lux/meta/extension.lux | 50 ++++++++++++++++++++++
 2 files changed, 50 insertions(+), 50 deletions(-)
 delete mode 100644 stdlib/source/documentation/lux/extension.lux
 create mode 100644 stdlib/source/documentation/lux/meta/extension.lux

(limited to 'stdlib/source/documentation')

diff --git a/stdlib/source/documentation/lux/extension.lux b/stdlib/source/documentation/lux/extension.lux
deleted file mode 100644
index 737d19387..000000000
--- a/stdlib/source/documentation/lux/extension.lux
+++ /dev/null
@@ -1,50 +0,0 @@
-(.require
- [library
-  [lux (.except)
-   ["$" documentation]
-   ["[0]" debug]
-   [data
-    [text
-     ["%" \\format (.only format)]]
-    [collection
-     ["[0]" sequence]]]
-   [meta
-    ["[0]" code
-     ["<[1]>" \\parser]]
-    [macro
-     ["[0]" template]]
-    [compiler
-     ["[0]" phase]
-     [language
-      [lux
-       [phase
-        ["[0]" declaration]]]]]]]]
- [\\library
-  ["[0]" /]])
-
-(.def .public documentation
-  (.List $.Module)
-  ($.module /._
-            ""
-            [($.definition /.analysis
-               "Mechanism for defining extensions to Lux's analysis/type-checking infrastructure."
-               [(analysis ("my analysis" self phase archive [pass_through <code>.any])
-                  (phase archive pass_through))])
-
-             ($.definition /.synthesis
-               "Mechanism for defining extensions to Lux's synthesis/optimization infrastructure."
-               [(synthesis ("my synthesis" self phase archive [pass_through <analysis>.any])
-                  (phase archive pass_through))])
-
-             ($.definition /.generation
-               ""
-               [(generation ("my generation" self phase archive [pass_through <synthesis>.any])
-                  (phase archive pass_through))])
-
-             ($.definition /.declaration
-               ""
-               [(declaration ("my declaration" self phase archive [parameters (<>.some <code>.any)])
-                  (do phase.monad
-                    [.let [_ (debug.log! (format "Successfully installed declaration " (%.text self) "!"))]]
-                    (in declaration.no_requirements)))])]
-            []))
diff --git a/stdlib/source/documentation/lux/meta/extension.lux b/stdlib/source/documentation/lux/meta/extension.lux
new file mode 100644
index 000000000..737d19387
--- /dev/null
+++ b/stdlib/source/documentation/lux/meta/extension.lux
@@ -0,0 +1,50 @@
+(.require
+ [library
+  [lux (.except)
+   ["$" documentation]
+   ["[0]" debug]
+   [data
+    [text
+     ["%" \\format (.only format)]]
+    [collection
+     ["[0]" sequence]]]
+   [meta
+    ["[0]" code
+     ["<[1]>" \\parser]]
+    [macro
+     ["[0]" template]]
+    [compiler
+     ["[0]" phase]
+     [language
+      [lux
+       [phase
+        ["[0]" declaration]]]]]]]]
+ [\\library
+  ["[0]" /]])
+
+(.def .public documentation
+  (.List $.Module)
+  ($.module /._
+            ""
+            [($.definition /.analysis
+               "Mechanism for defining extensions to Lux's analysis/type-checking infrastructure."
+               [(analysis ("my analysis" self phase archive [pass_through <code>.any])
+                  (phase archive pass_through))])
+
+             ($.definition /.synthesis
+               "Mechanism for defining extensions to Lux's synthesis/optimization infrastructure."
+               [(synthesis ("my synthesis" self phase archive [pass_through <analysis>.any])
+                  (phase archive pass_through))])
+
+             ($.definition /.generation
+               ""
+               [(generation ("my generation" self phase archive [pass_through <synthesis>.any])
+                  (phase archive pass_through))])
+
+             ($.definition /.declaration
+               ""
+               [(declaration ("my declaration" self phase archive [parameters (<>.some <code>.any)])
+                  (do phase.monad
+                    [.let [_ (debug.log! (format "Successfully installed declaration " (%.text self) "!"))]]
+                    (in declaration.no_requirements)))])]
+            []))
-- 
cgit v1.2.3