summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2012-11-23 23:41:32 +0100
committerLudovic Courtès <ludo@gnu.org>2012-11-23 23:41:32 +0100
commit679a35567dbb0a467e99f19d3f513fac28317f26 (patch)
tree09f96e6c94b0ad7d0085220f6fc9edacef15e181
parent712ca51ffe731d5b0e4dacb4d343426092df2eb0 (diff)
downloadguile-679a35567dbb0a467e99f19d3f513fac28317f26.tar.gz
doc: Mention the `duplicate-case-datum' and `bad-case-datum' warnings.
* doc/ref/api-evaluation.texi (Compilation): List the `duplicate-case-datum' and `bad-case-datum' warnings.
-rw-r--r--doc/ref/api-evaluation.texi3
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/ref/api-evaluation.texi b/doc/ref/api-evaluation.texi
index c471f643b..37e41e19a 100644
--- a/doc/ref/api-evaluation.texi
+++ b/doc/ref/api-evaluation.texi
@@ -661,7 +661,8 @@ name is as for @code{compile-file} (see below).
Emit warnings of type @var{warning}; use @code{--warn=help} for a list
of available warnings and their description. Currently recognized
warnings include @code{unused-variable}, @code{unused-toplevel},
-@code{unbound-variable}, @code{arity-mismatch}, and @code{format}.
+@code{unbound-variable}, @code{arity-mismatch}, @code{format},
+@code{duplicate-case-datum}, and @code{bad-case-datum}.
@item -f @var{lang}
@itemx --from=@var{lang}