diff options
author | Eduardo Julian | 2021-09-09 00:29:12 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-09 00:29:12 -0400 |
commit | ef77466323f85a3d1b65b46a3deb93652ef22085 (patch) | |
tree | c2715b8cf6e7864fef87e22ee6e206c7c1758849 /stdlib/source/documentation | |
parent | 085c9a6ef151531cb01b842ed2f4366a49b78367 (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.lux | 4 | ||||
-rw-r--r-- | stdlib/source/documentation/lux/meta/annotation.lux | 31 |
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?)] - [])) |