diff options
| author | Eduardo Julian | 2018-07-10 00:09:34 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-10 00:09:34 -0400 |
| commit | 474c270f548298fc6404e9c53f038b94eba7e997 (patch) | |
| tree | c00a759fe5686b3151439fd019876300e754c807 /luxdoc/source | |
| parent | 25c48836e80dcaed6c2cbb11a14d3353da37620e (diff) | |
- Re-named "sig:" to "signature:".
Diffstat (limited to 'luxdoc/source')
| -rw-r--r-- | luxdoc/source/program.lux | 2 |
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? |