Re: Dialyzer crashes with Solver v2 failed: error:function_clause
Kostis Sagonas <[email protected]> Fri, 21 Aug 2015 08:18:27 +0200
| Newsgroups | gmane.comp.lang.erlang.bugs |
|---|---|
| Message-ID | <[email protected]> |
On 08/21/2015 01:44 AM, ILYA Khlopotov wrote:
> Hi,
>
> It looks like my previous report (from different email address) didn't
> go through.
>
> Following spec causes dialyzer to crash
>
> |-opaque att() :: #att{} | attachment().
>
> More info is here
> |https://gist.github.com/iilyak/25a2534b65b6972bf251
>
> Is it a known issue?
No, it's an unknown issue which also appears in the current 'maint'.
We'll look into it. Thanks for your report.
Kostis
_______________________________________________
erlang-bugs mailing list
[email protected]
http://erlang.org/mailman/listinfo/erlang-bugs