[m-rev.] diff: restore --show-definitions documentation in usage message
Julien Fischer
jfischer at opturion.com
Sun Jan 5 19:55:51 AEDT 2020
Restore --show-definitions documentation in usage message.
compiler/options.m:
As above; it was inadvertently deleted in commit bbf3da0fd.
Julien.
diff --git a/compiler/options.m b/compiler/options.m
index 147ce2d..de50c4a 100644
--- a/compiler/options.m
+++ b/compiler/options.m
@@ -4440,6 +4440,10 @@ options_help_aux_output -->
"\tSet the maximum width of an error message line to <n> characters",
"\t(unless a long single word forces the line over this limit).",
"\tSpecifying --no-max-error-line-width removes the limit.",
+ "--show-definitions",
+ "\tWrite out a list of the types, insts, modes, predicates, functions",
+ "\ttypeclasses and instances defined in the module to",
+ "\t`<module>.defns'.",
"--show-definition-line-counts",
"\tWrite out a list of the predicates and functions defined in",
"\tthe module, together with the names of the files containing them",
More information about the reviews
mailing list