[erlang-questions] Dialyzer and opaque types

[Jan Chochol]

Hello,

I tried running Dialyzer for our code base with OTP R17.0.1, and it
works fine (and it also finds some new bugs in our specs).
I consider this issue solved.

Thanks for help,
Jan Chochol


On Fri, May 30, 2014 at 12:44 PM, Jan Chochol <jan.chochol@REDACTED> wrote:
> Thanks for idea - I will try our use case with R17, and I will let you know.
>
> Regards,
> Jan Chochol
>
> On Fri, May 30, 2014 at 10:26 AM, Hans Bolinder
> <hans.bolinder@REDACTED> wrote:
>> [Jan Chochol:]
>>
>>> We run in some problems with Dialyzer and opaque types.
>>> Our problem can be simulated by two modules:
>> ...
>>> When analysing problem I found this piece of code in
>>> lib/hipe/cerl/erl_types.erl:
>>>
>>> inf_union(U1, U2, opaque) ->
>> ...
>>> According to git log, this part of code did not change since R13B03
>>
>> Many--but not all--problems with opaque types were fixed in 17.0.
>> erl_types is one of the modules that were modified quite a lot.
>>
>> Your example works with 17.0, as far as I can see.
>>
>> Best regards,
>>
>> Hans Bolinder, Erlang/OTP team, Ericsson
>> _______________________________________________
>> erlang-questions mailing list
>> erlang-questions@REDACTED
>> http://erlang.org/mailman/listinfo/erlang-questions