aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/documentation.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/documentation.lux44
1 files changed, 22 insertions, 22 deletions
diff --git a/stdlib/source/library/lux/documentation.lux b/stdlib/source/library/lux/documentation.lux
index e37df17e9..5bd6f7f30 100644
--- a/stdlib/source/library/lux/documentation.lux
+++ b/stdlib/source/library/lux/documentation.lux
@@ -59,7 +59,7 @@
[.#Rev]
[.#Frac]
[.#Text]
- [.#Identifier])
+ [.#Symbol])
(^template [<tag>]
[[[_ _ column] {<tag> members}]
@@ -87,7 +87,7 @@
(def: (code_documentation expected_module old_location reference_column example)
(-> Text Location Nat Code [Location Text])
(case example
- [new_location {.#Identifier [module short]}]
+ [new_location {.#Symbol [module short]}]
(let [documentation (cond (text#= expected_module module)
short
@@ -449,17 +449,17 @@
(<>.or (<code>.text! "")
<code>.any))
-(exception: .public (unqualified_identifier [name Symbol])
+(exception: .public (unqualified_symbol [name Symbol])
(exception.report
["Name" (%.symbol name)]))
-(def: qualified_identifier
+(def: qualified_symbol
(Parser Symbol)
(do <>.monad
- [name <code>.identifier]
+ [name <code>.symbol]
(case name
["" _]
- (<>.failure (exception.error ..unqualified_identifier [name]))
+ (<>.failure (exception.error ..unqualified_symbol [name]))
_
(in name))))
@@ -493,9 +493,9 @@
(def: declaration
(Parser Declaration)
- (<>.either (<>.and ..qualified_identifier (<>#in (list)))
- (<code>.form (<>.and ..qualified_identifier
- (<>.some (<code>.local_identifier))))))
+ (<>.either (<>.and ..qualified_symbol (<>#in (list)))
+ (<code>.form (<>.and ..qualified_symbol
+ (<>.some (<code>.local_symbol))))))
(syntax: (minimal_definition_documentation
[[name parameters] ..declaration])
@@ -504,24 +504,24 @@
[[_ def_type def_value]] (meta.export name)
tags (meta.tags_of name)]
(with_expansions [<\n> (~! text.\n)]
- (macro.with_identifiers [g!type]
+ (macro.with_symbols [g!type]
(in (list (` ($_ ((~! md.then))
... Name
(<| ((~! md.heading/3))
- (~ (code.text (%.code (let [g!name (|> name product.right code.local_identifier)]
+ (~ (code.text (%.code (let [g!name (|> name product.right code.local_symbol)]
(case parameters
{.#End}
g!name
_
- (` ((~ g!name) (~+ (list#each code.local_identifier parameters))))))))))
+ (` ((~ g!name) (~+ (list#each code.local_symbol parameters))))))))))
... Type
(let [(~ g!type) ("lux in-module"
(~ g!module)
- (.:of (~ (code.identifier name))))]
+ (.:of (~ (code.symbol name))))]
((~! md.code) "clojure"
(~ (if (type#= .Type def_type)
- (` (|> (~ (code.identifier name))
+ (` (|> (~ (code.symbol name))
(:as .Type)
((~! type.anonymous))
((~! ..type_definition)
@@ -543,8 +543,8 @@
(with_expansions [<\n> (~! text.\n)]
(in (list (` ($_ ((~! md.then))
((~! ..minimal_definition_documentation)
- ((~ (code.identifier name))
- (~+ (list#each code.local_identifier parameters))))
+ ((~ (code.symbol name))
+ (~+ (list#each code.local_symbol parameters))))
... Description
(~+ (case description
{.#Some description}
@@ -584,18 +584,18 @@
(in (list (` (: (.List ..Definition)
(list [..#definition (~ (code.text short))
..#documentation ((~! ..minimal_definition_documentation)
- ((~ (code.identifier name))
- (~+ (list#each code.local_identifier parameters))))])))))))
+ ((~ (code.symbol name))
+ (~+ (list#each code.local_symbol parameters))))])))))))
(syntax: .public (documentation: [[name parameters] ..declaration
extra (<>.some <code>.any)])
(let [[_ short] name]
- (in (list (` (.def: .public (~ (code.local_identifier short))
+ (in (list (` (.def: .public (~ (code.local_symbol short))
(.List ..Definition)
(.list [..#definition (~ (code.text short))
..#documentation ((~! ..definition_documentation)
- ((~ (code.identifier name))
- (~+ (list#each code.local_identifier parameters)))
+ ((~ (code.symbol name))
+ (~+ (list#each code.local_symbol parameters)))
(~+ extra))])))))))
(def: definitions_documentation
@@ -623,7 +623,7 @@
(|>> (text.all_split_by ..expected_separator)
(set.of_list text.hash)))
-(syntax: .public (module [[name _] ..qualified_identifier
+(syntax: .public (module [[name _] ..qualified_symbol
description <code>.any
definitions (<code>.tuple (<>.some <code>.any))
subs (<code>.tuple (<>.some <code>.any))])