aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/small_SUITE_data/src
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2015-06-04 13:50:20 +0200
committerHans Bolinder <[email protected]>2015-06-15 08:17:58 +0200
commite4691d14078de0419c6b644566e45aa696aa122e (patch)
tree499e3ab8fe147f47323ec1c12cef9f45da7697e7 /lib/dialyzer/test/small_SUITE_data/src
parent75e0da6a5c5c6b2ac21dfdffb1feb9ac96834e5d (diff)
downloadotp-e4691d14078de0419c6b644566e45aa696aa122e.tar.gz
otp-e4691d14078de0419c6b644566e45aa696aa122e.tar.bz2
otp-e4691d14078de0419c6b644566e45aa696aa122e.zip
dialyzer: Fix a bug in the expansion of forms
The check that a modified type of a field is a subtype of the declared type has been moved outside of the expansion of forms to avoid loops.
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/src')
-rw-r--r--lib/dialyzer/test/small_SUITE_data/src/remote_field.erl2
1 files changed, 1 insertions, 1 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
index c34fa1b9dd..d83f2e3234 100644
--- a/lib/dialyzer/test/small_SUITE_data/src/remote_field.erl
+++ b/lib/dialyzer/test/small_SUITE_data/src/remote_field.erl
@@ -3,7 +3,7 @@
-type f(T) :: {ssl:sslsocket(), T}.
-record(r1, { f1 :: f(_) }).
--type r1(T) :: #r1{ f1 :: fun((ssl:sslsocket(), T) -> any()) }.
+-type r1(T) :: #r1{ f1 :: {ssl:sslsocket(), T} }.
-record(state, {
r :: r1(T),