Unsettling dialyzer errors

Nicolas Martyanoff khaelin@REDACTED
Sat Feb 27 15:02:20 CET 2021

I get it now, thank you for the explanation.

To be frank, in that situation, I would expect Dialyzer to tell me that
there are branches that cannot be taken according to type definitions
(e.g. "f1(_) -> error" and "f2(_) -> error").

Nicolas Martyanoff

More information about the erlang-questions mailing list