diff options
author | Hans Bolinder <[email protected]> | 2016-04-28 13:23:13 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2016-04-29 14:16:38 +0200 |
commit | ce8162c18707fa860418118bc2f4be03719dff67 (patch) | |
tree | 0d830142dd4aad13a97e19d29552348fdc78c237 /lib/dialyzer/test/behaviour_SUITE_data/src/proper/compile_flags.hrl | |
parent | 5063a52959570e6df11d6d94ae904f78daf8f954 (diff) | |
download | otp-ce8162c18707fa860418118bc2f4be03719dff67.tar.gz otp-ce8162c18707fa860418118bc2f4be03719dff67.tar.bz2 otp-ce8162c18707fa860418118bc2f4be03719dff67.zip |
dialyzer: Fix a bug in the translation of forms to types
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.
Diffstat (limited to 'lib/dialyzer/test/behaviour_SUITE_data/src/proper/compile_flags.hrl')
-rw-r--r-- | lib/dialyzer/test/behaviour_SUITE_data/src/proper/compile_flags.hrl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/dialyzer/test/behaviour_SUITE_data/src/proper/compile_flags.hrl b/lib/dialyzer/test/behaviour_SUITE_data/src/proper/compile_flags.hrl new file mode 100644 index 0000000000..e5ee44ace1 --- /dev/null +++ b/lib/dialyzer/test/behaviour_SUITE_data/src/proper/compile_flags.hrl @@ -0,0 +1,2 @@ +-define(AT_LEAST_19, 1). +-define(AT_LEAST_17, 1). |