From 9ae7272d50b64dc9c8651e7a684abc007d4f2caf Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 8 Sep 2021 17:52:13 -0400
Subject: Post annotations clean-up.

---
 stdlib/source/documentation/lux/macro/syntax.lux   |  4 +---
 .../documentation/lux/macro/syntax/annotations.lux | 25 ----------------------
 2 files changed, 1 insertion(+), 28 deletions(-)
 delete mode 100644 stdlib/source/documentation/lux/macro/syntax/annotations.lux

(limited to 'stdlib/source/documentation')

diff --git a/stdlib/source/documentation/lux/macro/syntax.lux b/stdlib/source/documentation/lux/macro/syntax.lux
index 3926086b6..8efdf8a93 100644
--- a/stdlib/source/documentation/lux/macro/syntax.lux
+++ b/stdlib/source/documentation/lux/macro/syntax.lux
@@ -8,7 +8,6 @@
      [collection
       ["[0]" list]]]]]
   ["[0]" / "_"
-   ["[1][0]" annotations]
    ["[1][0]" check]
    ["[1][0]" declaration]
    ["[1][0]" definition]
@@ -42,8 +41,7 @@
   ($.module /._
             ""
             [..syntax:]
-            [/annotations.documentation
-             /check.documentation
+            [/check.documentation
              /declaration.documentation
              /definition.documentation
              /export.documentation
diff --git a/stdlib/source/documentation/lux/macro/syntax/annotations.lux b/stdlib/source/documentation/lux/macro/syntax/annotations.lux
deleted file mode 100644
index 62d2abdc2..000000000
--- a/stdlib/source/documentation/lux/macro/syntax/annotations.lux
+++ /dev/null
@@ -1,25 +0,0 @@
-(.module:
-  [library
-   [lux {"-" [char]}
-    ["$" documentation {"+" [documentation:]}]
-    [data
-     [text
-      ["%" format {"+" [format]}]]
-     [collection
-      ["[0]" list]]]]]
-  [\\library
-   ["[0]" /]])
-
-(documentation: /.Annotations
-  "Definition/module annotations.")
-
-(.def: .public documentation
-  (.List $.Module)
-  ($.module /._
-            ""
-            [..Annotations
-             ($.default /.equivalence)
-             ($.default /.empty)
-             ($.default /.format)
-             ($.default /.parser)]
-            []))
-- 
cgit v1.2.3