Tell dialyzer that gen_tags only cares about markdown output, not html

2021-08-23 15:39:01 +02:00 · 2021-08-23 15:39:01 +02:00 · 8b6c90c2d9
parent 655dcbcb74
commit 8b6c90c2d9
1 changed files with 1 additions and 0 deletions
--- a/src/ejabberd_commands_doc.erl
+++ b/src/ejabberd_commands_doc.erl
@ -365,6 +365,7 @@ make_tags(HTMLOutput) ->
    TagsList = ejabberd_commands:get_tags_commands(1000000),
    lists:map(fun(T) -> gen_tags(T, HTMLOutput) end, TagsList).

+-dialyzer({no_match, gen_tags/2}).
 gen_tags({TagName, Commands}, HTMLOutput) ->
    [?TAG(h1, TagName) | [?TAG(p, ?RAW("* *`"++C++"`*")) || C <- Commands]].