mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-05-20 11:40:18 +02:00
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.
This commit is contained in:
parent
712ca51ffe
commit
679a35567d
1 changed files with 2 additions and 1 deletions
|
@ -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
|
Emit warnings of type @var{warning}; use @code{--warn=help} for a list
|
||||||
of available warnings and their description. Currently recognized
|
of available warnings and their description. Currently recognized
|
||||||
warnings include @code{unused-variable}, @code{unused-toplevel},
|
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}
|
@item -f @var{lang}
|
||||||
@itemx --from=@var{lang}
|
@itemx --from=@var{lang}
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue