From 474c270f548298fc6404e9c53f038b94eba7e997 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 10 Jul 2018 00:09:34 -0400 Subject: - Re-named "sig:" to "signature:". --- luxdoc/source/program.lux | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'luxdoc') 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? -- cgit v1.2.3