diff options
author | Eduardo Julian | 2021-09-08 17:52:13 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-08 17:52:13 -0400 |
commit | 9ae7272d50b64dc9c8651e7a684abc007d4f2caf (patch) | |
tree | 3313492704935d230a88d17b621e84bd09a6451c /stdlib/source/documentation | |
parent | 18e4294819f5d4adafad091bdc5a30c25959ad2f (diff) |
Post annotations clean-up.
Diffstat (limited to 'stdlib/source/documentation')
-rw-r--r-- | stdlib/source/documentation/lux/macro/syntax.lux | 4 | ||||
-rw-r--r-- | stdlib/source/documentation/lux/macro/syntax/annotations.lux | 25 |
2 files changed, 1 insertions, 28 deletions
diff --git a/stdlib/source/documentation/lux/macro/syntax.lux b/stdlib/source/documentation/lux/macro/syntax.lux index 3926086b6..8efdf8a93 100644 --- a/stdlib/source/documentation/lux/macro/syntax.lux +++ b/stdlib/source/documentation/lux/macro/syntax.lux @@ -8,7 +8,6 @@ [collection ["[0]" list]]]]] ["[0]" / "_" - ["[1][0]" annotations] ["[1][0]" check] ["[1][0]" declaration] ["[1][0]" definition] @@ -42,8 +41,7 @@ ($.module /._ "" [..syntax:] - [/annotations.documentation - /check.documentation + [/check.documentation /declaration.documentation /definition.documentation /export.documentation diff --git a/stdlib/source/documentation/lux/macro/syntax/annotations.lux b/stdlib/source/documentation/lux/macro/syntax/annotations.lux deleted file mode 100644 index 62d2abdc2..000000000 --- a/stdlib/source/documentation/lux/macro/syntax/annotations.lux +++ /dev/null @@ -1,25 +0,0 @@ -(.module: - [library - [lux {"-" [char]} - ["$" documentation {"+" [documentation:]}] - [data - [text - ["%" format {"+" [format]}]] - [collection - ["[0]" list]]]]] - [\\library - ["[0]" /]]) - -(documentation: /.Annotations - "Definition/module annotations.") - -(.def: .public documentation - (.List $.Module) - ($.module /._ - "" - [..Annotations - ($.default /.equivalence) - ($.default /.empty) - ($.default /.format) - ($.default /.parser)] - [])) |