[erlang-questions] dialyzer error on fun2ms output

Hans Bolinder hans.bolinder@REDACTED
Wed Nov 2 09:13:28 CET 2016


Hi,

> The reason is that dbg:fun2ms generates the match-spec: [{'$1',[],[{message,'$1'}]}]
> But the type as seen in erlang.erl or erts_internal.erl only allows a list or the wildcard atom '_' as the match-spec head.
> -type trace_match_spec() :: [{[term()] | '_' ,[term()],[term()]}].

Thanks. I'll fix the bug by adding atom() to the match head type. One could
argue that the matchspec types should be improved, but that's beyond
the scope for the fix.

Best regards,

Hans Bolinder, Erlang/OTP team, Ericsson

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20161102/1c3749b7/attachment.htm>


More information about the erlang-questions mailing list