diff options
author | Hans Bolinder <[email protected]> | 2015-01-16 10:26:44 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2015-03-10 10:48:28 +0100 |
commit | 854ee8bdef9d2dde4184927e4848973e242eb69d (patch) | |
tree | 2d98f6c229fda9df0af83692888bf89a1681ce0d /lib/dialyzer/test/small_SUITE_data/src/contracts_with_subtypes.erl | |
parent | 4037296294670e7a9bb2a3c1cdbd0236cbc15807 (diff) | |
download | otp-854ee8bdef9d2dde4184927e4848973e242eb69d.tar.gz otp-854ee8bdef9d2dde4184927e4848973e242eb69d.tar.bz2 otp-854ee8bdef9d2dde4184927e4848973e242eb69d.zip |
[dialyzer] Fix the conversion of forms to types
In particular fix handling of records.
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/src/contracts_with_subtypes.erl')
-rw-r--r-- | lib/dialyzer/test/small_SUITE_data/src/contracts_with_subtypes.erl | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/src/contracts_with_subtypes.erl b/lib/dialyzer/test/small_SUITE_data/src/contracts_with_subtypes.erl index d7dfd9752e..dbabd904c2 100644 --- a/lib/dialyzer/test/small_SUITE_data/src/contracts_with_subtypes.erl +++ b/lib/dialyzer/test/small_SUITE_data/src/contracts_with_subtypes.erl @@ -136,10 +136,14 @@ q(ab) -> rec2({a, b}); % breaks the contract q(ba) -> rec2({b, a}); % breaks the contract q(aba) -> rec2({a, {b, a}}); % breaks the contract q(bab) -> rec2({b, {a, b}}); % breaks the contract -q(abab) -> rec2({a, {b, {a, b}}}); -q(baba) -> rec2({b, {a, {b, a}}}); -q(ababa) -> rec2({a, {b, {a, {b, a}}}}); -q(babab) -> rec2({b, {a, {b, {a, b}}}}). +q(abab) -> rec2({a, {b, {a, b}}}); % breaks the contract +q(baba) -> rec2({b, {a, {b, a}}}); % breaks the contract +q(ababa) -> rec2({a, {b, {a, {b, a}}}}); % breaks the contract +q(babab) -> rec2({b, {a, {b, {a, b}}}}); % breaks the contract +q(ababab) -> rec2({a, {b, {a, {b, {a, b}}}}}); +q(bababa) -> rec2({b, {a, {b, {a, {b, a}}}}}); +q(abababa) -> rec2({a, {b, {a, {b, {a, {b, a}}}}}}); +q(bababab) -> rec2({b, {a, {b, {a, {b, {a, b}}}}}}). %=============================================================================== |