Re: Dialyzer crashes with Solver v2 failed: error:function_clause
Hans Bolinder <[email protected]> Wed, 2 Sep 2015 14:11:02 +0000
| Newsgroups | gmane.comp.lang.erlang.bugs |
|---|---|
| Message-ID | <[email protected]> |
Hi,
[ILYA:]
> Following spec causes dialyzer to crash
>
> -opaque att() :: #att{} | attachment().
> More info is here https://gist.github.com/iilyak/25a2534b65b6972bf251
The bug was fixed in commit d57dea02 (OTP 18.1).
Best regards,
Hans Bolinder, Erlang/OTP team, Ericsson
_______________________________________________
erlang-bugs mailing list
[email protected]
http://erlang.org/mailman/listinfo/erlang-bugs