diff options
author | Hans Bolinder <[email protected]> | 2018-02-23 12:42:21 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2018-02-23 12:42:21 +0100 |
commit | b3fd7dc1b52520065e9dc977195608baf1f206ce (patch) | |
tree | 8f9a8ef13eea2853ca8db2e0c39057f1dbe1bd66 /lib/dialyzer/test/opaque_SUITE_data | |
parent | a2f649fcf458c4102b3551eef401360d5078b733 (diff) | |
parent | 40a3cb7a4657175e5f385d326a63ef012f51585d (diff) | |
download | otp-b3fd7dc1b52520065e9dc977195608baf1f206ce.tar.gz otp-b3fd7dc1b52520065e9dc977195608baf1f206ce.tar.bz2 otp-b3fd7dc1b52520065e9dc977195608baf1f206ce.zip |
Merge branch 'hasse/dialyzer/fix_opaque_bug/OTP-14925/ERL-565' into maint
* hasse/dialyzer/fix_opaque_bug/OTP-14925/ERL-565:
dialyzer: Correct a parameterized opaque types bug
Diffstat (limited to 'lib/dialyzer/test/opaque_SUITE_data')
-rw-r--r-- | lib/dialyzer/test/opaque_SUITE_data/src/para_bug/same.erl | 15 | ||||
-rw-r--r-- | lib/dialyzer/test/opaque_SUITE_data/src/para_bug/same_type.erl | 13 |
2 files changed, 28 insertions, 0 deletions
diff --git a/lib/dialyzer/test/opaque_SUITE_data/src/para_bug/same.erl b/lib/dialyzer/test/opaque_SUITE_data/src/para_bug/same.erl new file mode 100644 index 0000000000..44149f4199 --- /dev/null +++ b/lib/dialyzer/test/opaque_SUITE_data/src/para_bug/same.erl @@ -0,0 +1,15 @@ +-module(same). + +-export([baz/1]). + +-record(bar, { + a :: same_type:st(integer()), + b :: same_type:st(atom()) + }). + +baz(Bar) -> + _ = wrap_find(0, Bar#bar.a), + wrap_find(0, Bar#bar.b). + +wrap_find(K, D) -> + same_type:t(K, D). diff --git a/lib/dialyzer/test/opaque_SUITE_data/src/para_bug/same_type.erl b/lib/dialyzer/test/opaque_SUITE_data/src/para_bug/same_type.erl new file mode 100644 index 0000000000..855a5d30be --- /dev/null +++ b/lib/dialyzer/test/opaque_SUITE_data/src/para_bug/same_type.erl @@ -0,0 +1,13 @@ +-module(same_type). + +-export([t/2]). + +-export_type([st/1]). + +%% When unopaqued all specializations of st/1 are equal. +-opaque st(_A) :: {st, tuple()}. + +-spec t(_, st(_)) -> _. + +t(K, V) -> + {K, V}. |