diff options
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?)] - [])) |