aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/small_SUITE_data
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2014-05-09 12:31:00 +0200
committerHans Bolinder <[email protected]>2014-05-13 08:32:28 +0200
commitbe579cbae4a9ab54ae0e56a8e729211c8e1db18f (patch)
treea25eeb693b17e40d85efcd46c30f94eb6bf61200 /lib/dialyzer/test/small_SUITE_data
parent614bca0f5832f06bcc181c58b78e3371d79ec40d (diff)
downloadotp-be579cbae4a9ab54ae0e56a8e729211c8e1db18f.tar.gz
otp-be579cbae4a9ab54ae0e56a8e729211c8e1db18f.tar.bz2
otp-be579cbae4a9ab54ae0e56a8e729211c8e1db18f.zip
hipe: fix a bug concerning typed record fields
When checking typed record fields Dialyzer failed to handle types containing remote types. Thanks to Erik Søe Sørensen for reporting this bug.
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data')
-rw-r--r--lib/dialyzer/test/small_SUITE_data/src/remote_field.erl11
1 files changed, 11 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/src/remote_field.erl b/lib/dialyzer/test/small_SUITE_data/src/remote_field.erl
new file mode 100644
index 0000000000..c34fa1b9dd
--- /dev/null
+++ b/lib/dialyzer/test/small_SUITE_data/src/remote_field.erl
@@ -0,0 +1,11 @@
+-module(remote_field).
+
+-type f(T) :: {ssl:sslsocket(), T}.
+
+-record(r1, { f1 :: f(_) }).
+-type r1(T) :: #r1{ f1 :: fun((ssl:sslsocket(), T) -> any()) }.
+
+-record(state, {
+ r :: r1(T),
+ arg :: T
+ }).