[erlang-questions] Dialyzer and opaque types

[Jan Chochol]

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