[erlang-questions] Dialyzer and opaque types
Fri May 30 14:29:36 CEST 2014
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,
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.
> 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
>>> 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