aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation
diff options
context:
space:
mode:
authorEduardo Julian2021-09-09 00:29:12 -0400
committerEduardo Julian2021-09-09 00:29:12 -0400
commitef77466323f85a3d1b65b46a3deb93652ef22085 (patch)
treec2715b8cf6e7864fef87e22ee6e206c7c1758849 /stdlib/source/documentation
parent085c9a6ef151531cb01b842ed2f4366a49b78367 (diff)
The old record syntax has been re-purposed as variant syntax.
Diffstat (limited to 'stdlib/source/documentation')
-rw-r--r--stdlib/source/documentation/lux/meta.lux4
-rw-r--r--stdlib/source/documentation/lux/meta/annotation.lux31
2 files changed, 1 insertions, 34 deletions
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?)]
- []))