aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation/lux/meta/annotation.lux
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/lux/meta/annotation.lux
parent085c9a6ef151531cb01b842ed2f4366a49b78367 (diff)
The old record syntax has been re-purposed as variant syntax.
Diffstat (limited to '')
-rw-r--r--stdlib/source/documentation/lux/meta/annotation.lux31
1 files changed, 0 insertions, 31 deletions
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?)]
- []))