From ef77466323f85a3d1b65b46a3deb93652ef22085 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 9 Sep 2021 00:29:12 -0400
Subject: The old record syntax has been re-purposed as variant syntax.

---
 stdlib/source/documentation/lux/meta.lux           |  4 +--
 .../source/documentation/lux/meta/annotation.lux   | 31 ----------------------
 2 files changed, 1 insertion(+), 34 deletions(-)
 delete mode 100644 stdlib/source/documentation/lux/meta/annotation.lux

(limited to 'stdlib/source/documentation')

diff --git a/stdlib/source/documentation/lux/meta.lux b/stdlib/source/documentation/lux/meta.lux
index 1f69bffed..4a61a4a5e 100644
--- a/stdlib/source/documentation/lux/meta.lux
+++ b/stdlib/source/documentation/lux/meta.lux
@@ -10,7 +10,6 @@
   [\\library
    ["[0]" /]]
   ["[0]" / "_"
-   ["[1][0]" annotation]
    ["[1][0]" location]])
 
 (documentation: /.result'
@@ -198,5 +197,4 @@
              ($.default /.monad)
              ($.default /.lifted)
              ($.default /.try)]
-            [/annotation.documentation
-             /location.documentation]))
+            [/location.documentation]))
diff --git a/stdlib/source/documentation/lux/meta/annotation.lux b/stdlib/source/documentation/lux/meta/annotation.lux
deleted file mode 100644
index 0505f0b52..000000000
--- a/stdlib/source/documentation/lux/meta/annotation.lux
+++ /dev/null
@@ -1,31 +0,0 @@
-(.module:
-  [library
-   [lux {"-" [nat int rev]}
-    ["$" documentation {"+" [documentation:]}]
-    [data
-     ["[0]" text {"+" [\n]}
-      ["%" format {"+" [format]}]]]
-    [macro
-     ["[0]" template]]]]
-  [\\library
-   ["[0]" /]])
-
-(.def: .public documentation
-  (.List $.Module)
-  ($.module /._
-            "Machinary for querying annotations on modules and definitions."
-            [($.default /.value)
-             ($.default /.bit)
-             ($.default /.nat)
-             ($.default /.int)
-             ($.default /.rev)
-             ($.default /.frac)
-             ($.default /.text)
-             ($.default /.identifier)
-             ($.default /.tag)
-             ($.default /.form)
-             ($.default /.tuple)
-             ($.default /.record)
-             ($.default /.Annotation)
-             ($.default /.flagged?)]
-            []))
-- 
cgit v1.2.3