otp.git/lib/dialyzer/test/behaviour_SUITE_data/src/proper, branch maint Mirror of Erlang/OTP repository. dialyzer: Do not call erlang:get_stacktrace() 2018-02-05T13:45:37+00:00 Hans Bolinder hasse@erlang.org 2018-02-05T11:34:26+00:00 35fa9cbcb2b8299ada7e5a9d9db3f70ff47f5444 






dialyzer: Fix a bug in the translation of forms to types
2016-04-29T12:16:38+00:00

Hans Bolinder
hasse@erlang.org

2016-04-28T11:23:13+00:00

ce8162c18707fa860418118bc2f4be03719dff67

A bug is fixed, but there are more problems.

Modify erl_types.erl like this:

  -define(EXPAND_LIMIT, 500).

and bogus warnings are output (again).

Callbacks and specs are compared (subtype) in dialyzer_behaviour. If
they are expanded to different depths, then invalid warnings can be
generated.





A bug is fixed, but there are more problems.

Modify erl_types.erl like this:

  -define(EXPAND_LIMIT, 500).

and bogus warnings are output (again).

Callbacks and specs are compared (subtype) in dialyzer_behaviour. If
they are expanded to different depths, then invalid warnings can be
generated.