aboutsummaryrefslogtreecommitdiff
path: root/luxdoc/source
diff options
context:
space:
mode:
authorEduardo Julian2018-07-10 00:09:34 -0400
committerEduardo Julian2018-07-10 00:09:34 -0400
commit474c270f548298fc6404e9c53f038b94eba7e997 (patch)
treec00a759fe5686b3151439fd019876300e754c807 /luxdoc/source
parent25c48836e80dcaed6c2cbb11a14d3353da37620e (diff)
- Re-named "sig:" to "signature:".
Diffstat (limited to '')
-rw-r--r--luxdoc/source/program.lux2
1 files changed, 1 insertions, 1 deletions
diff --git a/luxdoc/source/program.lux b/luxdoc/source/program.lux
index 4e2888c82..94b5df37f 100644
--- a/luxdoc/source/program.lux
+++ b/luxdoc/source/program.lux
@@ -434,7 +434,7 @@
_
(format "(" (text;join-with " " (list& _name type-args)) ")"))
nesting (list;size type-args)]]
- (wrap (format (if sig? "(sig: " "(type: ") (if type-rec? "#rec " "") usage "\n"
+ (wrap (format (if sig? "(signature: " "(type: ") (if type-rec? "#rec " "") usage "\n"
(|> (pprint-type-def (n.dec nesting)
[_name type-args]
tags module sig? type-rec?