diff options
| author | Hans Bolinder <[email protected]> | 2015-06-04 13:50:20 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2015-06-15 08:17:58 +0200 |
| commit | e4691d14078de0419c6b644566e45aa696aa122e (patch) | |
| tree | 499e3ab8fe147f47323ec1c12cef9f45da7697e7 /lib/dialyzer/test/small_SUITE_data | |
| parent | 75e0da6a5c5c6b2ac21dfdffb1feb9ac96834e5d (diff) | |
| download | otp-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')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/src/remote_field.erl | 2 |
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), |