Dialyzer crashes with Solver v2 failed: error:function_clause
ILYA Khlopotov <[email protected]> Thu, 20 Aug 2015 16:44:35 -0700
| Newsgroups | gmane.comp.lang.erlang.bugs |
|---|---|
| Message-ID | <CAP2DrbQ1R-2Bg+hGdgDG=aihPy+Z50Pm=PLOvV3mRy9pYWDBMA@mail.gmail.com> |
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?
BR,
ILYA
_______________________________________________
erlang-bugs mailing list
[email protected]
http://erlang.org/mailman/listinfo/erlang-bugs