diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/documentation/lux/macro/code.lux | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/stdlib/source/documentation/lux/macro/code.lux b/stdlib/source/documentation/lux/macro/code.lux index 3c1f4c999..85b2de284 100644 --- a/stdlib/source/documentation/lux/macro/code.lux +++ b/stdlib/source/documentation/lux/macro/code.lux @@ -10,11 +10,8 @@ [\\library ["[0]" /]]) -(documentation: /.local_identifier - "Produces a local identifier (an identifier with no module prefix).") - -(documentation: /.local_tag - "Produces a local tag (a tag with no module prefix).") +(documentation: /.local_symbol + "Produces a local symbol (an symbol with no module prefix).") (documentation: /.replaced "" @@ -24,8 +21,7 @@ (.List $.Module) ($.module /._ "" - [..local_identifier - ..local_tag + [..local_symbol ..replaced ($.default /.bit) ($.default /.nat) @@ -33,8 +29,7 @@ ($.default /.rev) ($.default /.frac) ($.default /.text) - ($.default /.identifier) - ($.default /.tag) + ($.default /.symbol) ($.default /.form) ($.default /.tuple) ($.default /.record) |