Re: Unsettling dialyzer errors
Nicolas Martyanoff <[email protected]>
| Newsgroups | gmane.comp.lang.erlang.general |
|---|---|
| Message-ID | <[email protected]> |
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 http://snowsyn.net [email protected]