Age | Commit message (Collapse) | Author | |
---|---|---|---|
2014-04-17 | hipe, dialyzer: Fix a bug concerning opaque types | Hans Bolinder | |
Dialyzer sometimes output warnings like Attempt to test for inequality between a term of type 'false' and a term of opaque type 'false' | gb_set() The reason was that erl_types:t_inf/3 when called from erl_types:t_find_unknown_opaque() did not return 'false' but found the mismatch. It should not return the mismatch unless the intersection is empty ('none'). Thanks to Shayan Pooya [[email protected]] for pointing out the bug. |