aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2014-05-13 08:35:42 +0200
committerHans Bolinder <[email protected]>2014-05-13 08:35:42 +0200
commita21e69bc29d913a4f2d63abe1550a9ce97579e72 (patch)
treee1ef545de03c734979cb0a149add9639b1ed1037 /lib/dialyzer/test
parent614439de03d85efba23de0ea31f04cf8efb86495 (diff)
parent1b0b2627bc16d75da311e4dd797356ff6c7f922d (diff)
downloadotp-a21e69bc29d913a4f2d63abe1550a9ce97579e72.tar.gz
otp-a21e69bc29d913a4f2d63abe1550a9ce97579e72.tar.bz2
otp-a21e69bc29d913a4f2d63abe1550a9ce97579e72.zip
Merge branch 'maint'
* maint: hipe: fix a bug concerning typed record fields
Diffstat (limited to 'lib/dialyzer/test')
-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
+ }).