[erlang-questions] Dialyzer and opaque types
Fri May 30 12:44:03 CEST 2014
Thanks for idea - I will try our use case with R17, and I will let you know.
On Fri, May 30, 2014 at 10:26 AM, Hans Bolinder
> [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
>> 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
More information about the erlang-questions